The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- Proof rules for fault tolerant distributed programs (Q1085970) (← links)
- Logic programming and rapid prototyping (Q1091109) (← links)
- Small programming exercises 18 (Q1091114) (← links)
- Small programming exercises 19 (Q1091115) (← links)
- A Hoare-like proof system for analysing the computation time of programs (Q1091122) (← links)
- Linear prime-number sieves: A family tree (Q1092658) (← links)
- On deriving a LISP program from its specification (Q1095635) (← links)
- Small programming exercises 20 (Q1095637) (← links)
- Partially interpreted schemas for CSP programming (Q1095639) (← links)
- Nondeterministic data flow programs: How to avoid the merge anomaly (Q1095640) (← links)
- Computability and implementability issues in abstract data types (Q1095645) (← links)
- A correctness proof of sorting by means of formal procedures (Q1096378) (← links)
- The categorical abstract machine (Q1097043) (← links)
- Derivation of a parsing algorithm in Martin-Löf's theory of types (Q1097045) (← links)
- REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies (Q1097686) (← links)
- The origin of a binary-search paradigm (Q1098328) (← links)
- Statecharts: a visual formalism for complex systems (Q1098612) (← links)
- Some algorithms based on the dual of Dilworth's theorem (Q1100917) (← links)
- Deriving some expansion theorems for nonlinear functional equations by an algorithm (Q1101202) (← links)
- Symbolic evaluation with structural recursive symbolic constants (Q1101205) (← links)
- A heuristic explanation of Batcher's baffler (Q1102117) (← links)
- Small programming exercises 21 (Q1102730) (← links)
- Linearisation: An optimisation for nonlinear functional programs (Q1102731) (← links)
- A `division' transformation for program and data structures and the structure clash problem (Q1102733) (← links)
- Efficient handling of data structures in definitional languages (Q1102735) (← links)
- Verification of programs that destructively manipulated data (Q1104731) (← links)
- The derivation of graph marking algorithms from distributed termination detection protocols (Q1104744) (← links)
- McLaren's masterpiece (Q1106015) (← links)
- Automatic binding time analysis for a typed \(\lambda\)-calculus (Q1107512) (← links)
- Small programming exercises 22 (Q1109555) (← links)
- Detecting stack-based environments in denotational definitions (Q1112581) (← links)
- Procedures, parameters, and abstraction: Separate concerns (Q1113659) (← links)
- Conditions for incremental iteration: Examples and counterexamples (Q1113663) (← links)
- Views of queues (Q1116323) (← links)
- Towards an algebraic specification of code generation (Q1121033) (← links)
- Morris' tree traversal algorithm reconsidered (Q1122985) (← links)
- Refined compilation of pattern-matching for functional languages (Q1123586) (← links)
- From informal requirements to a running program: A case study in algebraic specification and transformational programming (Q1123587) (← links)
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language (Q1124317) (← links)
- Developing a linear algorithm for cubing a cyclic permutation (Q1124329) (← links)
- An algorithm for transitive reduction of an acyclic graph (Q1124350) (← links)
- Obituary: Professor Nobuo Yoneda (28 March 1930--22 April 1996) (Q1126255) (← links)
- Differential logic programs: Programming methodologies and semantics (Q1126260) (← links)
- Memoizing purely functional top-down backtracking language processors (Q1126263) (← links)
- An operational semantics of sharing in lazy evaluation (Q1126266) (← links)
- Programming in a wide spectrum language: A collection of examples (Q1157137) (← links)
- Deductive synthesis of the unification algorithm (Q1157924) (← links)
- Systematic detection of exception occurrences (Q1158746) (← links)
- Bulterman's reshuffling problem (Q1162140) (← links)
- Formal specification of a display-oriented text editor (Q1162142) (← links)
