Search Results - "constraint logic programming languages"

Checking modes of HAL programs

Authors: De la Banda, M.G. Harvey, W. Marriott, K. et al.

Source: Theory and Practice of Logic Programming. 5:623-667

Subject Terms: FOS: Computer and information sciences, Technology, Logic, cs.PL, mode checking, DEPENDENCIES, 02 engineering and technology, Logic programming, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, regular grammars, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, D.3.2, F.3.2, 0802 Computation Theory and Mathematics, 4613 Theory of computation, Science & Technology, Computer Science - Programming Languages, strong modes, 4602 Artificial intelligence, 0803 Computer Software, dependencies, Computer Science, Software Engineering, constraint logic programming languages, CLP languages, Computer Science, Grammars and rewriting systems, Science & Technology - Other Topics, logic programs, Programming Languages (cs.PL)

File Description: application/xml

Access URL: https://lirias.kuleuven.be/bitstream/123456789/124779/1/TPLPHALpaper.pdf
http://arxiv.org/abs/cs/0409038
https://zbmath.org/2242964
https://doi.org/10.1017/s1471068404002327

Temporal Annotated Constraint Logic Programming: Temporal annotated constraint logic programming

Authors: Thom Frühwirth

Source: Journal of Symbolic Computation. 22:555-583

Subject Terms: Computational Mathematics, Algebra and Number Theory, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, annotated constraint logic, constraint logic programming languages

File Description: application/xml

Access URL: https://zbmath.org/1002408
https://doi.org/10.1006/jsco.1996.0066
https://www.sciencedirect.com/science/article/abs/pii/S0747717196900668
https://core.ac.uk/display/82340362
https://doi.org/10.1006/jsco.1996.0066
https://dblp.uni-trier.de/db/journals/jsc/jsc22.html#Fruhwirth96
https://www.sciencedirect.com/science/article/pii/S0747717196900668
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/drafts/taclpjsc.pdf

Standard forms for rational linear arithmetic in constraint logic programming: Standard forms for rational linear arithmetic in constraint logic programming.

Authors: Thomas Graf Pascal Van Hentenryck

Source: Annals of Mathematics and Artificial Intelligence. 5:303-319

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic programming, constraint logic programming languages

File Description: application/xml

Access URL: https://link.springer.com/article/10.1007%2FBF01543480
https://dblp.uni-trier.de/db/journals/amai/amai5.html#HentenryckG92