Volume 90,
Number 1,
1991
Images of Programming,
Dedicated to the Memory of Andrei P. Ershov
- Donald E. Knuth:
Theory and Practice.
1-15
- Igor V. Pottosin:
Analysis of Program Optimization Possibilities and Further Development.
17-36
- Victor N. Kasyanov:
Transformational Approach to Program Concretization.
37-46
- Mikhail A. Bulyonkov:
From Partial Evaluation to Mixed Computation.
47-60
- Yoshihiko Futamura, Kenroku Nogi, Akihiko Takano:
Essence of Generalized Partial Computation.
61-79
- V. E. Itkin:
An Algebra of Mixed Computation.
81-93
- Neil D. Jones:
Static Semantics, Types, and Binding Time Analysis.
95-118
- Wladyslaw M. Turski:
Prescribing Behaviors.
119-125
- J. W. de Bakker, J. H. A. Warmerdam:
Four Domains for Concurrency.
127-149
- Ludmila Cherkasova, Vadim E. Kotov:
An Algebra of Concurrent Non-Deterministic Processes.
151-170
- Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot:
Connectedness and Synchronization.
171-184
- Enn Tyugu:
Higher Order Dataflow Schemas.
185-198
- J. M. Barzdin, G. J. Barzdin:
Rapid Constructions of Algebraic Axioms From Samples.
199-208
- Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup:
On Conservative Extensions of Syntax in System Development.
209-233
- C. A. R. Hoare:
A Theory for the Derivation of Combinational C-MOS Circuit Designs.
235-251
- N. N. Nepejvoda:
A Bridge Between Constructive Logic and Computer Programming.
253-270
Volume 90,
Number 2,
1991
Copyright © Fri Mar 12 17:33:07 2010
by Michael Ley (ley@uni-trier.de)
