Small-step Semantics, Big-step Semantics, Reduction Rules, Language Specification
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·5d
Loading...Loading more...
Small-step Semantics, Big-step Semantics, Reduction Rules, Language Specification