BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (3)
file (2)
languag (2)
orient (1)
automat (1)

Stem elf$ (all stems)

4 papers:

OOPSLAOOPSLA-1994-KarpovichGF #approach #file system #object-oriented #performance
Extensible File Systems (ELFS): An Object-Oriented Approach to High Performance File I/O (JFK, ASG, JCF), pp. 191–204.
CADECADE-1994-Pfenning #deduction #metalanguage #named
Elf: A Meta-Language for Deductive Systems (System Descrition) (FP), pp. 811–815.
DACDAC-1989-SetliffR #automation #named #physics #synthesis
ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software (DES, RAR), pp. 543–548.
LICSLICS-1989-Pfenning #logic #metaprogramming #named
Elf: A Language for Logic Definition and Verified Metaprogramming (FP), pp. 313–322.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.