Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The Art of the Metaobject Protocol
The authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject protocol and who were among the group that developed CLOS, introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. Kiczales, des Rivières, and Bobrow show that the "art of metaobject protocol design" lies in creating a synthetic combination of o...
Hacker's Delight
A red-hot wake-up call? Reporter Macy Reynolds is the new "Yankee girl" in Tranquil Waters, Texas. Having recently inherited a large home and the local newspaper, she's also got a nasty case of cold shoulder from the town. Her only fan is the enormous dog she's just adopted--a dog who is about to land Macy into some deep (and incredibly hot) marine waters.... She was in red high heels and soaked to the skin, trying to shove the reluctant Great Dane into her car. And that was all it took for Lieutenant Blake Michaels to realize just how badly he wanted Macy. Still haunted by his past--and she by hers--neither of them is looking for anything serious. But there's something demanding and carnal in play. The only way to satisfy it? One hot little fling...
Perspectives of Systems Informatics
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.
Object-Oriented Information Systems
This book constitutes the refereed proceedings of the 8th International Conference on Object-Oriented Information Systems, OOIS 2002, held in Montpellier, France, in September 2002. The 34 revised full papers and 17 short papers presented were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on developing web services, object databases, XML and web, component and ontology, UML modeling, object modeling and information systems adaptation, e-business models and workflow, performance and method evaluation, programming and tests, software engineering metries, web-based information systems, architecture and Corba, and roles and evolvable objects.
Formal Methods in Systems Engineering
As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991...
Compiler Construction
ETAPS’99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
From Object-Orientation to Formal Methods
This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award: "For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67." This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: "The Birth of Object-Orientation: the Simula Languages." The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered around object-orientation and formal methods.
Geometric Modeling for Scientific Visualization
Geometric Modeling and Scientific Visualization are both established disciplines, each with their own series of workshops, conferences and journals. But clearly both disciplines overlap; this observation led to the idea of composing a book on Geometric Modeling for Scientific Visualization.
ECOOP '93 - Object-Oriented Programming
It is now more than twenty-five years since object-oriented programming was “inve- ed” (actually, more than thirty years since work on Simula started), but, by all accounts, it would appear as if object-oriented technology has only been “discovered” in the past ten years! When the first European Conference on Object-Oriented Programming was held in Paris in 1987, I think it was generally assumed that Object-Oriented Progr- ming, like Structured Programming, would quickly enter the vernacular, and that a c- ference on the subject would rapidly become superfluous. On the contrary, the range and impact of object-oriented approaches and methods continues to expand, and, - spite the inevi...
The Design And Implementation Of Concurrent Small Talk
This book focuses on object-oriented concurrent computing, which can be considered a model of concurrent programming, and proposes a new programming language, ConcurrentSmalltalk, which is based on object-oriented concurrent computing. The book also shows the efficiency of object-oriented concurrent computing through the design, implementation, and evaluation of ConcurrentSmalltalk. ConcurrentSmalltalk is designed to be upwardly compatible with Smalltalk-80. In the book, the ConcurrentSmalltalk object model is first proposed. Next, issues which arise from maintaining compatibility with Smalltalk-80 are discussed. Finally, the ConcurrentSmalltalk virtual machine which executes the ConcurrentSmalltalk programs is proposed.
