this book constitutes the strictly refereed proceedings of the 11theuropeanconference on object-orientedprogramming, ECOOP'97, held in Jyväskylä, Finland, in June 1997.;the book presents 20 revised fu...
详细信息
ISBN:
(数字)9783540691273
ISBN:
(纸本)9783540630890
this book constitutes the strictly refereed proceedings of the 11theuropeanconference on object-orientedprogramming, ECOOP'97, held in Jyväskylä, Finland, in June 1997.;the book presents 20 revised full papers selected from a total of 103 submissions; also included are two full invited presentations and one abstract of an invited talk. the book is divided into topical sections on programming languages, types, metaprogramming, implementation and systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology has grown from a limited academic exercise to an industrial driving force.
For the ninth time now, the europeanconference on object-oriented P- gramming provides a mid-summer gathering place for researchers, practitioners, students and newcomers in the field of object technology. Despite fi...
详细信息
ISBN:
(数字)9783540495383
For the ninth time now, the europeanconference on object-oriented P- gramming provides a mid-summer gathering place for researchers, practitioners, students and newcomers in the field of object technology. Despite fierce c- petition from an increasing number of attractive conferences on object-related topics, ECOOP has successfully positioned itself as the premier european - ject technology conference. One reason is without doubt the composition of the conference week and the nature of its events. Running in parallel on the first two days, a comprehensive tutorial program and a very selective workshop program are offered to attendees. this is followed by a three-day technical p- gram organized in a single track providing a highly communicative atmosphere of scientific exchange and learning. Overlapping withthese events are a two-day industrial exhibition and a two-day opportunity for non-industrial system dev- opers to demonstrate their software. thus, ECOOP is not just a conference on programming but an event touching on the full spectrum of object technology. this volume constitutes the proceedings of the Nintheuropeanconference on object-orientedprogramming, ECOOP, held in Aarhus, Denmark, August 7-11, 1995. Previous ECOOP conferences were held in Paris (France), Oslo (Norway), Nottingham (England), Ottawa (Canada, jointly with OOPSLA) , Geneva (Switzerland), Utrecht (the Netherlands) , Kaiserslautern (Germany) , and Bologna (Italy). object technology continues to increase its impact on the corporate world.
this book constitutes the refereed proceedings of the 12th International conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with t...
详细信息
ISBN:
(数字)9783642182754
ISBN:
(纸本)9783642182747
this book constitutes the refereed proceedings of the 12th International conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located withthe Symposium on Principles of programming Languages, POPL 2011. the 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. the papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-orientedprogramming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
暂无评论