PAL(ID:7814/)


Related languages
AUTOMATH => PAL   Partial subset of
SEMIPAL => PAL   Precursor
References:
  • de Bruijn, N.G. "The Mathematical Language AUTOMATH, Its Usage and Some of its Extensions" view details
          in Symp on Automatic Demonstration, LNM 125, Springer 1970. view details
  • de Bruijn, N.G. A Processor for PAL. Internal report, Notitie 30,(26 maart 1970), Technological University Eindhoven view details External link: Online copy
          in Symp on Automatic Demonstration, LNM 125, Springer 1970. view details
  • The syntax of PAL and AUTOMATH, Technological University Eindhoven, Internal Report, Notitie 32, ( 9 April 1970). view details Abstract: PAL and AUTOMATH have been defined in El1 and C21. These reports do not contain a separate survey of the syntax of these languages. Here we present such a survey for slight modifications of these languages. The modifications consist of: (1) instead of indicators we write indicator strings, (2) parts of a line are separated by *, (3) lines are separated by t, (4) names for constants, variables and dummy variables have to be taken from three disjoint infinite lists. External link: Online copy
          in Symp on Automatic Demonstration, LNM 125, Springer 1970. view details