default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
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.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
