H ? « »

Language peer sets for LAURE:
France
France/1989
Designed 1989
1980s languages
Fifth generation
Late Cold War

LAURE(ID:1637/lau002)

alternate simple view
Country: France
Designed 1989


A language for knowledge representation combining object orientation and logic programming. Set operations. Object-oriented exception handling and a polymorphic type system.


Places
Structures:
Related languages
LORE LAURE   Evolution of
LAURE CLAIRE   Augmentation of

References:
  • Caseau, Y.; Hoffoss, D. (1989) Caseau, Y.; Hoffoss, D. "The LAURE Documentation," Bellcore Technical Memorandum, October 1989.
  • Caseau (1991) Caseau "An Object-Oriented Language for Advanced Applications"
          in (1991) Proc TOOLS 5, Santa Barbara 1991, P-H
  • Caseau, Yves (1991) Caseau, Yves "An Object-Oriented Deductive Language" Abstract Online at citeseer
          in (1991) Annals of Mathematics and Artificial Intelligence 3(2-4) 1991
  • Caseau, Y. (1992) Caseau, Y. "Constraint Satisfaction in LAURE" Bellcore technical memorandum.
          in (1991) Annals of Mathematics and Artificial Intelligence 3(2-4) 1991
  • Caseau, Y.; Silverstein, G. (1992) Caseau, Y.; Silverstein, G. "Some Original Features of the LAURE Language"
          in (1992) Workshop on Object-Oriented Programming Languages: the Next Generation
  • Koppstein, P. (1992) Koppstein, P. "A LAURE User's Guide" The LAURE Documentation, 1992
          in (1992) Workshop on Object-Oriented Programming Languages: the Next Generation
  • Segoufin, L.; Caseau, Y. (1992) Segoufin, L.; Caseau, Y. "Extension to the LAURE Logic Language" Bellcore Technical Memorandum
          in (1992) Workshop on Object-Oriented Programming Languages: the Next Generation
  • Caseau, Yves and Perron, Laurent (1993) Caseau, Yves and Perron, Laurent "Attaching Second-Order Types to Methods in an Object-Oriented Language" Abstract Online copy
          in [ECOOP] (1993) [ECOOP] ECOOP '93 Conference Proceedings, Kaiserslautern, Germany, July, 1993
  • Caseau, Yves; Koppstein, Peter (1994) Caseau, Yves; Koppstein, Peter "The LAURE Reference Manual"
          in [ECOOP] (1993) [ECOOP] ECOOP '93 Conference Proceedings, Kaiserslautern, Germany, July, 1993
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder