Zustand: New.
Zustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,01
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 54,00
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,94
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,90
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Zustand: New. pp. 340.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540221190 ISBN 13: 9783540221197
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Program generation holds the promiseof helping tobridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving thequality and stability of the product.This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presentedare organized into topical sections on- surveys of domain-specific programming technologies- domain-specific programming languages- tool support for program generation- domain-specific techniquesfor program optimization.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Domain-Specific Program Generation | International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers | Christian Lengauer (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540221197 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 109,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 100,04
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Taschenbuch. Zustand: Neu. Program synthesis from domain specific object models | An investigation of relational semantics, model completion and automatic code generation for object oriented systems | David Faitelson | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639256499 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 129,77
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: VDM Verlag Dr. Müller e.K., 2010
ISBN 10: 3639256492 ISBN 13: 9783639256499
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 145,30
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 54,13
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Mai 2004, 2004
ISBN 10: 3540221190 ISBN 13: 9783540221197
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Program generation holds the promiseof helping tobridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving thequality and stability of the product.This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presentedare organized into topical sections on- surveys of domain-specific programming technologies- domain-specific programming languages- tool support for program generation- domain-specific techniquesfor program optimization 344 pp. Englisch.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 76,95
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 340 Illus.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 340.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540221190 ISBN 13: 9783540221197
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today s source programs as written in C or Java. Thus, program generation can substantia.
Sprache: Englisch
Verlag: Springer, Springer Mai 2004, 2004
ISBN 10: 3540221190 ISBN 13: 9783540221197
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product.This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on surveys of domain-specific programming technologies domain-specific programming languages tool support for program generation domain-specific techniques for program optimizationSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 344 pp. Englisch.
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Automatically generating a program from its specification eliminates a large source of errors that is often unavoidable in a manual approach. This work investigates the theory behind Booster a specification language and automatic code generator, developed by Dr. Ib Sørenson and his group at Oxford University's Computing Laboratory. The work focuses on three contributions: semantics, model completion and code generation. The semantics of a Booster model is a single abstract data type (ADT) where the invariants and the methods of all the model classes are promoted to the ADT. This work argues that this semantics is a better model of object oriented systems than the traditional view where each class is a separate ADT. The second contribution is the idea of model completion a process that augments the postconditions of methods with additional predicates that follow from the system's invariant and the method's intention. The third contribution describes a simple but effective code generation technique that is based on interpreting postconditions as executable statements and uses weakest preconditions to ensure that the generated code refines its specification.