Set notation as a language to specify data transformation programs

DOI10.1002/SPE.4380190607MaRDI QIDQ4734757zbMATH OpenOpenAlexFDO

Authors Russell J. Abbott

Publication date 1989

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380190607

zbMATH Keywords

application generatorcomputer-aided system engineering and integrationdata transformationfunctional programminglogic programmingrelational calculusset notation as a programming languageSNAP

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99) Data structures (68P05) Computing methodologies and applications (68U99)

Recommendations

• Publication:3490940
• Program annotation and transformation
• Data structures and program transformation
• scientific article; zbMATH DE number 3976317
• scientific article; zbMATH DE number 18537

Cites work

• A relational model of data for large shared data banks
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)

Cited in

(2)

• scientific article; zbMATH DE number 4164130 (Why is no real title available?)
• Formal system of definition of data sets as a high-level tool of data extraction

This page was built for publication: Set notation as a language to specify data transformation programs

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