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