Rule-based program specialization to optimize gradually typed code.
Francisco OrtinMiguel GarcíaSeán McSweeneyPublished in: Knowl. Based Syst. (2019)
Keyphrases
- program understanding
- lambda calculus
- java programs
- expert systems
- static analysis
- program code
- fault localization
- computer programs
- control flow
- data driven
- information systems
- symbolic execution
- higher order
- software maintenance
- reverse engineering
- rule based systems
- dynamic analysis
- data model
- software components
- source code
- case based reasoning
- program execution
- data structure
- web services
- genetic algorithm
- program slicing
- legacy software