Abstract
Original language | English |
---|---|
Title of host publication | Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999) |
Editors | D. Bert, C. Choppy, P.D. Mosses |
Publisher | Springer |
Pages | 89-105 |
ISBN (Print) | 3-540-67898-0 |
DOIs | |
Publication status | Published - 2000 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 1827 |
ISSN (Print) | 0302-9743 |
Fingerprint
Cite this
}
Development of parsing tools for CASL using generic language technology. / Brand, van den, M.G.J.; Scheerder, J. (Jeroen).
Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999). ed. / D. Bert; C. Choppy; P.D. Mosses. Springer, 2000. p. 89-105 (Lecture Notes in Computer Science; Vol. 1827).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Development of parsing tools for CASL using generic language technology
AU - Brand, van den, M.G.J.
AU - Scheerder, J. (Jeroen)
PY - 2000
Y1 - 2000
N2 - An environment for the Common Algebraic Specification Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic specification formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user-defined syntax which is non-trivial to process: ASF+SDF offers a powerful parsing technology (Generalized LR). Its interactive development environment facilitates rapid prototyping complemented by early detection and correction of errors. A number of core technologies developed for the ASF+SDF Meta-Environment can be reused in the context of CASL . Furthermore, an instantiation of a generic format developed for the representation of ASF+SDF specifications and terms provides a CASL -specific exchange format.
AB - An environment for the Common Algebraic Specification Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic specification formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user-defined syntax which is non-trivial to process: ASF+SDF offers a powerful parsing technology (Generalized LR). Its interactive development environment facilitates rapid prototyping complemented by early detection and correction of errors. A number of core technologies developed for the ASF+SDF Meta-Environment can be reused in the context of CASL . Furthermore, an instantiation of a generic format developed for the representation of ASF+SDF specifications and terms provides a CASL -specific exchange format.
U2 - 10.1007/978-3-540-44616-3_6
DO - 10.1007/978-3-540-44616-3_6
M3 - Conference contribution
SN - 3-540-67898-0
T3 - Lecture Notes in Computer Science
SP - 89
EP - 105
BT - Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999)
A2 - Bert, D.
A2 - Choppy, C.
A2 - Mosses, P.D.
PB - Springer
ER -