File Structures, Program Structures, and Attributed Grammars

DOI10.1109/TSE.1983.236735zbMath0511.68011OpenAlexW1986451905MaRDI QIDQ4749187

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

PROLOGlogic programmingsoftware engineeringprogram generationdata-directed program designlogical construction of programssequential file structures

Mathematics Subject Classification ID

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

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