Volume 77; Issue 2-4

Information Processing Letters

Volume 77; Issue 2-4
1

A simple proof technique for priority-scheduled systems

James H. Anderson, Mark Moir, Srikanth Ramamurthy
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 63 KB
english, 2001
2

Bucking the trends

D.W. Braben
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 64 KB
english, 2001
3

The joy of formula manipulation

W.H.J. Feijen
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 56 KB
english, 2001
4

Annotation inference for modular checkers

Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 94 KB
english, 2001
5

Derivation of a rotator circuit with homogeneous interconnect

H.Peter Hofstee, Jun Sawada
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 101 KB
english, 2001
6

Real estate of names

K.Rustan M. Leino
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 35 KB
english, 2001
7

On the desirability of mechanizing calculational proofs

Panagiotis Manolios, J Strother Moore
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 74 KB
english, 2001
8

The music of streams

M.Douglas McIlroy
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 70 KB
english, 2001
9

A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation

Jayadev Misra
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 54 KB
english, 2001
10

The shortest path in parallel

Beverly A. Sanders
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 61 KB
english, 2001
11

Under the spell of Leibniz's dream

Edsger W. Dijkstra
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 84 KB
english, 2001
12

The associativity of equivalence and the Towers of Hanoi problem

Roland Backhouse, Maarten Fokkinga
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 58 KB
english, 2001
13

Model-based specification

Lex Bijlsma
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 71 KB
english, 2001
14

Elements of security: Closure, convergence, and protection

Mohamed G. Gouda
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 53 KB
english, 2001
15

Available stabilizing heaps

Ted Herman, Toshimitsu Masuzawa
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 83 KB
english, 2001
16

Legacy

Tony Hoare
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 64 KB
english, 2001
17

Formality works

Rob R. Hoogerwoord
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 55 KB
english, 2001
18

Recovering distributed objects

Jerry James, Ambuj K. Singh
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 205 KB
english, 2001
19

Optimal real-time garbage collection for acyclic pointer structures

Anne Kaldewaij, Laurens de Vries
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 57 KB
english, 2001
20

State-level and value-level simulations in data refinement

William Leal, Anish Arora
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 125 KB
english, 2001
21

Towards an energy complexity of computation

Alain J. Martin
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 87 KB
english, 2001
22

Calculating sharp adaptation rules

David A. Naumann
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 82 KB
english, 2001
23

On the role of formal methods in security

Josyula R. Rao
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 68 KB
english, 2001
24

From the Editors of this special issue

Vicki L. Almstrum, David Gries
Journal:
Information Processing Letters
Year:
2001
Language:
english
File:
PDF, 758 KB
english, 2001