scientific article; zbMATH DE number 1497829

zbMath0958.68036MaRDI QIDQ4499252

Jesper Jørgensen, Michael Leuschel

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

COGEN approach

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17)

Related Items (2)

Analysis of Linear Hybrid Systems in CLP ⋮ LOGEN

Uses Software

• ECCE
• DPPD

Cites Work

• Unnamed Item
• Unnamed Item
• Mixtus: An automatic partial evaluator for full Prolog
• Offline specialisation in Prolog using a hand-written compiler generator
• Conjunctive partial deduction: foundations, control, algorithms, and experiments

This page was built for publication: