+612 9045 4394
 
CHECKOUT
Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA - David Gries

Programming Concepts and Methods PROCOMET '98

IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA

By: David Gries (Editor), Willem-Paul de Roever (Editor)

Hardcover

Published: 31st May 1998
Ships: 7 to 10 business days
7 to 10 business days
RRP $1005.99
$696.25
31%
OFF
or 4 easy payments of $174.06 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 22nd January 2013
    $474.87

This book constitutes the Proceedings of the IFIP Working Conference PRO­ COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is organized by the t'wo IFIP TC 2 Working Groups 2.2 Formal Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have been organizing these conferences every four years for over twenty years. The aim of such Working Conferences organized by IFIP Working Groups is to bring together leading scientists in a given area of computer science. Participation is by invitation only. As a result, these conferences distinguish themselves from other meetings by extensive and competent technical discus­ sions. PROCOMET stands for Programming Concepts and Methods, indicating that the area of discussion for the conference is the formal description of pro­ gramming concepts and methods, their tool support, and their applications. At PROCOMET working conferences, papers are presented from this whole area, reflecting the interest of the individuals in WG2.2 and WG2.3.

Preface
Extended static checkingp. 1
From lattices to practical formal hardware verificationp. 3
Programming with tabling in XSBp. 5
Verifying electronic control units: today and tomorrowp. 7
Teaching calculational logicp. 9
Types for treesp. 11
Structures for lazy semanticsp. 30
A proof theory of asynchronously communicating sequential processesp. 49
Bisimulations in the join-calculusp. 68
Using state space exploration and a natural deduction style message derivation engine to verify security protocolsp. 87
Programming language semantics in foundational type theoryp. 107
An algebraic approach to the specification of stochastic systemsp. 126
Refinement types for specificationp. 148
An extension of the program derivation formatp. 167
Deadlines are terminationp. 186
The design of a linearization of a concurrent data objectp. 205
Final semantics for the pi-calculusp. 225
Comparing CTL and PCTL on labeled Markov chainsp. 244
Reactive functional programmingp. 263
Imperative objects and mobile processesp. 285
Relating linear and branching model checkingp. 304
Verifying duration properties of timed transition systemsp. 327
Towards squiggly refinement algebrap. 346
Towards a theory of sequential hybrid programsp. 366
Test selection for object-oriented software based on formal specificationsp. 385
Logical foundations for typed object-oriented languagesp. 404
Verifying a self-stabilizing mutual exclusion algorithmp. 424
A combination of interval logic and linear temporal logicp. 444
A model of real-time distributed systemsp. 462
Index of contributorsp. 483
Keyword indexp. 485
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412837609
ISBN-10: 0412837609
Series: Ifip International Federation for Information Processing
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 486
Published: 31st May 1998
Publisher: SPRINGER VERLAG GMBH
Country of Publication: GB
Dimensions (cm): 23.39 x 15.6  x 2.69
Weight (kg): 0.87