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
DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science. (PELAB)ORCID iD: 0000-0002-3435-4996
1992 (English)In: Computer Languages, 1992, IEEE , 1992, 127-136 p.Conference paper, Published paper (Refereed)
Abstract [en]

DML (Denotational Meta Language) is a specification language and a compiler generation tool for producing practical and efficient compilers from denotational semantics specifications. This means that code emitted from generated compilers should be product quality, and that generated compilers should have reasonable compilation speed and interface well with standard front-ends and back-ends. To achieve this goal, the DML system contains: a general algorithm for producing efficient quadruple code from continuation semantics of Algol-like languages, and enhancements in the DML specification language with BNF rules for abstract syntax declarations and semantic brackets with inline concrete syntax and pattern matching for readable and concise semantic equations. Generated quadrupole code is fed into a standard optimizing back-end to obtain high-quality target code. The DML system generates efficient compilers in C and contains a foreign language interface for communication, e.g. with parsers or optimizing back-ends. DML is a superset of Standard ML and uses applicative order semantics, i.e. call by value, for reasons of efficiency

Place, publisher, year, edition, pages
IEEE , 1992. 127-136 p.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-110077DOI: 10.1109/ICCL.1992.185475ISBN: 0-8186-2585-6 (print)OAI: oai:DiVA.org:liu-110077DiVA: diva2:742663
Conference
International Conference on Computer Languages, 20-23 April 1992, Oakland, California, USA
Available from: 2014-09-02 Created: 2014-09-02 Last updated: 2014-09-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Fritzson, Peter

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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