Syntactic source to source transforms and program manipulation

DOI10.1145/359046.359057zbMath0388.68006OpenAlexW2041643207WikidataQ28153692 ScholiaQ28153692MaRDI QIDQ4170193

Jacques Arsac

Publication date: 1979

Published in: Communications of the ACM (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items

Synthetic programming