Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.
Alexander AikenJohn H. WilliamsEdward L. WimmersPublished in: ACM Trans. Program. Lang. Syst. (1995)
Keyphrases
- semantic information
- semantic knowledge
- semantic network
- semantic similarity
- domain independent
- errors occur
- database
- domain ontology
- natural language
- database systems
- domain knowledge
- estimation error
- semantic analysis
- semantic relationships
- computer programs
- semantic search
- artificial intelligence
- semantic interpretation
- semantic level
- semantically equivalent
- genetic algorithm