H ? « ‹ ← → › »

Language peer sets for PLEASE:
United States↑
United States/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

PLEASE(ID:6976/)

alternate simple view
Country: United States
Designed 1984

for Predicate Logic based ExecutAble SpEcifications

Ada with path expressions (horn clauses) from Prolog, outputs (Quintus) Prolog code. Constraints nad definition mechanism inspired by the VDM

Part of the SAGA project, used with the ENCOMPASS environment, evolved from earlier Path Pascal
Related languages
Ada → PLEASE   Extension of
Path Pascal → PLEASE   Evolution of
Vienna Definition Language → PLEASE   Influence
PLEASE → PK/C++   Incorporated features
References:
  • Campbell, Roy H.; and Kirslis, Peter A. (1984) Campbell, Roy H.; and Kirslis, Peter A. "The SAGA project: A system for software development" pp73-80 Abstract DOI
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Kirslis, Peter A., Robert B. (1985) Kirslis, Peter A., Robert B. Terwilliger and Roy H. Campbell. The SAGA Approach to Large Program Development in an Integrated Modular Environment. Proceedings of the GTE Workshop on Software Engineering Environments for Programming-in-the-Large (June 1985).
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Terwilliger, Robert B. and Campbell, Roy H. (1986) Terwilliger, Robert B. and Campbell, Roy H. "ENCOMPASS: a SAGA based environment for the composition of programs and specifications" Proceedings of the 1986 ACM fourteenth annual ACM Annual Computer Science Conference Cincinnati, Ohio, 1986 p470 DOI Abstract
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Terwilliger, Robert B. and Campbell, Roy H. (1986) Terwilliger, Robert B. and Campbell, Roy H. "PLEASE:Predictable Logic based ExecutAble SpeCifications" Proceedings of the fourteenth annual ACM Annual Computer Science Conference Cincinnati, Ohio, United States 1986 pp349-358 Abstract DOI Extract: Introduction Extract: VDM and PLEASE Extract: Path Pascal and PLEASE Extract: about PLEASE Extract: Plan
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Terwilliger, Robert B. (1986) Terwilliger, Robert B. and Roy H. Campbell. ENCOMPASS: a SAGA Based Environment for the Composition of Programs and SpeciJications. Proceedings of the 14th Hawaii International Conference on System Science (January 1986).
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Terwilliger, Robert (1987) Terwilliger, Robert "PLEASE: a Language Combining Imperative and Logic Programming" Department of Computer Science Technical Report CU-CS-381-87 University of Colorado at Boulder 1987
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Campbell, R. H.; Render, H.; Sum, R. N. Jr.; and (1988) Campbell, R. H.; Render, H.; Sum, R. N. Jr.; and Terwilliger, R. "Automating the Software Development Process" in Proceedings of the 1988 ACM Computer Science Conference, pages 299--308, Atlanta, GA, February 1988.
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Terwilliger, R. B. and Campbell, R. H. (1988) Terwilliger, R. B. and Campbell, R. H. "An early report on ENCOMPASS". In Proceedings of 10th ICSE, Singapore, IEEE Computer Science Press, 1988 Online copy
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Terwilliger, Robert B. (1988) Terwilliger, Robert B. "PLEASE: a language combining imperative and logic programming" pp103-110 Abstract DOI
          in [SIGPLAN] (1988) SIGPLAN Notices 23(04) April 1988
  • Terwilliger, R. B. and Campbell, R. H. (1989) Terwilliger, R. B. and Campbell, R. H. "ENCOMPASS: an Environment for the Incremental Development of Software". Journal of Systems and Software, 10(1):41--53, July 1989
          in [SIGPLAN] (1988) SIGPLAN Notices 23(04) April 1988
  • Terwilliger, R. B. and Campbell, R. H. (1989) Terwilliger, R. B. and Campbell, R. H. "PLEASE: Executable Specifications for Incremental Software Development". Journal of Systems and Software, 10(2):97--112, September 1989
          in [SIGPLAN] (1988) SIGPLAN Notices 23(04) April 1988
  • Burgués, X.; Franch, X. (1995) Burgués, X.; Franch, X. "Evaluation of Expressions in a Multiparadigm Framework" pp455-456 Extract: Introduction Extract: A multiparadigm language Extract: Conclusions and future work
          in Procs. (1995) Procs. 7th International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP), Utrecht (The Netherlands), September 1995, LNCS 982,
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder