Separate Compilation and Partial Specification in Pascal.

Augusto Celentano Pierluigi Della Vigna Carlo Ghezzi Dino Mandrioli

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

Keyphrases

code generation
specification language
high level
knowledge compilation
reactive systems
neural network
information retrieval
real time
machine learning
similarity measure
relational databases
natural language processing
formal verification
provably correct