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
From Relational Specifications to Logic Programs - MaRDI portal

From Relational Specifications to Logic Programs

From MaRDI portal

Publication:2883087

Jump to:navigation, search

DOI10.4230/LIPICS.ICLP.2010.144zbMath1237.68053OpenAlexW2162112138MaRDI QIDQ2883087

Joseph P. Near

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_7876.html

zbMATH Keywords

specification languages logic programming executable specifications

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

This page was built for publication: From Relational Specifications to Logic Programs

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