The Munich Project CIP. Volume II, the program transformation system CIP-S
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 im...
Bewaard in:
| Hoofdauteurs: | , , |
|---|---|
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
292 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Munich project CIP : 2 : the program transformation system CIP-S, the CIP system group : F.L. Bauer, H. Ehler, A. Horsch [et al.], Berlin, Springer, 1987, 1 vol. (VIII-522 p.), Lecture notes in computer science, 3-540-18779-0 • The Munich Project CIP, Texte imprimé, 9783662212318 |
| LEADER | 04238nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945633 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155235206 | ||
| 020 | |a 9783540481799 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Bauer, Friedrich Ludwig, |d 1924-2015. | |
| 245 | 1 | 0 | |a The Munich Project CIP. |n Volume II, |p the program transformation system CIP-S |c by the CIP system group : F.L. Bauer, H. Ehler, A. Horsch... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 292 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a I : Introduction -- II : The transformation calculus -- III : Formal specification -- IV : Formal development of selected system functions -- V : Transformation rules -- VI : A sample instantiation of the system for a concrete language. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Structures de données (informatique) | ||
| 700 | 1 | |a Ehler, H., |d 19..- |4 aut | |
| 700 | 1 | |a Horsch, A., |d 19..- |4 aut | |
| 776 | 0 | |0 020653832 |t The Munich project CIP : 2 : the program transformation system CIP-S |f the CIP system group : F.L. Bauer, H. Ehler, A. Horsch [et al.] |c Berlin |n Springer |d 1987 |p 1 vol. (VIII-522 p.) |s Lecture notes in computer science |z 3-540-18779-0 | |
| 776 | 0 | |t The Munich Project CIP |b Texte imprimé |z 9783662212318 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18779-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-W3RFNFXJ-Q |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747908818 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18779-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750921757 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18779-0 |z Accès INSA CVL | |
| 997 | |0 945633 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||