To the gates of HAL: A HAL tutorial

DOI10.1007/3-540-45788-7_3MaRDI QIDQ4409151zbMATH OpenFDO

Authors Maria Garcia De La Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey

Publication date 30 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2441/24410047.htm, https://lirias.kuleuven.be/handle/123456789/132709

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3928321
• HALO --- a fuzzy programming language
• The origins of the halting problem
• scientific article; zbMATH DE number 3187217
• Into the realm of Oberon. An introduction to programming and the Oberon-2 programming language

Cited in

(8)

• Mode checking in HAL
• A Compositional Semantics for CHR with Propagation Rules
• scientific article; zbMATH DE number 2085271 (Why is no real title available?)
• scientific article; zbMATH DE number 2090518 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 1389653 (Why is no real title available?)
• Logic Programming
• Checking modes of HAL programs

This page was built for publication: To the gates of HAL: A HAL tutorial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4409151)