liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Compiler generation for parallel languages from denotational specifications
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
1993 (engelsk)Licentiatavhandling, monografi (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Linköping: Univ. , 1993. , s. 121
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 380
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-163149Lokal ID: LiU-TEK-LIC-1993:22ISBN: 917871124X (tryckt)OAI: oai:DiVA.org:liu-163149DiVA, id: diva2:1386102
Tilgjengelig fra: 2020-01-16 Laget: 2020-01-16 Sist oppdatert: 2020-01-24bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Søk i DiVA

Av forfatter/redaktør
Ringström, Johan
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf