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
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
2007 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 175, no 1, 71-75 p.Article in journal (Refereed) Published
Abstract [en]

The Structural Operational Semantics Development Tooling (SOSDT) Eclipse Plugin integrates the Relational Meta-Language (RML) compiler and debugger with the Eclipse Integrated Development Environment Framework. SOSDT, together with the RML compiler and debugger, provides an environment for developing and maintaining executable Structural Operational Semantics specifications, including the Natural Semantics big step variant of SOS specifications. The RML language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The SOSDT environment includes support for browsing, code completion through menus or popups, code checking, automatic indentation, and debugging of specifications. © 2007 Elsevier B.V. All rights reserved.

Place, publisher, year, edition, pages
Elsevier, 2007. Vol. 175, no 1, 71-75 p.
Keyword [en]
debugging, Eclipse, executable specification, Natural Semantics, RML, SOS
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-49743DOI: 10.1016/j.entcs.2006.11.019OAI: oai:DiVA.org:liu-49743DiVA: diva2:270639
Conference
Third Workshop on Structural Operational Semantics (SOS 2006)
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2014-10-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Pop, Adrian Dan IosifFritzson, Peter

Search in DiVA

By author/editor
Pop, Adrian Dan IosifFritzson, Peter
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
In the same journal
Electronical Notes in Theoretical Computer Science
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 55 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