Incremental execution of transformation specifications

DOI10.1145/964001.964004MaRDI QIDQ3452247zbMATH OpenOpenAlexFDO

Authors Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen

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

constraintslogic programmingincremental algorithmprogram analysisprogram transformationlanguage factorsresiduation operatorstransformation specification

Mathematics Subject Classification ID

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

Recommendations

• Systematic derivation of incremental programs
• Program transformation and rewriting
• The transformational approach to program development
• scientific article; zbMATH DE number 1487945
• Program annotation and transformation

Cited in

(11)

• Fundamental Approaches to Software Engineering
• Solving Linear Equations in *-continuous Action Lattices
• Language transformations in the classroom
• Program annotation and transformation
• Incremental programming language development
• An NSF proposal
• Regular algebra applied to language problems
• Systematic derivation of incremental programs
• The generic transformation can be embedded in a flow.
• Supporting incremental and experimental software evolution by runtime method transformations
• A survey of strategies in rule-based program transformation systems

This page was built for publication: Incremental execution of transformation specifications

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