Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

>> Google Books

Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings / edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg

版:

1st ed. 1993

資料種別:

電子ブック

形態:

IX, 667 p.

シリーズ名:

Lecture Notes in Computer Science ; 666

著者名:

ISBN:

9783540475958 [3540475958]
9783662209080 [366220908X]
9783540565963 [3540565965]

書誌ID:

EB00003972

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

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

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Data Structures and Information Theory; Programming Techniques; Software Engineering

目次情報:

ブックレビュー

類似資料:

1 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 Bakker, J.W. de., Roever, W.P. de., Rozenberg, G., SpringerLink (Online service)	7 電子ブック Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings Bakker, Jaco W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service)
2 電子ブック A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. … Bakker, J.W.de., Roever, W.-P.de., Rozenberg, G., SpringerLink (Online service)	8 電子ブック Distributed Applications and Interoperable Systems : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings Kutvonen, Lea., SpringerLink (Online service)
3 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings (: gw ; : us) REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	9 電子ブック Ada: Moving Towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings Katwijk, Jan van., SpringerLink (Online service)
4 電子ブック Real-Time: Theory in Practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings Bakker, J.W.de., Huizing, C., Roever, W.P.de., Rozenberg, G., SpringerLink (Online service)	10 電子ブック Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings Steffen, Martin., Zavattaro, Gianluigi., SpringerLink (Online service)
5 電子ブック Current Trends in Concurrency : Overviews and Tutorials Bakker, Jacobus W. De., Roever, Willem-Paul De., Rozenberg, Grzegorz., SpringerLink (Online service)	11 電子ブック FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September … Fitzgerald, John., Jones, Cliff B., Lucas, Peter., SpringerLink (Online service)
6 電子ブック Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. … Main, Michael G., Melton, Austin C., Mislove, Michael W., Schmidt, David A., SpringerLink (Online service)	12 電子ブック Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12