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
Static Type Inference for the Q language using Constraint Logic Programming - MaRDI portal

Static Type Inference for the Q language using Constraint Logic Programming

From MaRDI portal

Publication:5398050

Jump to:navigation, search

DOI10.4230/LIPIcs.ICLP.2012.119zbMath1281.68085OpenAlexW2097108559MaRDI QIDQ5398050

János Csorba, Péter Szeredi, Zsolt Zombori

Publication date: 25 February 2014

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.119

zbMATH Keywords

types CSP logic programming static type checking CHR Q language

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Executable Relational Specifications of Polymorphic Type Systems Using Prolog

This page was built for publication: Static Type Inference for the Q language using Constraint Logic Programming

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