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)

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

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)