The following pages link to (Q4413065):
Displayed 10 items.
- Partial evaluation of Maple (Q532411) (← links)
- Type-based homeomorphic embedding for online termination (Q989516) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (Q3617429) (← links)
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (Q5504591) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)