Volume 24; Issue 2

Science of Computer Programming

Volume 24; Issue 2

1

Proving properties of real-time semaphores

David Scholefield

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 1.46 MB

english, 1995

2

The matrix as in-situ data structure

Anne Kaldewaij, Laurens de Vries

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 512 KB

english, 1995

3

Predicate transformers for reasoning about concurrent computation

K.Mani Chandy, Beverly A Sanders

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

4

Formal specification and design, Cambridge tracts in theoretical computer science: L.M.G. Feijs and H.B.M Jonkers, (Cambridge University Press, 1992) (hardback), ISBN 0-521-43457-2

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 154 KB

english, 1995

5

Verifying programs that use causally-ordered message-passing

Scott D Stoller, Fred B Schneider

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 1.49 MB

english, 1995

6

Compared to what? An introduction to the analysis of algorithms: Gregory J.E. Rawlins, (Freeman, New York, 1992), ISBN 0-7167-8243-X, xxvi + 536 pages

Peter van Emde Boas

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 238 KB

english, 1995

7

Two-level functional languages, Cambridge tracts in computer science, vol. 34: F. Nielson and H.R. Nielson, (Cambridge University Press, 1992)

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 154 KB

english, 1995