Rascal : from algebraic specification to meta-programming

J. Bos, van den, M. Hills, P. Klint, T. Storm, van der, J.J. Vinju

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)

    Abstract

    Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on algebraic specification and term rewriting (namely Asf and Asf+Sdf), we are now focusing on using the best concepts from algebraic specification and integrating these into a new programming language: Rascal. This language is easy to learn by non-experts but is also scalable to very large meta-programming applications. We explain the algebraic roots of Rascal and its main application areas: software analysis, software transformation, and design and implementation of domain-specific languages. Some example applications in the domain of Model-Driven Engineering (MDE) are described to illustrate this.
    Original languageEnglish
    Title of host publicationProceedings of the Second International Workshop on Algebrai c Methods in Model-based Software Engineering, June 30, 2011. Zurich, Switzerland
    EditorsF. Durán, V. Rusu
    PublisherEPTCS
    Pages15-32
    DOIs
    Publication statusPublished - 2011
    Event2nd International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE 2011), June 30, 2011, Zurich, Switzerland - Zurich, Switzerland
    Duration: 30 Jun 201130 Jun 2011

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science
    Volume56
    ISSN (Print)2075-2180

    Workshop

    Workshop2nd International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE 2011), June 30, 2011, Zurich, Switzerland
    Abbreviated titleAMMSE 2011
    CountrySwitzerland
    CityZurich
    Period30/06/1130/06/11
    OtherWorkshop held in conjunction with the 49th International Conference on Objects, Models, Components and Patterns (TOOLS Europe 2011)

    Fingerprint

    Dive into the research topics of 'Rascal : from algebraic specification to meta-programming'. Together they form a unique fingerprint.

    Cite this