H ? « ‹ ← → › »

Language peer sets for REF-ARF:
United States↑
United States/1970↑
Designed 1970 ↑
1970s languages ↑
Third generation↑
High Cold War↑
Genus Goal description ↑
Specialised Languages ↑
Goal description↑
Context-based ↑
Data representation ↑
Goal description/1970↑
Context-based /1970↑
Data representation/1970↑
Goal description/United States↑
Context-based /United States↑
Data representation/United States↑
Specialised Languages ↑
Specialised Languages/1970↑
Specialised Languages/us ↑

REF-ARF(ID:525/ref002)

alternate simple view
Country: United States
Designed 1970
Published: 1970
Genus: Goal description
Sammet category: Specialised Languages

Pioneering CSP problem-solving language
Related languages
REF-ARF → RAMOS   Influence
REF-ARF → ThingLab   Influence
References:
  • Fikes, R.E. (1970) Fikes, R.E. "REF-ARF: A System for Solving Problems Stated as Procedures"
          in (1970) Artificial Intelligence Journal 1(1) Spring 1970
  • Gibbons (1972) Gibbons, Gregory Dean "Beyond REF-ARF : toward an intelligent processor for a nondeterministic programming language" 1972 PhD Carnegie-Mellon university. Department of computer science
          in (1970) Artificial Intelligence Journal 1(1) Spring 1970
  • Stanton (1972) Stanton, R.B. "The interpretation of graphics and graphic languages" pp144-160 Abstract
          in Nake and Rosenfeld (1972) Nake, F. and Rosenfeld, A. "Graphic Languages" Amsterdam: North-Holland Publishing Company 1972.
  • Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 501 Abstract
          in Nake and Rosenfeld (1972) Nake, F. and Rosenfeld, A. "Graphic Languages" Amsterdam: North-Holland Publishing Company 1972.
  • Leavenworth and Sammet (1974) Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 Abstract Extract: REF-ARF
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Fleck, A.C. (1975) Fleck, A.C. review of Cohen 1975 Extract: Introduction
          in (1975) ACM Computing Reviews 16(02) February 1975
  • Borning (1979) Borning, Alan "ThingLab - A Constraint-Oriented Simulation Laboratory" Xerox PARC Report SSL-79-3 July 1979 Extract: The Kernel ThingLab System Extract: Constraint Representation and Satisfaction Extract: REF-ARF
          in (1975) ACM Computing Reviews 16(02) February 1975
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder