H ? « ‹ ← → › »

Language peer sets for Alma:
Netherlands↑
Netherlands/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

Alma(ID:3739/alm002)

Imperative Constraint Programming Language 

alternate simple view
Country: Netherlands
Designed 1997

for Towards an Imperative Constraint Programming Language (in Dutch)

CWI Apt et al 1997

Strongly-typed imperative language with declarative features.
ORELSE, EITHER, COMMIT, SOME, FORALL etc

Has constraints and quantifiers. Extension of a subset of Modula-2.



Places
Related languages
Modula-2 → Alma   Subset
Modula-2 → Alma   Extension of
Alma → Alma-O   Evolution of
References:
  • K.R. Apt, A. Schaerf. (1997) K.R. Apt, A. Schaerf. "Search and Imperative Programming" ps Abstract
          in [POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France
  • Saraswat, V. (1997) Saraswat, V. ; R. Jagadeesan, and V. Gupta. Programming in timed concurrent constraint languages. ps
          in [POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France
  • Apt, Krzysztof R ; Bezem, Marc (1998) Apt, Krzysztof R ; Bezem, Marc "Formulas as Programs" Abstract Online copy Extract: Motivations
          in The Logic Programming Paradigm: a 25 Years Perspec (1998) The Logic Programming Paradigm: a 25 Years Perspective, K.R. Apt, V. Marek, M. Truszczynski and D.S. Warren (eds), Springer-Verlag, Artificial Intelligence Series
  • Apt, Krzysztof R.; Brunekreef, Jacob; Partington, (1998) Apt, Krzysztof R.; Brunekreef, Jacob; Partington, Vincent; Schaerf, Andrea "Alma-O: an imperative language that supports declarative programming" Abstract
          in (1998) TOPLAS 20(5) Sept 1998
  • Brunekreef, J. (1998) Brunekreef, J. Annotated algebraic specification of the syntax and semantics of the programming language Alma-0 Technical report P9803, Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, The Netherlands, 1998. ps
          in (1998) TOPLAS 20(5) Sept 1998
  • Apt, Krzysztof R ; Schaerf, Andrea (1999) Apt, Krzysztof R ; Schaerf, Andrea "The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming" Abstract Online copy
          in (1998) TOPLAS 20(5) Sept 1998
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder