Optimizing Maude Programs via Program Specialization.
María AlpuenteDemis BallisSantiago EscobarJosé MeseguerJulia SapiñaPublished in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Keyphrases
- computer programs
- program execution
- automatic programming
- control program
- prolog programs
- computer chess
- programming environment
- program slicing
- high level programming language
- functional programs
- programming environments
- novice programmers
- high level programming
- java programs
- intermediate level
- declarative semantics
- imperative programs
- hardware designs
- formal specification
- programs written
- program code
- symbolic execution
- control flow
- programming education
- evaluation function
- source code
- static analysis
- deductive databases
- answer set programs
- application programs
- undergraduate engineering
- real time