Pages that link to "Item:Q2456574"
From MaRDI portal
The following pages link to Operational semantics for declarative multi-paradigm languages (Q2456574):
Displaying 25 items.
- A structural operational semantics for an Edison-like language (Q1075044) (← links)
- A structural operational semantics for an Edison like language. II (Q1821554) (← links)
- A residualizing semantics for the partial evaluation of functional logic programs. (Q1853170) (← links)
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Transforming Boolean equalities into constraints (Q2628300) (← links)
- An operational semantics for declarative multi-paradigm languages (Q2843603) (← links)
- Rule-based operational semantics for an imperative language (Q2864516) (← links)
- Extra variables can be eliminated from functional logic programs (Q2867956) (← links)
- Equivalence of two formal semantics for functional logic programs (Q2867964) (← links)
- Reporting failures in functional logic programs (Q2873788) (← links)
- A framework for interpreting traces of functional logic computations (Q2873790) (← links)
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516) (← links)
- Compiling a Functional Logic Language: The Fair Scheme (Q3453653) (← links)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
- On a Tighter Integration of Functional and Logic Programming (Q3498436) (← links)
- (Q4489990) (← links)
- (Q4738189) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Purely functional lazy nondeterministic programming (Q4918241) (← links)
- Singular and plural functions for functional logic programming (Q5410261) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)
- Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)
- From Boolean Equalities to Constraints (Q5743586) (← links)
