scientific article; zbMATH DE number 2018596

MaRDI QIDQ4440344zbMATH OpenFDO

Authors Eelco Visser

Publication date 16 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2487/24870299.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Logic Based Program Synthesis and Transformation
• Directly reflective meta-programming
• Program Logics for Homogeneous Meta-programming
• Imperative LF meta-programming
• scientific article; zbMATH DE number 4133469

Cited in

(14)

• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Logic Based Program Synthesis and Transformation
• Directly reflective meta-programming
• scientific article; zbMATH DE number 4133469 (Why is no real title available?)
• Pattern matching for the masses using custom notations
• Equivalent transformations of heterogeneous meta-programs
• Preventing injection attacks with syntax embeddings
• A meta-language for typed object-oriented languages
• A survey of strategies in rule-based program transformation systems
• Statically safe program generation with SafeGen
• scientific article; zbMATH DE number 3848593 (Why is no real title available?)
• Theory and practice of unparsed patterns for metacompilation
• Hygienic resugaring of compositional desugaring
• Beyond graph neural networks with lifted relational neural networks

Describes a project that uses

Uses Software

• Stratego

This page was built for publication:

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