Incremental execution of transformation specifications

DOI10.1145/964001.964004zbMath1325.68044OpenAlexW1990011664MaRDI QIDQ3452247

Ganesh Sittampalam, Ken Friis Larsen, Oege de Moor

Publication date: 11 November 2015

Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

program transformationprogram analysisconstraintslogic programmingincremental algorithmlanguage factorsresiduation operatorstransformation specification

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Solving Linear Equations in *-continuous Action Lattices ⋮ A survey of strategies in rule-based program transformation systems ⋮ Regular algebra applied to language problems