Web structures: a tool for representing and manipulating programs

DOI10.1109/32.9050zbMath0677.68008OpenAlexW2104549660WikidataQ56968357 ScholiaQ56968357MaRDI QIDQ3833598

Andrea Maggiolo-Schettini, Margherita Napoli, G. Tortora

Publication date: 1988

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

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

zbMATH Keywords

programming languagesprogram representationdata flow analysisweb transformationsreplacement systemsprogram manipulationinterpretive semanticsweb structures

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Web structures: a tool for representing and manipulating programs