Program transformation for development, verification, and synthesis of programs.
Fabio FioravantiAlberto PettorossiMaurizio ProiettiValerio SenniPublished in: Intelligenza Artificiale (2011)
Keyphrases
- functional programs
- programming environments
- computer programs
- symbolic execution
- programming environment
- hardware designs
- program synthesis
- control program
- program execution
- case study
- automatic programming
- information processing
- recursive programs
- neural network
- face verification
- programming language
- functional language
- software engineering
- program slicing
- high level programming language
- programming language constructs
- intermediate level