Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development

DOI10.1145/357073.357076MaRDI QIDQ3899508zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 1979

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/357073.357076

zbMATH Keywords

software developmentautomatic program generationnonprocedural languagesvery high level languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99)

Cited in

(2)

• Automatic programming: A tutorial on formal methodologies
• From predicates to programs: the semantics of a method language

This page was built for publication: Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3899508)