File Structures, Program Structures, and Attributed Grammars

DOI10.1109/TSE.1983.236735MaRDI QIDQ4749187zbMATH OpenOpenAlexFDO

Authors Luigi Logrippo, Douglas R. Skuce

Publication date 1983

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

Full work available at URL https://doi.org/10.1109/tse.1983.236735

zbMATH Keywords

data-directed program designlogic programminglogical construction of programsprogram generationPROLOGsequential file structuressoftware engineering

Mathematics Subject Classification ID

Data structures (68P05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: File Structures, Program Structures, and Attributed Grammars

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