Incremental execution of transformation specifications

DOI10.1145/964001.964004zbMATH Open1325.68044OpenAlexW1990011664MaRDI QIDQ3452247FDOQ3452247

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

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

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)

Cited In (10)

• 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
• 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)