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

Direct link
Cite
Citation style
  • apa
  • 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
Compiler generation for parallel languages from denotational specifications
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
1993 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

There exist several systems for the generation of compiler front-ends from formal semantics. Systems that generate entire compilers have also started to appear. Many of these use attribute grammars as the specification formalism, but there also are systems based on operational semantics or denotational semantics. However, there are very few systems based on denotational semantics that generate compilers for parallel languages.

The goal of this thesis is to show that it is possible to automatically generate an efficient compiler for a parallel language from a denotational specification. We propose a two-level structure for the formal description. The high level uses denotational semantics, whereas the low-level part consists of an abstract machine including data-parallel operations.

This thesis concentrates on the high-level denotational part. A prototype compiler for a small Algol-like parallel language has been generated using a modified version of the DML (Denotational Meta Language) system back-end. A fixed operational semantics in the form of a low-level language that includes data-parallel operations is used as target during the generation.

Place, publisher, year, edition, pages
Linköping: Univ. , 1993. , p. 121
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 380
National Category
Language Technology (Computational Linguistics)
Identifiers
URN: urn:nbn:se:liu:diva-163149Local ID: LiU-TEK-LIC-1993:22ISBN: 917871124X (print)OAI: oai:DiVA.org:liu-163149DiVA, id: diva2:1386102
Available from: 2020-01-16 Created: 2020-01-16 Last updated: 2020-01-24Bibliographically approved

Open Access in DiVA

No full text in DiVA

Search in DiVA

By author/editor
Ringström, Johan
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Language Technology (Computational Linguistics)

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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