H ? « ‹ ← → › »

Language peer sets for PRAXIS:
United States↑
United States/1980↑
Designed 1980 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Multi-purpose ↑
Multi-purpose/1980↑
Multi-purpose/us ↑

PRAXIS(ID:4070/pra004)

High Level machine oriented algebraic computer language 

alternate simple view
Country: United States
Designed 1980
Sammet category: Multi-purpose

High-level machine oriented algebraic block-structured language computer language, written by BBN for the Nova High Energy Laser Project at Lawrence Livermore National Laboratory.


From the NEA release notes:

"DESCRIPTION OF PROGRAM OR FUNCTION - PRAXIS is a systems implementation programming language designed especially for control and communications programming. It is a modern, strongly-typed, block-structured language similar to PASCAL but with extentions and features particular to control systems applications. The software consists of three PRAXIS compilers and three associated support utilities - the PRAXIS RMS-11 Interface, a set of procedures, functions, and type declarations which allow PRAXIS programs to interface to the RMS-11 Input/Output system under VAX/VMS and the RSX-11M systems; TEXTIO, character I/O software for terminal and line-printer text operations; and UNPASCAL, a program which translates simple PASCAL programs into PRAXIS. The compilers included are: a VAX/VMS version which generates VAX code, a VAX/VMS version which generates PDP11 codes, and a PDP11/RSX-11M version which generates PDP11 code. NESC Edition B of PRAXIS is designated as Version 7.3 by the contributors. The PDP11 compiler is not supported and has not been changed since February 1982"

Places
Related languages
Pascal → PRAXIS   Extension of
References:
  • Greenwood, J.R.; A. (1980) Greenwood, J.R.; A. Evans Jr., C.R. Morgan and M.C. Zarnstorff: An Introduction to PRAXIS. UCRL-52957 Rev. 1 (December 1980)
  • Evans, A. (1981) Evans, A. Jr. and R.E. Shapiro: PRAXIS Input/Output Interface. UCRL-15336 (January 1981)
  • Evans, A. (1981) Evans, A. Jr.: PRAXIS Compiler Internals. UCRL-15335 (January 1981)
  • Evans, A.C. (1981) Evans, A.C. Jr., C.R. Morgan, J.R. Greenwood, M.C. Zarnstorff, G.J. Williams, E.A. Killian and J.H. Walker: PRAXIS Language: Reference Manual. UCRL-15331 (January 1981)
  • Evans, Arthur (1981) Evans, Arthur "A Comparison of Programming Languages: Ada, Praxis, Pascal, C" BBN Report no. 4634 1981 Abstract
  • Greenwood, J.R.; W.I. (1981) Greenwood, J.R.; W.I. Nowiki, A. Evans Jr., C.R. Morgan and M.C. Zarnstorff: Programming in PRAXIS. A Detailed Introduction and Tutorial for the PRAXIS Language. UCID-18995 (April 1981)
  • Walker, J. H. (1981) Walker, J. H. "Praxis Language Reference Manual" Bolt Beranek and Newman, Inc., Cambridge, MA. Jan 81, UCRL-15331-Rev.1 Abstract
  • Spector, David (1982) Spector, David "Ambiguities and insecurities in Modula-2" pp43-51 Extract: Introduction
          in [SIGPLAN] (1982) SIGPLAN Notices 17(08) August 1982
  • [NESC] (1985) [NESC] Edition B of PRAXIS NESC9983/02: NESC Note 85-86 (September 6, 1985)
          in [SIGPLAN] (1982) SIGPLAN Notices 17(08) August 1982
  • Holloway, Frederick W. (1985) Holloway, Frederick W. and Anthony J. DeGroot, PRAXIS Release Notes Version 7.3, UCID-20426, May 3, 1985.
          in [SIGPLAN] (1982) SIGPLAN Notices 17(08) August 1982
  • Holloway, Frederick W.; Anthony J. (1985) Holloway, Frederick W.; Anthony J. DeGroot, Timothy A. Sherman, and James M. Duffy, PRAXIS Language Environment Distribution Package Description, UCID-30196 Rev. 1, January 18, 1985.
          in [SIGPLAN] (1982) SIGPLAN Notices 17(08) August 1982
  • Holloway, Frederick W.; Antony J. (1985) Holloway, Frederick W.; Antony J. DeGroot, and Timothy A. Sherman, PRAXIS Releases Notes Version 7.2, UCID-20332, January 18, 1985.
          in [SIGPLAN] (1982) SIGPLAN Notices 17(08) August 1982
  • Greenwood, J. R. (1986) Greenwood, J. R. "Comments on 'A View from the Trenches'. Ada vs. Modula-2 vs. Praxis."
          in [SIGPLAN] (1986) SIGPLAN Notices 21(05) May 1986
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder