Attribute grammar inversion and source-to-source translation / (Record no. 636169)

MARC details
000 -LEADER
fixed length control field 06781cam a2201129 i 4500
001 - CONTROL NUMBER
control field ocn150398960
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703143551.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 |||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 060821s1988 gw a ob 000 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 88159493
040 ## - CATALOGING SOURCE
Original cataloging agency NLGGC
Language of cataloging eng
Description conventions pn
Transcribing agency NLGGC
Modifying agency OCLCO
-- COO
-- OL$
-- HDC
-- GW5XE
-- OCLCF
-- OCLCQ
-- ITD
-- OCLCQ
-- LIP
-- SHS
-- UAB
-- ESU
-- OCLCQ
-- VT2
-- OCLCQ
-- CEF
-- AU@
-- LHU
-- YOU
-- OCLCQ
-- LEAUB
-- OCLCQ
-- HS0
-- KIJ
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCLCE
-- INARC
-- OCLCO
-- OCLCQ
-- OCL
-- OCLCO
-- OCLCL
-- OCLCQ
-- OCLCA
019 ## -
-- 466104717
-- 793075228
-- 990522574
-- 993757683
-- 1005819987
-- 1006425572
-- 1009302570
-- 1012444218
-- 1012877433
-- 1014430828
-- 1020028683
-- 1038414503
-- 1039486743
-- 1044233692
-- 1056394189
-- 1058152613
-- 1060789821
-- 1064985125
-- 1081280442
-- 1119490033
-- 1152975208
-- 1162683964
-- 1259139182
-- 1273047366
-- 1301804102
-- 1415899798
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540390794
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540390790
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783662210734
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3662210738
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 0387190724
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780387190723
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540190724
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540190721
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-19072-4
Source of number or code doi
029 0# - (OCLC)
OCLC library identifier NLGGC
System control number 296876259
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051691628
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057633572
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14992776
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15296973
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)150398960
Canceled/invalid control number (OCoLC)466104717
-- (OCoLC)793075228
-- (OCoLC)990522574
-- (OCoLC)993757683
-- (OCoLC)1005819987
-- (OCoLC)1006425572
-- (OCoLC)1009302570
-- (OCoLC)1012444218
-- (OCoLC)1012877433
-- (OCoLC)1014430828
-- (OCoLC)1020028683
-- (OCoLC)1038414503
-- (OCoLC)1039486743
-- (OCoLC)1044233692
-- (OCoLC)1056394189
-- (OCoLC)1058152613
-- (OCoLC)1060789821
-- (OCoLC)1064985125
-- (OCoLC)1081280442
-- (OCoLC)1119490033
-- (OCoLC)1152975208
-- (OCoLC)1162683964
-- (OCoLC)1259139182
-- (OCoLC)1273047366
-- (OCoLC)1301804102
-- (OCoLC)1415899798
042 ## - AUTHENTICATION CODE
Authentication code dlr
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.T83
Item number Y45 1988
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.M38
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 COM051010
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM010000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.45
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 17.46
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number *68N01
Number source msc
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 68-02
Number source msc
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 68Q45
Number source msc
084 ## - OTHER CLASSIFICATION NUMBER
Classification number SS 4800
Number source rvk
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 28
Number source sdnb
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 554f
Number source stub
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 399f
Number source stub
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title Attribute grammar inversion and source-to-source translation /
Statement of responsibility, etc. Daniel M. Yellin.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice ©1988.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (viii, 176 pages) :
Other physical details illustrations
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
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Introduction -- Grammar Based Translation Methodologies and RIFs -- The Inversion of RIF Grammars -- Generalizing RIFs -- The INVERT System -- Translating Between Programming Languages -- Conclusions and Future Directions -- References -- Appendix A: AGs Using ERROR and Computability -- Appendix B: Pascal-to-C and C-to-Pascal Translations.
520 ## - SUMMARY, ETC.
Summary, etc. With the proliferation of computer languages and dialects, it is important to create tools to aid in the construction of source-to-source translators. By allowing users to make use of software (or data) written for another system, these tools form an important component in the quest for software reusability. After discussing the theoretical and practical issues of attribute grammar inversion, this book demonstrates how the technique can be used to build source-to-source translators. This is done by first identifying a common canonical form in which to represent the various source languages and then writing attribute grammars from each source to the canonical form. By automatically inverting these attribute grammars one obtains translators from the canonical form back to each source language and by composing the appropriate pairs of translators one obtains source-to-source translators. To prove the feasibility of the inversion approach to source-to-source translation, it has been used to generate translators between the programming languages Pascal and C.
546 ## - LANGUAGE NOTE
Language note English.
506 ## - RESTRICTIONS ON ACCESS NOTE
Materials specified Use copy
Standardized terminology for access restriction Restrictions unspecified
Source of term star
Institution to which field applies MiAaHDL
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction.
Place of reproduction [Place of publication not identified]:
Agency responsible for reproduction HathiTrust Digital Library.
Date of reproduction 2023.
Institution to which field applies MiAaHDL
538 ## - SYSTEM DETAILS NOTE
System details note Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Uniform Resource Identifier <a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a>
Institution to which field applies MiAaHDL
583 1# - ACTION NOTE
Action digitized
Time/date of action 2023.
Jurisdiction HathiTrust Digital Library
Status committed to preserve
Source of term pda
Institution to which field applies MiAaHDL
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Translators (Computer programs)
9 (RLIN) 21161
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parsing (Computer grammar)
9 (RLIN) 34470
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compiling (Electronic computers)
9 (RLIN) 15863
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic programming (Computer science)
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 Traducteurs (Logiciels)
9 (RLIN) 925274
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Analyse automatique (Linguistique)
9 (RLIN) 495719
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compilation (Informatique)
9 (RLIN) 35965
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmation automatique.
9 (RLIN) 673575
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 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parsing (Computer grammar)
Source of heading or term fast
9 (RLIN) 34470
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compiling (Electronic computers)
Source of heading or term fast
9 (RLIN) 15863
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic programming (Computer science)
Source of heading or term fast
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Translators (Computer programs)
Source of heading or term fast
9 (RLIN) 21161
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Attributierte Grammatik
Source of heading or term gnd
9 (RLIN) 925275
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Inversion
Miscellaneous information Mathematik
Source of heading or term gnd
9 (RLIN) 712177
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Maschinelle Übersetzung
Source of heading or term gnd
9 (RLIN) 3751
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Übersetzer
Miscellaneous information Informatik
Source of heading or term gnd
9 (RLIN) 308057
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programacao de computadores.
Source of heading or term larpcal
9 (RLIN) 14740
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parsing (Computer grammar)
Source of heading or term nli
9 (RLIN) 34470
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compilers (Computer programs)
Source of heading or term nli
9 (RLIN) 15497
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 nli
9 (RLIN) 14960
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Translators (Computer programs)
Source of heading or term nli
9 (RLIN) 21161
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Übersetzer <Informatik>
Source of heading or term swd
9 (RLIN) 976315
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Translators (Computer programs)
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic resources (Books)
9 (RLIN) 14725
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Yellin, Daniel M.
Relator code edt
9 (RLIN) 21162
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Title Attribute grammar inversion and source-to-source translation
Record control number (NL-LeOCL)046714987
-- (OCoLC)17930350
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 302.
International Standard Serial Number 1611-3349
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/3-540-19072-4">https://link.springer.com/10.1007/3-540-19072-4</a>
938 ## -
-- Internet Archive
-- INAR
-- attributegrammar0000yell
936 ## - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN)
OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) BATCHLOAD
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