Pages that link to "Item:Q4819007"
From MaRDI portal
The following pages link to Offline specialisation in Prolog using a hand-written compiler generator (Q4819007):
Displaying 6 items.
- Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
- Generating Specialized Interpreters for Modular Structural Operational Semantics (Q3453654) (← links)
- Fast Offline Partial Evaluation of Large Logic Programs (Q3617434) (← links)
- (Q4499252) (← links)
- (Q5020649) (← links)