![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 11
Volume 11, Number 1, October 1988
- Barbara G. Ryder, Thomas J. Marlowe, Marvin C. Paull:
Conditions for incremental iteration: Examples and counterexamples. 1-15 - Carroll Morgan:
Procedures, parameters, and abstraction: Separate concerns. 17-27 - Prabhaker Mateti, Ravi Manghirmalani:
Morris' tree traversal algorithm reconsidered. 29-43 - Rudolf Berghammer, Herbert Ehler, Hans Zierer:
Towards an algebraic specification of code generation. 45-63 - Manfred Broy:
Views of queues. 65-86
Volume 11, Number 2, December 1988
- David A. Schmidt:
Detecting Stack-Based Environments in Denotational Definitions. 107-131 - Philippe Schnoebelen:
Refined Compilation of Pattern-Matching for Functional Languages. 133-159 - Jinyun Xue, David Gries
:
Developing a Linear Algorithm for Cubing a Cyclic Permutation. 161-165 - Martin Rem:
Small Programming Exercises 22. 167-173
Volume 11, Number 3, April 1989
- Jiazhen Cai, Robert Paige:
Program Derivation by Fixed Point Computation. 197-261 - Helmuth Partsch:
From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming. 263-297
![](https://dblp.org/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.