Alma-0: An Imperative Language that Supports Declarative Programming (1998)

Cached

Download Links

by Krzysztof R. Apt , Jacob Brunekreef , Vincent Partington , Andrea Schaerf
Citations:54 - 11 self

Documents Related by Co-Citation

374 Dynamic Predicate Logic – Jeroen Groenendijk, Martin Stokhof - 1990
171 Acyclic programs – K R Apt, M Bezem - 1990
303 The CLP(R) language and system – Joxan Jaffar, Spiro Michaylov, Peter J Stuckey, Roland H C Yap - 1992
786 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
203 The OPL optimization programming language – Pascal Van Hentenryck - 1999
38 SALSA: A Language for Search Algorithms – Fran├žois Laburthe, Yves Caseau - 1998
7 Programming with Dynamic Predicate Logic – Jan van Eijck - 1998
179 R.W.: Making prolog more expressive – J W Lloyd, Topor - 1984
12 Search and imperative programming – Krzysztof R. Apt, Andrea Schaerf - 1996
200 A Meta-Environment for Generating Programming Environments – P Klint - 1993
21 2LP: Linear Programming and Logic Programming – Ken Mcaloon, Carol Tretkoff - 1995
292 An Introduction to Prolog III – A Colmerauer - 1990
49 Programming Constraint Inference Engines – Christian Schulte - 1997
294 The Oz Programming Model – Gert Smolka - 1995
254 The constraint logic programming language CHIP – M Dincbas, P Van Hentenryck, H Simonis, A Aggoun, T Graf, F Berthier - 1988
340 Programming with Constraints: An Introduction – K Marriott, P Stuckey - 1998
5 Dynamo - A Language for Dynamic Logic Programming – Jan van Eijck - 1998
45 Noun phrases, generalized quantifiers and anaphora – J Barwise - 1987
150 Exploring Logical Dynamics – J van Benthem - 1996