WorldCat Identities

Bakker, J. W. de (Jacobus Willem) 1939-

Overview
Works: 271 works in 913 publications in 3 languages and 8,544 library holdings
Genres: Conference papers and proceedings  Science fiction 
Roles: Author, Editor, Thesis advisor, Other, Contributor, edi
Classifications: QA76.5, 004.35
Publication Timeline
.
Most widely held works by J. W. de Bakker
Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings by J. W. de Bakker( Book )

24 editions published in 1991 in English and held by 537 WorldCat member libraries worldwide

"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)."--PUBLISHER'S WEBSITE
Current trends in concurrency : overviews and tutorials by J. W. de Bakker( Book )

20 editions published in 1986 in English and Italian and held by 522 WorldCat member libraries worldwide

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 by J. W. de Bakker( Book )

19 editions published in 1989 in English and held by 505 WorldCat member libraries worldwide

Modelling the behaviour of concurrent and distributed systems has grown into one of the most challenging and vigorous research areas within theoretical computer science. The last decade has seen the emergence of three independent approaches to this problem, some of them capturing differences between systems that others ignore. The first one models a system by describing its execution runs, the second one by analysing the execution trees, and the third one models a system by describing the (in)dependencies and choices between the various events that may occur. Paradigmatic for these approaches are semantic domains with linear or branching elements, linear time and branching time temporal logic, and net theory. Although it seems that the more features a system captures the better, if one wants some measure of abstractness and parsimony, some of such features may be too detailed for a given level of description. This volume reviews these intrinsically different approaches and evaluates their relative advantages
Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings by J. W. de Bakker( Book )

17 editions published in 1990 in English and held by 484 WorldCat member libraries worldwide

"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."--Publisher's website
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings by J. W. de Bakker( Book )

12 editions published in 1993 in English and held by 458 WorldCat member libraries worldwide

"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."--PUBLISHER'S WEBSITE
Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings by J. W. de Bakker( Book )

15 editions published in 1992 in 4 languages and held by 435 WorldCat member libraries worldwide

"In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions."--PUBLISHER'S WEBSITE
Logic programming languages : constraints, functions, and objects by Krzysztof R Apt( Book )

12 editions published in 1993 in English and held by 413 WorldCat member libraries worldwide

"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming."
A decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings by J. W. de Bakker( Book )

16 editions published between 1985 and 1994 in English and held by 403 WorldCat member libraries worldwide

"The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency."--PUBLISHER'S WEBSITE
Mathematical theory of program correctness by J. W. de Bakker( Book )

15 editions published in 1980 in English and held by 389 WorldCat member libraries worldwide

2040-2045. In the years after the cataclysmic Yellowstone eruption there is massive economic dislocation as populations flee Datum Earth to myriad Long Earth worlds. Sally is contacted by her long-vanished father and inventor of the original Stepper device, Willis Linsay. He tells her he is planning a fantastic voyage across the Long Mars and wants her to accompany him. U.S. Navy Commander Maggie Kauffman has embarked on an incredible journey of her own, leading an expedition to the outer limits of the far Long Earth. Joshua becomes embroiled in the plight of the Next: the super-bright post-humans who are beginning to emerge from their "long childhood" in the community called Happy Landings, located deep in the Long Earth. A dramatic showdown seems inevitable
Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 by languages and programming International colloquium on automata( Book )

12 editions published between 1979 and 1980 in English and held by 379 WorldCat member libraries worldwide

Languages for parallel architectures : design, semantics, implementation models( Book )

9 editions published in 1989 in English and held by 256 WorldCat member libraries worldwide

PARLE, parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15-19, 1987 : proceedings by Conference on Parallel Architectures and Languages Europe( Book )

3 editions published in 1987 in English and held by 249 WorldCat member libraries worldwide

Control flow semantics by J. W. de Bakker( Book )

10 editions published in 1996 in English and Undetermined and held by 221 WorldCat member libraries worldwide

Parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15-19, 1987, proceedings by J. W. de Bakker( )

13 editions published in 1987 in English and held by 216 WorldCat member libraries worldwide

Recursive procedures by J. W. de Bakker( Book )

17 editions published between 1971 and 1973 in English and held by 200 WorldCat member libraries worldwide

Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages by International Symposium on Algorithmic Languages( Book )

23 editions published in 1981 in English and Undetermined and held by 192 WorldCat member libraries worldwide

Mathematics and computer science : proceedings of the CWI symposium, November 1983 by Centrum Voor Wiskunde En Informatica( Book )

19 editions published in 1986 in English and held by 191 WorldCat member libraries worldwide

Formal definition of programming languages. With an application to the definition of algol 60 by J. W. de Bakker( Book )

25 editions published between 1967 and 1993 in English and held by 154 WorldCat member libraries worldwide

Foundations of computer science by Netherlands) Mathematisch Centrum (Amsterdam( Book )

12 editions published in 1975 in English and Undetermined and held by 137 WorldCat member libraries worldwide

MC-25 Informatica Symposium; [lectures] by J. W. de Bakker( Book )

15 editions published between 1971 and 1973 in English and Undetermined and held by 130 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.56 for Logic prog ... to 0.72 for Parallel a ...)

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
Covers
Current trends in concurrency : overviews and tutorialsLinear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedingsSemantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedingsReal-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedingsA decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedingsAutomata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980PARLE, parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15-19, 1987 : proceedings
Alternative Names
Bakker, J.

Bakker, J. W.

Bakker, J. W. 1939-

Bakker J.W. de

Bakker, J. W. de 1939-

Bakker, J. W. de 1939-2012

Bakker, J. W. de (Jacobus Willem), 1939-

Bakker Jaco de

Bakker, Jaco de 1939-

Bakker, Jaco de 1939-2012

Bakker, Jaco W. de 1939-2012

Bakker, Jacobus Willem de.

Bakker, Jacobus Willem de 1939-

Bakker, Jacobus Willem de 1939-2012

De Bakker, J. W.

De Bakker, J. W. 1939-

De Bakker J.W. de

De Bakker, J. W. (Jacobus Willem), 1939-

De Bakker, Jaco.

De Bakker, Jacobus W. 1939-2012

De Bakker Jacobus Willem

debakker, j. w.

DeBakker, Jaco W. 1939-2012

DeBakker, Jacobus W. 1939-2012

Jaco Bakker

Jaco de Bakker niederländischer theoretischer Informatiker

Languages
English (302)

Italian (2)

German (1)