Compiling natural semantics / (Record no. 639444)

MARC details
000 -LEADER
fixed length control field 05069cam a22008654a 4500
001 - CONTROL NUMBER
control field ocn466112485
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703150838.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr |n|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 990422s1999 gw ob 001 0 eng c
040 ## - CATALOGING SOURCE
Original cataloging agency COO
Language of cataloging eng
Description conventions pn
Transcribing agency COO
Modifying agency DEBBG
-- OCLCQ
-- YNG
-- CSU
-- DKDLA
-- OCLCQ
-- OCLCO
-- OCLCQ
-- GW5XE
-- NLGGC
-- OCLCF
-- OCLCQ
-- NUI
-- OCLCQ
-- EBLCP
-- OCLCQ
-- YDX
-- DGU
-- UAB
-- ESU
-- OCLCQ
-- VT2
-- COO
-- BUF
-- CEF
-- WYU
-- CANPU
-- OL$
-- OCLCQ
-- LEAUB
-- AU@
-- AUD
-- OCLCQ
-- INARC
-- OCLCQ
-- OCLCO
-- SFB
-- UKAHL
-- OCLCQ
-- INT
-- WSU
-- OCLCO
-- OCLCL
-- OCLCQ
019 ## -
-- 150397011
-- 644362633
-- 769770966
-- 934979848
-- 990732244
-- 993778350
-- 1006420033
-- 1009304603
-- 1012877318
-- 1014458876
-- 1020031477
-- 1036737306
-- 1038483566
-- 1039704021
-- 1044501876
-- 1058708056
-- 1060930186
-- 1073079408
-- 1078837354
-- 1086477753
-- 1102535683
-- 1105599593
-- 1243543175
-- 1244621847
-- 1244635203
-- 1374609719
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540488231
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540488235
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540659684
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540659686
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788354048824
Qualifying information (1)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 8354048829
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/b71652
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051319861
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051694795
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000058016707
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000058158964
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060467705
029 1# - (OCLC)
OCLC library identifier DEBBG
System control number BV035072021
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000463995
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 296862835
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14996494
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15300084
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)466112485
Canceled/invalid control number (OCoLC)150397011
-- (OCoLC)644362633
-- (OCoLC)769770966
-- (OCoLC)934979848
-- (OCoLC)990732244
-- (OCoLC)993778350
-- (OCoLC)1006420033
-- (OCoLC)1009304603
-- (OCoLC)1012877318
-- (OCoLC)1014458876
-- (OCoLC)1020031477
-- (OCoLC)1036737306
-- (OCoLC)1038483566
-- (OCoLC)1039704021
-- (OCoLC)1044501876
-- (OCoLC)1058708056
-- (OCoLC)1060930186
-- (OCoLC)1073079408
-- (OCoLC)1078837354
-- (OCoLC)1086477753
-- (OCoLC)1102535683
-- (OCoLC)1105599593
-- (OCoLC)1243543175
-- (OCoLC)1244621847
-- (OCoLC)1244635203
-- (OCoLC)1374609719
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.7
Item number .P493 1999
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051010
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM010000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMX
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMC
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMX
Source thema
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMC
Source thema
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 28.
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 28
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.13/1
Edition number 21
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.10
Number source bcl
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Pettersson, Mikael.
9 (RLIN) 35963
245 10 - TITLE STATEMENT
Title Compiling natural semantics /
Statement of responsibility, etc. Mikael Pettersson.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 1999.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xvi, 240 pages)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 1549
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
520 ## - SUMMARY, ETC.
Summary, etc. 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.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1 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.
546 ## - LANGUAGE NOTE
Language note English.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming languages (Electronic computers)
General subdivision Semantics.
9 (RLIN) 14960
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Langages de programmation
General subdivision Sémantique.
9 (RLIN) 25710
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming languages (Electronic computers)
General subdivision Semantics
Source of heading or term fast
9 (RLIN) 14960
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Semantiek.
Source of heading or term gtt
9 (RLIN) 6773
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compiladores, processadores, interpretadores (computadores)
Source of heading or term larpcal
9 (RLIN) 35964
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Langages de programmation
General subdivision Semantique.
Source of heading or term ram
9 (RLIN) 25710
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compilation (informatique)
Source of heading or term ram
9 (RLIN) 35965
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congressen (vorm)
Source of term gtt
9 (RLIN) 8970
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:Pettersson, Mikael.
Title Compiling natural semantics
Record control number (OCoLC)41315506
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 1549.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/b71652">https://link.springer.com/10.1007/b71652</a>
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH26900828
938 ## -
-- Internet Archive
-- INAR
-- compilingnatural0000pett
938 ## -
-- YBP Library Services
-- YANK
-- 13357812
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL6494976
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha