Compilation of Nonprocedural Specifications into Computer Programs

From MaRDI portal

Publication:4747502

Jump to:navigation, search

DOI10.1109/TSE.1983.236736zbMath0509.68013MaRDI QIDQ4747502

Amir Pnueli, Noah S. Prywes

Publication date: 1983

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

generators compilers program specifications automatic program generation dataflow languages nonprocedural languages very high level languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (3)

The programming system PRIZ ⋮ Parallel scheduling of recursively defined arrays ⋮ The programming system PRIZ

This page was built for publication: Compilation of Nonprocedural Specifications into Computer Programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4747502&oldid=19012418"