H ? « ‹ ← → › »

Language peer sets for ABL:
Italy↑
Italy/1960↑
Designed 1960 ↑
1960s languages ↑
Second generation↑
Early Cold War↑
Genus Information Retrieval ↑
Specialised Languages ↑
Information Retrieval↑
Content-related↑
Content-reflexive ↑
Information Retrieval/1960↑
Content-related/1960↑
Content-reflexive/1960↑
Information Retrieval/Italy↑
Content-related/Italy↑
Content-reflexive/Italy↑
Specialised Languages ↑
Specialised Languages/1960↑
Specialised Languages/it ↑

ABL(ID:3967/alg009)

Language manipulation of files 

alternate simple view
Country: Italy
Designed 1960
Genus: Information Retrieval
Sammet category: Specialised Languages

for Algebraic Business Language

Lionello Lombardi's functional language, based on his "theory of files"

Possibly the first to describe itself as Non-von-Neumann, and to justify itself with reference to Church, therefore likely to be the first attempt at a functional on non-von-Neumann language

Also likely to be the first comprehensive attempt at defining data retrieval formally

Renamed ADSL later
Related languages
Church typed-lambda calculus → ABL   Influence
N1 → ABL   Evolution of
ABL → ADSL   Renaming
References:
  • Lombardi, Lionello. (1960) Lombardi, Lionello. "Theory of files" p137 Abstract
          in [JCC 18] (1960) [JCC 18] Proceedings of the 1960 Eastern Joint Computer Conference, New York, December 1960
  • Lombardi, Lionello (1961) Lombardi, Lionello "Inexpensive punched card equipment" J. Mach. Accounting 12, 8 (1961) 11-18.
          in [JCC 18] (1960) [JCC 18] Proceedings of the 1960 Eastern Joint Computer Conference, New York, December 1960
  • Lombardi, Lionello (1961) Lombardi, Lionello "System Handling of Functional Operators"
          in [ACM] (1961) [ACM] JACM 8(2) April 1961
  • Lombardi, Lionello (1962) Lombardi, Lionello "Mathematical aspects of non-arithmetic data processing procedures" Extract: Introduction Extract: Background Extract: Definitions
          in [ACM] (1962) [ACM] JACM 9(1) January 1962
  • Lombardi, Lionello (1962) Lombardi, Lionello "Mathematical models of file processes". Atti. Sem. Mat. Fis. Univ. Modena 1962
          in [ACM] (1962) [ACM] JACM 9(1) January 1962
  • Lombardi, Lionello (1962) Lombardi, Lionello "On table operating algorithms"
          in Popplewell, Cicely M. (1962) Popplewell, Cicely M. (Ed.) Information Processing 62, Proceedings of the 2nd IFIP Congress, Munich, Aug. 1962. North Holland Publ. Co., 1963.
  • Lombardi, Lionello (1962) Lombardi, Lionello "On the control of the data flow by means of recursive functions" pp173-186
          in (1962) Symbolic Languages in Data Processing, in the Proceedings of the Symposium organized and edited by the International Computation Centre, Rome, Italy, March 26­31, 1962, Gordon and Beech Science Publishers, 1962.
  • Skoffnor, Ralph M. (1962) Skoffnor, Ralph M. review of Lombardi 1962 (JACM) Abstract
          in (1962) ACM Computing Reviews 3(05) September-October 1962
  • Keese, Will, Jr. (1963) Keese, Will, Jr. Review of Lombardi (IFIP 62) Abstract
          in (1963) ACM Computing Reviews 4(03) May-June 1963
  • Lombardi, Lionello (1963) Lombardi, Lionello "Logic of automation of system communications" J. Mach. Accounting 1963
          in (1963) ACM Computing Reviews 4(03) May-June 1963
  • Lombardi, Lionello (1964) Lombardi, Lionello "A general business-oriented language based on decision expressions" Abstract
          in [ACM] CACM 7(02) (Feb 1964) includes Papers prese (1964) [ACM] CACM 7(02) (Feb 1964) includes Papers presented at a Working Conference on Mechanical Language Structures, Princeton, N. J., August 1963
  • Lombardi, Lionello (1964) Lombardi, Lionello "Coding in storage and searching systems" In P. Garvin (Editor), Natural Language and the Computer, ch. 14; , McGraw-Hill Book Co.
          in [ACM] CACM 7(02) (Feb 1964) includes Papers prese (1964) [ACM] CACM 7(02) (Feb 1964) includes Papers presented at a Working Conference on Mechanical Language Structures, Princeton, N. J., August 1963
  • Moore, D. (1966) Moore, D. P. review of Lombardi Abstract
          in (1966) ACM Computing Reviews 7(01) January-February 1966
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder