Elan

Known as: Elan programming language 
ELAN is an educational programming language for learning and teaching systematic programming. It was developed in 1974 by C.H.A. Koster and a group… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1982-2017
051019822017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Annotation of digital recordings in humanities research still is, to a large extend, a process that is performed manually. This… (More)
  • figure 1
Is this relevant?
Review
2008
Review
2008
The Data Category Registry is one of the ISO initiatives towards the establishment of standards for Language Resource management… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Outline • QsNet Architecture –Elan –Elite • Performance experiments • Summary QsNet A high speed interconnection network • Elan… (More)
Is this relevant?
2000
2000
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules… (More)
Is this relevant?
1999
1999
The Needham-Schroeder public-key protocol [NS78] has been already analyzed using several methodologies from model-checkers like… (More)
Is this relevant?
1998
1998
ELAN is a declarative language based on rewriting logic. The ELAN language is based on labelled conditional rewrite rules and on… (More)
Is this relevant?
1998
1998
Rewriting techniques are now recognized as a fundamental concept in many areas of computer science including mechanized theorem… (More)
Is this relevant?
1998
1998
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
ELAN implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The architecture of the interprocessor communications subsystem in the Meiko CS-2 MPP is discussed. This utilises a 'fat tree… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?