LEADER 02846oam  2200553   450 
001 9910143478503321
005 20210804102637.0
010   $a3-540-48823-5
024 7 $a10.1007/b71652
035   $a(CKB)1000000000211047
035   $a(SSID)ssj0000321964
035   $a(PQKBManifestationID)11257606
035   $a(PQKBTitleCode)TC0000321964
035   $a(PQKBWorkID)10281223
035   $a(PQKB)11508553
035   $a(DE-He213)978-3-540-48823-1
035   $a(MiAaPQ)EBC3087727
035   $a(MiAaPQ)EBC6494976
035   $a(PPN)155237209
035   $a(EXLCZ)991000000000211047
100   $a20210804d1999      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCompiling natural semantics /$fMikael Pettersson
205   $a1st ed. 1999.
210  1$aBerlin ;$aHeidelberg :$cSpringer,$d[1999]
210  4$d©1999
215   $a1 online resource (XVIII, 246 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1549
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-65968-4 
320   $aIncludes bibliographical references and index.
327   $a1 Introduction -- 2 Preliminaries -- 3 The Design of RML -- 4 Examples -- 5 Implementation Overview -- 6 Reducing Nondeterminism -- 7 Compiling Pattern Matching -- 8 Compiling Continuations -- 9 Simulating Tailcalls in C -- 10 Performance Evaluation -- 11. Concluding Remarks -- A. The Definition of RML.
330   $aNatural 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1549
606   $aProgramming languages (Electronic computers)$xSemantics
615  0$aProgramming languages (Electronic computers)$xSemantics.
676   $a005.131
700   $aPettersson$b Mikael$0754249
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a9910143478503321
996   $aCompiling natural semantics$91517624
997   $aUNINA