On the Correctness of Bubbling

DOI10.1007/11805618_4MaRDI QIDQ3527282zbMATH OpenOpenAlexFDO

Authors Sergio Antoy, Daniel W. Brown, Su-Hui Chiang

Publication date 25 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11805618_4

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

Recommendations

• Lazy context cloning for non-deterministic graph rewriting
• On the correctness of pull-tabbing
• scientific article; zbMATH DE number 1942455
• Bubbles in modularity
• Compiling collapsing rules in certain constructor systems

Cited in

(6)

• A function for evaluating the computing time of a bubbling system
• On the correctness of pull-tabbing
• Compiling a functional logic language: \textit{The Fair Scheme}
• Rewriting and Call-Time Choice: The HO Case
• On a Tighter Integration of Functional and Logic Programming
• Lazy context cloning for non-deterministic graph rewriting

This page was built for publication: On the Correctness of Bubbling

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