1 citations · 1 across the 4 of their papers we have counts for
4 papers · 1 filter
Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
Kyriel Abad, Martin Henz
Computer science education has been at the heart of Scheme from the beginning. The language was designed in the 1970s concurrently with the MIT course 6.001 and the textbook "Struc…
Recollection: an Alternative Restoration Technique for Constraint Programming Systems
Yong Lin, Martin Henz
Search is a key service within constraint programming systems, and it demands the restoration of previously accessed states during the exploration of a search tree. Restoration pro…
Programmable Restoration Granularity in Constraint Programming
Yong Lin, Martin Henz
In most constraint programming systems, a limited number of search engines is offered while the programming of user-customized search algorithms requires low-level efforts, which c…
Logic programming in the context of multiparadigm programming: the Oz experience
Peter Van Roy, Per Brand, Denys Duchier +3
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic…