On the Correctness of Bubbling

DOI10.1007/11805618_4zbMath1151.68357OpenAlexW1542469490MaRDI QIDQ3527282

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

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

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

Related Items (4)

Compiling a Functional Logic Language: The Fair Scheme ⋮ On a Tighter Integration of Functional and Logic Programming ⋮ Rewriting and Call-Time Choice: The HO Case ⋮ Lazy Context Cloning for Non-Deterministic Graph Rewriting

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