![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 22
Volume 22, Numbers 1-2, April 1994
- Carroll Morgan:
Foreword: Special Issue on Mathematics of Program Construction. Sci. Comput. Program. 22(1-2): 1-2 (1994) - Roland Carl Backhouse
, J. P. H. W. van den Eijnde, A. J. M. van Gasteren:
Calculating Path Algorithms. 3-19 - Paul H. B. Gardiner, Clare E. Martin
, Oege de Moor:
An Algebraic Construction of Predicate Transformers. 21-44 - H. Peter Hofstee:
Distributing a Class of Sequential Programs. 45-65 - Paul F. Hoogendijk, Roland Carl Backhouse
:
Relational Programming Laws in the Tree, List, Bag, Set Hierarchy. 67-105 - Geraint Jones, Mary Sheeran:
Designing Arithmetic Circuits by Refinement in Ruby. 107-135 - Johan J. Lukkien:
Operational Semantics and Generalized Weakest Preconditions. 137-155 - Bernhard Möller, Martin Russling:
Shorter Paths to Graph Algorithms. 157-180
Volume 22, Number 3, June 1994
- Bernd Krieg-Brückner:
Foreword: Selected Papers of ESOP'92. Sci. Comput. Program. 22(3): 181-182 (1994) - Olivier Danvy
:
Back to Direct Style. 183-195 - Fritz Henglein:
Dynamic Typing: Syntax and Proof Theory. 197-230 - Mark P. Jones:
A Theory of Qualified Types. 231-256 - Jean-Marie Larchevêque:
Interprocedural Type Propagation for Object-Oriented Languages. 257-282 - Chris Hankin, Sebastian Hunt
:
Approximate Fixed Points in Abstract Interpretation. 283-306 - John Hughes, John Launchbury:
Reversing Abstract Interpretations. 307-326 - Flemming Nielson
, Hanne Riis Nielson
:
The Tensor Product in Wadler's Analysis of Lists. 327-354
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.