Martin Odersky - Böcker
Visar alla böcker från författaren Martin Odersky. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Domain-Specific Program Generation
International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
Häftad, Engelska, 2004
552 kr
Skickas inom 10-15 vardagar
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 optimization
ECOOP 2004 - Object-Oriented Programming
18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
Häftad, Engelska, 2004
1 096 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004.The 25 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from a total of 132 submissions. The papers are organized in topical sections on encapsulation, program analysis, software engineering, aspects, middleware, types, verification, and systems.
Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
Häftad, Engelska, 2000
552 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000. The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines.
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 15 revised full are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis.