scientific article; zbMATH DE number 2018596

zbMATH Open1028.68921MaRDI QIDQ4440344FDOQ4440344

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (12)

• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Logic Based Program Synthesis and Transformation
• Directly reflective meta-programming
• Title not available (Why is that?)
• Pattern matching for the masses using custom notations
• 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
• Title not available (Why is that?)
• Theory and practice of unparsed patterns for metacompilation
• Beyond graph neural networks with lifted relational neural networks

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)