H ? « ‹ ← → › »

Language peer sets for PAL:
Netherlands↑
Netherlands/1970↑
Designed 1970 ↑
1970s languages ↑
Third generation↑
High Cold War↑
Genus Symbolic ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1970↑
Logical/1970↑
Expression-oriented/1970↑
Symbolic/Netherlands↑
Logical/Netherlands↑
Expression-oriented/Netherlands↑

PAL(ID:7814/)

alternate simple view
Country: Netherlands
Designed 1970
Genus: Symbolic
Related languages
AUTOMATH → PAL   Partial subset of
SEMIPAL → PAL   Precursor
References:
  • de Bruijn, N.G. (1970) de Bruijn, N.G. "The Mathematical Language AUTOMATH, Its Usage and Some of its Extensions"
          in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
  • de Bruijn, N.G. (1970) de Bruijn, N.G. A Processor for PAL. Internal report, Notitie 30,(26 maart 1970), Technological University Eindhoven Online copy
          in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
  • (1970) The syntax of PAL and AUTOMATH, Technological University Eindhoven, Internal Report, Notitie 32, ( 9 April 1970). Abstract Online copy
          in (1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder