Program Specification and Synthesis in Constructive Formal Systems.

Pierangelo Miglioli Ugo Moscato Mario Ornaghi

Published in: LOPSTR (1991)

Keyphrases

formal methods
formal languages
management system
intelligent systems
formal specification
artificial intelligence
machine learning
information systems
high level
program synthesis
formal language
specification languages
control flow
computer programs
complex systems
expert systems
computer vision