On the Correctness of Bubbling

DOI10.1007/11805618_4zbMATH Open1151.68357OpenAlexW1542469490MaRDI QIDQ3527282FDOQ3527282

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

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

Mathematics Subject Classification ID

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

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)