MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04923cam a2200829 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn851740735 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703162622.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 mnu---uuaaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
121227s1987 gw o 000 0 eng |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
AU@ |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
AU@ |
| Modifying agency |
OCLCO |
| -- |
GW5XE |
| -- |
ITD |
| -- |
OCLCF |
| -- |
OCL |
| -- |
HDC |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
OCLCQ |
| -- |
AU@ |
| -- |
OCLCQ |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
KIJ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
793075221 |
| -- |
1119462078 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540481799 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540481796 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540187790 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540187790 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540481796 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-18779-0 |
| Source of number or code |
doi |
| 029 0# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051688521 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14996177 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15329311 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)851740735 |
| Canceled/invalid control number |
(OCoLC)793075221 |
| -- |
(OCoLC)1119462078 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bauer, F. L. |
| 9 (RLIN) |
47995 |
| 245 14 - TITLE STATEMENT |
|---|
| Title |
The Munich Project CIP : |
| Remainder of title |
Volume II: The Program Transformation System CIP-S / |
| Statement of responsibility, etc. |
edited by F.L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin, Heidelberg : |
| Name of publisher, distributor, etc. |
Springer Berlin Heidelberg, |
| Date of publication, distribution, etc. |
1987. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (viii, 522 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
292 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Introduction -- The Transformation Calculus -- Formal Specification -- Formal Development of Selected System Functions -- Transformation Rules -- A Sample Instantiation of the System for a Concrete Language -- References -- Appendix -- Index I: Key Notions -- Index II: Types, Sorts, Operations -- Index III: Transformation Rules. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it contains a formal specification of the system core and transformational developments for the more interesting system routines. Based on a formal calculus of program transformations, the informal requirements for the system are stated. Then the system core is formally specified using the algebraic data types and the pre-algorithmic logical constructs of the wide spectrum language CIP-L. It is demonstrated how executable, procedural level programs can be developed from this specification according to formal rules. The extensive collection of these rules is also contained in the book; it can be used as the basis for further developments using this method. Since the system has been designed in such a way that it is parameterized with the concrete programming language to be transformed, the book also contains a guide how to actualize this parameter; the proceeding is exemplified with a small subset of CIP-L. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 9 (RLIN) |
941 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering. |
| 9 (RLIN) |
14736 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Data structures (Computer science) |
| 9 (RLIN) |
942 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic design. |
| 9 (RLIN) |
4749 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| 9 (RLIN) |
1340 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing. |
| 9 (RLIN) |
6665 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| 9 (RLIN) |
14930 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Génie logiciel. |
| 9 (RLIN) |
19335 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Structures de données (Informatique) |
| 9 (RLIN) |
17394 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Structure logique. |
| 9 (RLIN) |
31063 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Intelligence artificielle. |
| 9 (RLIN) |
15884 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
data processing. |
| Source of heading or term |
aat |
| 9 (RLIN) |
14620 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
computer science. |
| Source of heading or term |
aat |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
artificial intelligence. |
| Source of heading or term |
aat |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| Source of heading or term |
fast |
| 9 (RLIN) |
6665 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Source of heading or term |
fast |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| Source of heading or term |
fast |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Data structures (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
942 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic design |
| Source of heading or term |
fast |
| 9 (RLIN) |
4749 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ehler, H. |
| 9 (RLIN) |
49208 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Horsch, A. |
| 9 (RLIN) |
49209 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Möller, B. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Partsch, H. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Paukner, O. |
| 9 (RLIN) |
49212 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pepper, P. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| International Standard Book Number |
9783540187790 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
292. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-18779-0">https://link.springer.com/10.1007/3-540-18779-0</a> |
| 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 |