| 000 | 04923cam a2200829 i 4500 | ||
|---|---|---|---|
| 001 | ocn851740735 | ||
| 003 | OCoLC | ||
| 005 | 20250703162622.0 | ||
| 006 | m o d | ||
| 007 | cr mnu---uuaaa | ||
| 008 | 121227s1987 gw o 000 0 eng | ||
| 040 |
_aAU@ _beng _epn _cAU@ _dOCLCO _dGW5XE _dITD _dOCLCF _dOCL _dHDC _dOL$ _dOCLCQ _dOCL _dOCLCQ _dSHS _dESU _dOCLCQ _dVT2 _dOCLCQ _dCEF _dOCLCQ _dAU@ _dOCLCQ _dLEAUB _dOCLCQ _dKIJ _dOCLCQ _dOCLCO _dOCL _dOCLCQ _dOCLCO _dOCLCQ |
||
| 019 |
_a793075221 _a1119462078 |
||
| 020 |
_a9783540481799 _q(electronic bk.) |
||
| 020 |
_a3540481796 _q(electronic bk.) |
||
| 020 | _z9783540187790 | ||
| 020 | _z3540187790 | ||
| 020 | _z3540481796 | ||
| 024 | 7 |
_a10.1007/3-540-18779-0 _2doi |
|
| 029 | 0 |
_aAU@ _b000051688521 |
|
| 029 | 1 |
_aNZ1 _b14996177 |
|
| 029 | 1 |
_aNZ1 _b15329311 |
|
| 035 |
_a(OCoLC)851740735 _z(OCoLC)793075221 _z(OCoLC)1119462078 |
||
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 049 | _aMAIN | ||
| 100 | 1 |
_aBauer, F. L. _947995 |
|
| 245 | 1 | 4 |
_aThe Munich Project CIP : _bVolume II: The Program Transformation System CIP-S / _cedited by F.L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper. |
| 260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1987. |
||
| 300 | _a1 online resource (viii, 522 pages) | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 | _atext file | ||
| 347 | _bPDF | ||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v292 |
|
| 505 | 0 | _aIntroduction -- 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 | _aThis 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 |
_aComputer science. _9941 |
|
| 650 | 0 |
_aSoftware engineering. _914736 |
|
| 650 | 0 |
_aData structures (Computer science) _9942 |
|
| 650 | 0 |
_aLogic design. _94749 |
|
| 650 | 0 |
_aArtificial intelligence. _91340 |
|
| 650 | 0 |
_aElectronic data processing. _96665 |
|
| 650 | 6 |
_aInformatique. _914930 |
|
| 650 | 6 |
_aGénie logiciel. _919335 |
|
| 650 | 6 |
_aStructures de données (Informatique) _917394 |
|
| 650 | 6 |
_aStructure logique. _931063 |
|
| 650 | 6 |
_aIntelligence artificielle. _915884 |
|
| 650 | 7 |
_adata processing. _2aat _914620 |
|
| 650 | 7 |
_acomputer science. _2aat _9941 |
|
| 650 | 7 |
_aartificial intelligence. _2aat _91340 |
|
| 650 | 7 |
_aElectronic data processing _2fast _96665 |
|
| 650 | 7 |
_aArtificial intelligence _2fast _91340 |
|
| 650 | 7 |
_aComputer science _2fast _9941 |
|
| 650 | 7 |
_aData structures (Computer science) _2fast _9942 |
|
| 650 | 7 |
_aLogic design _2fast _94749 |
|
| 650 | 7 |
_aSoftware engineering _2fast _914736 |
|
| 700 | 1 |
_aEhler, H. _949208 |
|
| 700 | 1 |
_aHorsch, A. _949209 |
|
| 700 | 1 | _aMöller, B. | |
| 700 | 1 | _aPartsch, H. | |
| 700 | 1 |
_aPaukner, O. _949212 |
|
| 700 | 1 | _aPepper, P. | |
| 776 | 0 | 8 |
_iPrint version: _z9783540187790 |
| 830 | 0 |
_aLecture notes in computer science ; _v292. |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/3-540-18779-0 |
| 936 | _aBATCHLOAD | ||
| 994 |
_a92 _bATIST |
||
| 999 |
_c642793 _d642793 |
||