scientific article; zbMATH DE number 1497842

zbMath0966.68041MaRDI QIDQ4499270

Erwan Jahier, Mireille Ducassé, O. Ridoux

Publication date: 5 March 2001

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

zbMATH Keywords

Byrd's box modelProlog operational semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Denotational and operational semantics for prolog
• A pragmatic reconstruction of λProlog
• Tracing Prolog programs by source instrumentation is efficient enough
• Unnamed Item
• Unnamed Item

This page was built for publication: