Search results

The Fifth International Workshop on Persistent Object Systems took place in the historic setting of Centro Studi "I Cappuccini" della Cassa di Risparmio di San Miniato. San Miniato (pisa). Italy from 1-4 September 1992. The workshop continued the tradition of the previous four in concentrating on the design. implementation and use of persistent systems. The other workshops in the series are: Venue Date Organisers Appin POSI 27-30 August Atkinson. Buneman 1985 Scotland and Morrison Appin POS2 25-...

The theory of parsing is an important application area of the theory of formal languages and automata. The evolution of modem high-level programming languages created a need for a general and theoretically dean methodology for writing compilers for these languages. It was perceived that the compilation process had to be "syntax-directed", that is, the functioning of a programming language compiler had to be defined completely by the underlying formal syntax of the language. A program text to be...

Persistent object systems are systems which support the creation and manipulation of objects in a uniform manner, regardless of how long they persist. This is in direct contrast with conventional systems where temporary objects are created and manipulated using one mechanism (typically programming language data structures) and permanent objects are maintained using a different mechanism (usually a filestore). The unification of temporary and permanent objects yields systems which are smaller and...

This is a book about using Prolog, and about teaching it by example. Its real asset is a huge collection of problems (175), with their programs and associated comments, distributed over 17 sections. The book is recommended to introductory and advanced university courses where students may need to refresh the basics about logic programming and Prolog, before starting practice. It is also a guide book for software development in Prolog. The reader may pick up programs from the book as building blo...

Fortran is one of the most common programming languages in the field of science and Fortran compilers are available for almost all computers and are being increasingly used by personal computers. The initial standard version of Fortran IV has been extended enormously due to the large range of computers available and the numerous requirements demanded of them. As a result of this there are at present a vast number of Fortran "language dialects" which impairs the exchange of programs. Fortran 77 i...

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP. The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, a...

This volume constitutes the proceedings of the sixth European Conference on Object-Oriented Programming (ECOOP), held in Utrecht, The Netherlands, June 29 - July 3, 1992. Since the "French initiative" to organize the first conference in Paris, ECOOP has been a very successful forum for discussing the state of the art of object orientation. ECOOP has been able to attract papers of a high scientific quality as well as high quality experience papers describing the pros and cons o...

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sec...

This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certificatio...

Delphi 3 is a true object oriented, visual programming environment. If you need to write complex applications for Windows 95, Delphi is an excellent choice. Many professional developers considered that the user interface and the facilities that Delphi 2.0 offers were superior to any other programming environment. Delphi 3 has an improved user interface and offers many additional features. One of the most exciting recent developments has been ActiveX. Delphi 3.0 has all the tools that you need to...

This volume contains the proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), held in Kinsale, Ireland, from September 29 to October 3, 2003. Detailed information about the CP 2003 conference can be found at the URL http://www.cs.ucc.ie/cp2003/ The CP conferences are held annually and provide an international forum for the latest results on all aspects of constraint programming. Previous CP conferences were held in Cassis (France) in 1...

Das Buch ist eine Einführung in die Programmiersprache Java. In den ersten Kapiteln werden die Grundlagen behandelt: Klassen, Objekte, Interfaces und Pakete. Weitere Kapitel befassen sich mit Benutzeroberflächen, der Ausnahmebehandlung, der Threadprogrammierung, mit Client/Server-Implementierung, Javas Sicherheitsmechanismen und dem Aufruf entfernter Methoden. Alle Sprachkonstrukte und die verwendeten Klassen der Java-Standardbibliothek werden an Beispielen verdeutlicht. An die einzelnen Kapitel...

Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustra...

This book developed out of a series of publications in the area of image processing with massively parallel algorithms. The topic of image processing is a particularly promising area for the use of synchronous massively parallel or data-parallel compu­ ter systems which work according to the SIMD principle (single instruction, multiple data). While the era of large SIMD super-computers has passed, SIMD systems have come back as dedicated vision subsystems and will soon be found even in embedded...

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.   The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of Requirements; Tracelink Quality; Requirements Management (Research Previews); From Vision to Specif...

Der Autor schafft auf didaktisch kluge Weise einen Weg in die Welt der Objektorientierten Programmierung. Er beschreibt die entsprechenden Konzepte nicht einfach nur, sondern erklärt darüber hinaus auch Hintergründe und Zusammenhänge. Seinem Blick fürs Wesentliche kombiniert er mit einer lockeren Erzählweise.  Lernen Sie die grundlegenden Konzepte der Programmierung mit Java kennen. Gewinnen Sie Einblicke in das Paradigma der Objektorientierten Programmierung. Dieses Buch zeigt Ihnen viele int...

An introductory COBOL package complete with an educational version of the CA-realia classroom COBOL compiler and convenience disk. This introduction covers the basic COBOL elements and features, preparing students for conversions in industry. Instructor's resource available (0-13-138694-8).

Now available in paperback— With Beginning C: From Novice to Professional, Fourth Edition, you'll come to understand the fundamentals of the C language and learn how to program. All you need is this book and any one of the widely available free or commercial C or C++ compilers, and you'll soon be writing real C programs. You'll learn C from the first principles, using step-by-step working examples that you'll create and execute yourself. This book will increase your programming experti...

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

This book contains a refereed collection of thoroughly revised full papers based on the contributions accepted for presentation at the International Workshop on Studies of Software Design, held in conjunction with the 1993 International Conference on Software Engineering, ICSE'93, in Baltimore, Maryland, in May 1993. The emphasis of the 13 papers included is on methods for studying, analyzing, and comparing designs and design methods; the topical focus is primarily on the software architecture l...