Fast narrowing-driven partial evaluation for inductively sequential programs
From MaRDI portal
Publication:2936786
DOI10.1145/1086365.1086394zbMath1302.68067MaRDI QIDQ2936786
Germán Vidal, Josep Silva, J. Guadalupe Ramos
Publication date: 6 January 2015
Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1086365.1086394
68N18: Functional programming and lambda calculus
Related Items
Termination of Narrowing in Left-Linear Constructor Systems, Preserving Sharing in the Partial Evaluation of Lazy Functional Programs, Ensuring the quasi-termination of needed narrowing computations, Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols, Termination of narrowing via termination of rewriting, A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs