Skip to main navigation Skip to search Skip to main content

ASF+SDF : a functional language to prototype (programming) languages (Extended abstract)

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

    1 Downloads (Pure)

    Abstract

    Although ASF+SDF stands for Algebraic Specification Formalism plus Syntax Definition Formalism, the formalism has more a functional flavor than an algebraic flavor. The main purpose of this formalism is to describe both the syntax and the semantics of (programming) languages. Initially, ASF+SDF was developed to prototype languages, among others domain specific languages, in the last decade the application area shifted towards software renovation. ASF+SDF is used for the restructuring of COBOL code, among others, GOTO elimination, subroutine introduction, and data migration. The ASF+SDF formalism is supported by an integrated development environment, the ASF+SDF Meta-Environment. Various components of this environment are developed using ASF+SDF itself and compiled to C code.
    Original languageEnglish
    Title of host publicationJournées Francophones des Langages Applicatifs (JFLA2006, Pauillac, France, January 28-31, 2006)
    Place of PublicationRocquencourt, France
    PublisherINRIA
    Pages1-9
    ISBN (Print)2-7261-1288-9
    Publication statusPublished - 2006

    Fingerprint

    Dive into the research topics of 'ASF+SDF : a functional language to prototype (programming) languages (Extended abstract)'. Together they form a unique fingerprint.

    Cite this