Programming R. Morris

Cached

Download Links

by Techniques Editor Technique , D. L. Parnas

Active Bibliography

3 A case against the GOTO – William A. Wulf - 1972
1179 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
Programming J.J. Homing Languages Editor Automatic Error Recovery for LR Parsers – M. Dennis Mickunas, John A. Modry
Kohavi Switching and Finite Automata Theory – Richard W. Hamming, Edward A. Felgenbaum
Additional Key Words and Phrases: Sorting in-place – Gianni Franceschini
10 Practical In-Place Mergesort – Jyrki Katajainen, Tomi Pasanen, Jukka Teuhola - 1996
2 An Experimental Study of Sorting and Branch Prediction – Paul Biggar, Nicholas Nash, Kevin Williams, David Gregg
APPROVED BY THE COMMITTEE ON GRADUATE DEGREES – Jay Earley, Datir Jay Earley
9 An In-Place Sorting with O(n log n) Comparisons and O(n) Moves – Gianni Franceschini, Viliam Geffert - 2003
LINGO, A DYNAMIC SYNTAX DIRECTED COMPILER* – Edward A. Burfine
Find Refined – Roland Backhouse - 2001
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
2 Efficient Randomized Algorithms for Robust Estimation of Circular Arcs and Aligned Ellipses – David M. Mount, Nathan S. Netanyahu - 2001
1 Building Satisfiability Procedures for Verification: The Case Study of Sorting Algorithms – Abdessamad Imine, Silvio Ranise, Loria Inria-lorraine - 2003
Context Logic and Tree Update – Uri Zarfaty
Formal Verification of a Merge-Sort Program with Static Semantics – Paul E. Black, George Becker, Neil V. Murray - 1998
1 Software Evolution – Meir Lehman, Juan C. Fernández-ramil
A Primer on Separation Logic (and Automatic Program Verification and Analysis) – Peter W. O’hearn
Ribbon Proofs for Separation Logic A verification pearl – John Wickerson, Mike Dodds, Matthew Parkinson