Development of parsing tools for CASL using generic language technology

M.G.J. Brand, van den; J. (Jeroen) Scheerder

doi:10.1007/978-3-540-44616-3_6

Development of parsing tools for CASL using generic language technology

M.G.J. Brand, van den, J. (Jeroen) Scheerder

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

Abstract

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.

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	https://doi.org/10.1007/978-3-540-44616-3_6
Publication status	Published - 2000

Publication series

Name	Lecture Notes in Computer Science
Volume	1827
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-540-44616-3_6

Cite this

Brand, van den, M. G. J., & Scheerder, J. (2000). Development of parsing tools for CASL using generic language technology. In D. Bert, C. Choppy, & P. D. Mosses (Eds.), Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999) (pp. 89-105). (Lecture Notes in Computer Science; Vol. 1827). Springer. https://doi.org/10.1007/978-3-540-44616-3_6

Brand, van den, M.G.J. ; Scheerder, J. (Jeroen). / Development of parsing tools for CASL using generic language technology. Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999). editor / D. Bert ; C. Choppy ; P.D. Mosses. Springer, 2000. pp. 89-105 (Lecture Notes in Computer Science).

@inproceedings{f50dda31215e4cc58c80245b83a3f5ac,

title = "Development of parsing tools for CASL using generic language technology",

abstract = "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.",

author = "{Brand, van den}, M.G.J. and Scheerder, {J. (Jeroen)}",

year = "2000",

doi = "10.1007/978-3-540-44616-3_6",

language = "English",

isbn = "3-540-67898-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "89--105",

editor = "D. Bert and C. Choppy and P.D. Mosses",

booktitle = "Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Ch{\^a}teau de Bonas, France, September 15-18, 1999)",

address = "Germany",

}

Brand, van den, MGJ & Scheerder, J 2000, Development of parsing tools for CASL using generic language technology. in D Bert, C Choppy & PD Mosses (eds), Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999). Lecture Notes in Computer Science, vol. 1827, Springer, pp. 89-105. https://doi.org/10.1007/978-3-540-44616-3_6

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 -

Brand, van den MGJ, Scheerder J. Development of parsing tools for CASL using generic language technology. In Bert D, Choppy C, Mosses PD, editors, Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999). Springer. 2000. p. 89-105. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-44616-3_6

Development of parsing tools for CASL using generic language technology

Abstract

Publication series

Access to Document

Fingerprint

Cite this