liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Semantics Based Translator Generation and Tool Development in Practice
Linköping University, Department of Computer and Information Science. (PELAB)ORCID iD: 0000-0002-3435-4996
Linköping University, Department of Computer and Information Science. (PELAB)
Linköping University, Department of Computer and Information Science. (PELAB)
Linköping University, Department of Computer and Information Science. (PELAB)
2009 (English)In: Proceedings of  20th Australian Software Engineering Conference (ASWEC 2009), Gold Coast, Queensland, Australia, April 14 – 17, 2009, IEEE Computer Society , 2009, 256-266 p.Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we report on a long-term research effort to develop and use efficient language implementation generators in practice. The generator is applied to a number of different languages, some of which are used for projects in industry. The used formal specification style is operational semantics, primarily in the form called natural semantics, represented and supported by a meta-language and tool called the relational meta language (RML), which can generate efficient implementations in C, on par with hand-implemented code. Generating implementations from formal specifications are assumed to give advantages such as: high level descriptions, higher degree of correctness, and consistency between specification and implementation. To what extent can this be realized in practice? Does it scale to large language implementations? To answer some of these questions we have developed specifications of a range of languages: imperative, functional, object-oriented (Java), and equation-based (Modelica). The size of specifications range from half a page to large specifications of 60 000 lines. It turns out to be possible to generate efficient compilers, also for large languages. However, the performance of the generator tool and the user support of the development environment become increasingly important for large specifications. To satisfy such user needs the speed of the generator was increased a factor of ten to reduce turn-around time, and an Eclipse plug-in including a debugger were developed. For very large specifications, the structuring and modularity of the specification itself also become essential for performance and maintainability.

Place, publisher, year, edition, pages
IEEE Computer Society , 2009. 256-266 p.
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:liu:diva-50598DOI: 10.1109/ASWEC.2009.46ISBN: 978-0-7695-3599-9 (print)OAI: oai:DiVA.org:liu-50598DiVA: diva2:271721
Conference
2009 Australian Software Engineering Conference, ASWEC 2009; Gold Coast; Australia
Available from: 2009-10-13 Created: 2009-10-13 Last updated: 2014-10-08

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Fritzson, PeterPop, AdrianBroman, DavidAronsson, Peter

Search in DiVA

By author/editor
Fritzson, PeterPop, AdrianBroman, DavidAronsson, Peter
By organisation
Department of Computer and Information Science
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 88 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf