|
3
|
A case against the GOTO
– William A. Wulf
- 1972
|
|
1048
|
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
|
|
8
|
Practical In-Place Mergesort
– Jyrki Katajainen, Tomi Pasanen, Jukka Teuhola
- 1996
|
|
1
|
An Experimental Study of Sorting and Branch Prediction
– Paul Biggar, Nicholas Nash, Kevin Williams, David Gregg
|
|
|
Find Refined
– Roland Backhouse
- 2001
|
|
9
|
On the Search for Tractable Ways of Reasoning about Programs
– C. B. Jones
- 2001
|
|
6
|
Migrant Threads on Process Farms: Parallel Programming with Ariadne
– Edward Mascarenhas, Vernon Rego
- 1995
|
|
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
|
|
7
|
Programming with Variable Functions
– Martin Odersky
- 1998
|
|
|
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
|
|
28
|
Efficient Construction of Program Dependence Graphs
– Mary Jean Harrold, Brian Malloy, Gregg Rothermel
- 1993
|
|
26
|
Building Certified Libraries for PCC: Dynamic Storage Allocation
– Dachuan Yu, Nadeem A. Hamid, Zhong Shao
- 2003
|
|
4
|
Linear Logic and Imperative Programming
– Limin Jia
- 2008
|
|
1
|
Local Reasoning about Web Programs
– Gareth David Smith
- 2010
|
|
|
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
– Peter W. O’hearn
|
