Compiling Natural Semantics (e-bok)
Fler böcker inom
Format
E-bok
Filformat
PDF med Adobe-kryptering
Om Adobe-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2005-11-20
Förlag
Springer Berlin Heidelberg
ISBN
9783540488231
Compiling Natural Semantics (e-bok)

Compiling Natural Semantics E-bok

av Mikael Pettersson
E-bok (Pdf, Drm),  Engelska, 2005-11-20
Finns även som
Visa alla 1 format & utgåvor
Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Mikael Pettersson

  • Och jorden är oskyldigt blå

    Och jorden är oskyldigt blå

    Mikael Pettersson

    Jens ser alarmerande samband. Hur förklarar man för allmänheten att det har begåtts ett fruktansvärt misstag? Att vi bär på en inre överlägsen fiende som fått oss att förbise den ödesdigra kopplingen mellan klimatet och klimakteriet? Människan bid...

    180
    Köp
    Skickas inom vardagar.

Du kanske gillar