Compilation of Nonprocedural Specifications into Computer Programs.

Noah S. Prywes Amir Pnueli

Published in: IEEE Trans. Software Eng. (1983)

Keyphrases

computer programs
programming language
code generation
computer programming
turing test
specification language
formal specification
high level
expert systems
software agents
human users
delay insensitive
machine learning
software engineering
fuzzy logic
prior knowledge
relational databases
artificial intelligence