Listing 1 - 10 of 14 | << page >> |
Sort by
|
Choose an application
Choose an application
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly-coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
Choose an application
Choose an application
Choose an application
Choose an application
Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).
Programming --- Programming languages (Electronic computers) --- -Object-oriented programming (Computer science) --- -681.3*D20 --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Congresses --- Case studies --- Computerwetenschap--?*D20 --- Object-oriented programming languages --- 681.3*D20 --- Object-oriented languages (Computer program languages) --- OO languages (Computer program languages) --- OOLs (Computer program languages) --- OOP languages (Computer program languages) --- Object-oriented programming (Computer science) --- Object-oriented programming (Computer science) - Congressses. --- Programming languages (Electronic computers) - Congresses. --- Computer science. --- Software engineering. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Language pool --- Lotos
Choose an application
Computer science --- 681.3 *C2 --- 681.3*B1 --- 681.3*C1 --- 681.3*D4 --- 681.3*D41 --- Computer communication networks: data communications; OSI; security and protection --- Control structures and microprogramming--(hardware) --- Processor architectures (Computer systems organization) --- Operating systems--See also {681.3*C} --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*C1 Processor architectures (Computer systems organization) --- 681.3*B1 Control structures and microprogramming--(hardware) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Software engineering. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Logics and Meanings of Programs. --- Models and Principles. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering
Choose an application
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.
Programming --- Computer science --- Computer architecture. Operating systems --- 681.3 *C2 --- 681.3*D13 --- 681.3*F1 --- 681.3*F3 --- Computer communication networks: data communications; OSI; security and protection --- Concurrent programming --- Computation by abstract devices --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F1 Computation by abstract devices --- 681.3*D13 Concurrent programming --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Computer science. --- Microprogramming. --- Computer Communication Networks. --- Operating systems (Computers). --- Data structures (Computer scienc. --- Programming Techniques. --- Control Structures and Microprogramming. --- Processor Architectures. --- Operating Systems. --- Data Structures. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer programming --- Informatics --- Science --- Operating systems
Choose an application
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.
Electronic data processing --- Traitement réparti --- Distributed processing --- Congresses --- Congrès --- -681.3*D13 --- 681.3*F3 --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Concurrent programming --- Logics and meanings of programs (Theory of computation) --- Automation --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D13 Concurrent programming --- Traitement réparti --- Congrès --- 681.3*D13 --- Distributed processing&delete& --- Computer network architectures. --- Logic design. --- Computer science. --- Computer Communication Networks. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Programming Techniques. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Choose an application
Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.
Programming languages (Electronic computers) --- Semantics --- Congresses --- Programming languages (Electronic computers) - Semantics - Congresses. --- Computer science. --- Data structures (Computer scienc. --- Logic design. --- Software engineering. --- Programming Languages, Compilers, Interpreters. --- Data Structures and Information Theory. --- Logics and Meanings of Programs. --- Programming Techniques. --- Software Engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science
Listing 1 - 10 of 14 | << page >> |
Sort by
|