The following pages link to (Q4421874):
Displayed 3 items.
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrad (Q2841287) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)