Semantic Scholar uses AI to extract papers important to this topic.
We describe the metaprogramming framework currently used in Lean, an interactive theorem prover based on dependent type theory… Expand The R statistical environment and language has demonstrated particular strengths for interactive development of statistical… Expand Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE… Expand Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The… Expand Knowing which types of refactoring occurred between two program versions can help programmers better understand code changes. Our… Expand Proefschrift ingediend met het oog op het behalen van de graad van Doctor in de Wetenschappen Body and mind are two phenomena… Expand Abstract We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does… Expand Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software… Expand by containing implementations of higher-order unification. In this paper, we present a logic programming language, called L… Expand From the Publisher:
B> This best-selling guide to Prolog has been fully revised and extended to provide an even greater range of… Expand