E
E. Kohlbecker
Researcher at Indiana University
Publications - 3
Citations - 777
E. Kohlbecker is an academic researcher from Indiana University. The author has contributed to research in topics: Programming language specification & Operational semantics. The author has an hindex of 3, co-authored 3 publications receiving 777 citations.
Papers
More filters
Journal ArticleDOI
Revised Report on the Algorithmic Language Scheme
Harold Abelson,R. K. Dybvig,Christopher T. Haynes,G. J. Rozas,Norman Adams,Daniel Friedman,E. Kohlbecker,G. L. Steele,D. H. Bartley,R. Halstead,D. Oxley,Gerald Jay Sussman,G. Brooks,C. Hanson,K. M. Pitman,Mitchell Wand +15 more
TL;DR: The report gives a defining description of the programming language Scheme, a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele, Jr. and Gerald Jay Sussman.
Revised 5 Report on the Algorithmic Language
Richard Kelsey,William Clinger,Jonathan Rees,Hal Abelson,R. K. Dybvig,Christopher T. Haynes,Guillermo J. Rozas,Norman Adams,Daniel Friedman,E. Kohlbecker,D. H. Bartley,R. Halstead,D. Oxley,G. J. Sussman,G. Brooks,Chris Hanson,K. M. Pitman,Mitchell Wand,Robert Hieb,Guy Lewis,Steele,Gerald Jay Sussman +21 more
Proceedings ArticleDOI
Macro-by-example: Deriving syntactic transformations from their specifications
E. Kohlbecker,Mitchell Wand +1 more
TL;DR: A “macro-by-example” specification language for syntactic abstractions in Lisp and related languages is described, which gives a formal semantics for the language and a derivation of a compiler from the semantics.