Krzysztof R. Apt, Andrea Schaerf  Home/Search
Context Related
| cwi.nl/~apt/as2.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwi.nl/~apt/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate here how to integrate constraints directly into the imperative programming paradigm, as "first class citizens" and not by means of an external library. To this end we provide a systematic account of the issues that arise. In particular, we discuss the role of the logical and customary variables, the interaction between the constraint store and the program, and the need for lists. These considerations lead to an extension of an imperative programming language that supports... (Update)
Context of citations to this paper: More
.... Universit a di Roma La Sapienza Dipartimento di Informatica e Sistemistica via Salaria 113, 00198 Roma, Italy Abstract In [ Apt et al. 1998 ] we introduced the imperative programming language Alma 0 that supports declarative programming. In this paper we illustrate the...
Cited by: More
Programming in Alma-0, or Imperative and Declarative.. - Apt, Schaerf (1998) (Correct)
Similar documents (at the sentence level):
57.2%: The Alma Project, or How First-Order Logic Can Help Us in.. - Apt, Schaerf (1999) (Correct)
Active bibliography (related documents): More All
0.6: Formulas as Programs - Apt, Bezem (1998) (Correct)
0.2: Symbolic Implementation of the Best Transformer - Reps, Sagiv, Yorsh (2004) (Correct)
0.2: Alma-0: An Imperative Language that Supports.. - Apt, Brunekreef.. (1998) (Correct)
Similar documents based on text: More All
0.3: Annotated Algebraic Specification of the Syntax and Semantics.. - Brunekreef (1998) (Correct)
0.2: Implementation of an Imperative Programming Language With.. - Partington (1997) (Correct)
0.2: Program Verification and Prolog - Apt (1994) (Correct)
BibTeX entry: (Update)
K. R. Apt and A. Schaerf. Integrating constraints into an imperative programming language, 1998. Submitted. Available via http://www.cwi.nl/~apt. http://citeseer.ist.psu.edu/apt98integrating.html More
@misc{ apt98integrating,
author = "K. Apt and A. Schaerf",
title = "Integrating constraints into an imperative programming language",
text = "K. R. Apt and A. Schaerf. Integrating constraints into an imperative programming
language, 1998. Submitted. Available via http://www.cwi.nl/~apt.",
year = "1998",
url = "citeseer.ist.psu.edu/apt98integrating.html" }
Citations (may not include all citations):261 An introduction to Prolog III (context) - Colmerauer - 1990
191 A meta--environment for generating programming environments (context) - Klint - 1993
104 Frequency assignment: Theory and applications (context) - Hale - 1980
76 The Icon Programming Language (context) - Griswold, Griswold - 1983
52 A filtering algorithm for constraints of difference in CSPs (context) - Regin - 1994
49 Constraint satisfaction using constraint logic programming (context) - Van Hentenryck, Simonis et al. - 1992
26 The CLP(R) language and system (context) - Jaffar, Michaylov et al. - 1992
22 Beyond the glass box: Constraints as objects - Puget, Leconte - 1995
15 Search and imperative programming - Apt, Schaerf - 1997
8 2LP: Linear programming and logic programming (context) - McAloon, Tretkoff - 1995
6 CHARME: Un langage industriel de programmation par contraint.. (context) - Oplobedu, Marcovitch et al. - 1989
2 Alma-0: An imperative language that supports declarative pro.. (context) - Apt, Brunekreef et al. - 1998
2 Object-oriented constraint programming environment based on .. (context) - Shvetsov, Telerman et al. - 1997
Documents on the same site (http://www.cwi.nl/~apt/): More
Reasoning about Termination of Pure Prolog Programs - Apt, Pedreschi (1993) (Correct)
A Declarative Approach for First-Order Built-in's of Prolog - Apt (1992) (Correct)
Reasoning about Prolog Programs: from Modes through Types to.. - Apt, Marchiori (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC