ENFORCe: A System for Ensuring Formal Correctness of High-level Programs.
Karl AzabAnnegret HabelKarl-Heinz PennemannChristian ZuckschwerdtPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2006)
Keyphrases
- high level
- intermediate level
- provably correct
- low level
- formal methods
- high level programming
- neural network
- information systems
- automatic programming
- computer programs
- lower level
- low level features
- higher level
- programming language
- multi agent systems
- answer sets
- semantic information
- mathematical theory
- control structures
- object oriented