Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Modelling Prolog Control - MaRDI portal

Modelling Prolog Control

From MaRDI portal

Publication:4286208

Jump to:navigation, search

DOI10.1093/logcom/3.6.579zbMath0802.68026OpenAlexW2091757904MaRDI QIDQ4286208

Roberto Giacobazzi, Roberto Barbuti, Michael Codish, Giorgio Levi

Publication date: 27 March 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a639097b26fe7d66621c221c1f03d045ea00cb41

zbMATH Keywords

operational semantics program analysis termination logic programming abstract interpretation declarative semantics Prolog programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

A logical semantics for depth-first Prolog with ground negation

This page was built for publication: Modelling Prolog Control

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