scientific article

From MaRDI portal

Publication:3809307

Jump to:navigation, search

zbMath0659.68115MaRDI QIDQ3809307

Michel Billaud

Publication date: 1988

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

zbMATH Keywords

operational semantics Prolog equivalence of programs fixed point semantics abstract interpreter

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

Related Items (2)

Axiomatizations of backtracking ⋮ Simple operational and denotational semantics for Prolog with cut

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3809307&oldid=17385454"