Fast narrowing-driven partial evaluation for inductively sequential programs
From MaRDI portal
Publication:2936786
DOI10.1145/1086365.1086394zbMATH Open1302.68067OpenAlexW2047867098MaRDI QIDQ2936786FDOQ2936786
Authors: J. Guadalupe Ramos, Josep Silva, Germán Vidal 
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
Recommendations
- scientific article; zbMATH DE number 3868611
- Constraint-based partial evaluation for imperative languages
- Optimized program extraction for induction and coinduction
- Efficient program synthesis using constraint satisfaction in inductive logic programming
- Recursive program optimization through inductive synthesis proof transformation
- Fast offline partial evaluation of logic programs
- Fast and accurate strong termination analysis with an application to partial evaluation
- Forward slicing of multi-paradigm declarative programs based on partial evaluation
Cited In (11)
- Termination of Narrowing in Left-Linear Constructor Systems
- Title not available (Why is that?)
- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
- Conversion to tail recursion in term rewriting
- The narrowing-driven approach to functional logic program specialization
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
- Ensuring the quasi-termination of needed narrowing computations
- Termination of narrowing via termination of rewriting
- Title not available (Why is that?)
- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
This page was built for publication: Fast narrowing-driven partial evaluation for inductively sequential programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936786)
