Ladle is a language for specifying the structure of certain kinds of formal languages. The name stands for LAnguage Description LanguagE.
A Ladle specification defines two structural aspects of language representation: lexical and syntactic. (A semantic specification will be added in a future release.) The syntax description encompasses the abstract syntax of the language, the internal tree representation of this abstract syntax and how to parse and unparse such syntax trees.
The Ladle processor transforms a language specification into a set of tables that are used by the interactive language-based editor Pan I to map between text and abstract syntax trees, using either bottom-up parsing or structural elaboration. Access to the tables is provided by a client interface for Ladle.
The report first gives some background information and discusses the functionality of the Ladle processor at a fairly high level. The theoretical basis for Ladle is described. Subsequent sections specify Ladle's input format and semantics, its output data and format, and the client interface to Ladle's output tables.
Title
Ladle
Published
1989-11-11
Full Collection Name
Electrical Engineering & Computer Sciences Technical Reports
Other Identifiers
CSD-89-519
Type
Text
Extent
48 p
Archive
The Engineering Library
Usage Statement
Researchers may make free and open use of the UC Berkeley Library’s digitized public domain materials. However, some materials in our online collections may be protected by U.S. copyright law (Title 17, U.S.C.). Use or reproduction of materials protected by copyright beyond that allowed by fair use (Title 17, U.S.C. § 107) requires permission from the copyright owners. The use or reproduction of some materials may also be restricted by terms of University of California gift or purchase agreements, privacy and publicity rights, or trademark law. Responsibility for determining rights status and permissibility of any use or reproduction rests exclusively with the researcher. To learn more or make inquiries, please see our permissions policies (https://www.lib.berkeley.edu/about/permissions-policies).
