Volume 37; Issue 1-3

Science of Computer Programming

Volume 37; Issue 1-3
1

Index

Year:
2000
Language:
english
File:
PDF, 25 KB
english, 2000
2

Erratum

Year:
2000
Language:
english
File:
PDF, 23 KB
english, 2000
3

Editorial

Year:
2000
Language:
english
File:
PDF, 31 KB
english, 2000
4

Computation calculus bridging a formalization gap

Year:
2000
Language:
english
File:
PDF, 169 KB
english, 2000
5

Generic downwards accumulations

Year:
2000
Language:
english
File:
PDF, 162 KB
english, 2000
6

Generalising monads to arrows

Year:
2000
Language:
english
File:
PDF, 207 KB
english, 2000
7

A semantic approach to secure information flow

Year:
2000
Language:
english
File:
PDF, 132 KB
english, 2000
8

A calculational approach to reactive systems

Year:
2000
Language:
english
File:
PDF, 141 KB
english, 2000
9

Convergence of program transformers in the metric space of trees

Year:
2000
Language:
english
File:
PDF, 424 KB
english, 2000
10

Costing parallel programs as a function of shapes

Year:
2000
Language:
english
File:
PDF, 153 KB
english, 2000
11

Shapeliness analysis of functional programs with algebraic data types

Year:
2000
Language:
english
File:
PDF, 342 KB
english, 2000
12

A calculus of functional BSP programs

Year:
2000
Language:
english
File:
PDF, 267 KB
english, 2000
13

A methodology for hardware verification using compositional model checking

Year:
2000
Language:
english
File:
PDF, 438 KB
english, 2000