| Information flow inference for ML | 2003/01/01 | English | 61 |
| On the origins of bisimulation and coinduction | 2009/05/01 | English | 61 |
| Cache miss equations | 1999/07/01 | English | 60 |
| A machine-checked model for a Java-like language, virtual machine, and compiler | 2006/07/01 | English | 57 |
| Symbolic Debugging of Optimized Code | 1982/07/01 | English | 56 |
| Program locality analysis using reuse distance | 2009/08/01 | English | 56 |
| Information-flow and data-flow analysis of while-programs | 1985/01/02 | English | 55 |
| On the Construction of Submodule Specifications and Communication Protocols | 1983/01/01 | English | 54 |
| Programming with Equations | 1982/01/01 | English | 53 |
| Concurrent Reading While Writing | 1983/01/01 | English | 53 |
| Efficient implementation of lattice operations | 1989/01/01 | English | 53 |
| A Value Transmission Method for Abstract Data Types | 1982/10/01 | English | 52 |
| An Improved Context-Free Recognizer | 1980/07/01 | English | 52 |
| Type classes in Haskell | 1996/03/01 | English | 52 |
| The trace partitioning abstract domain | 2007/08/02 | English | 51 |
| A structural view of the Cedar programming environment | 1986/08/01 | English | 51 |
| A System for Assisting Program Transformation | 1982/01/01 | English | 51 |
| Techniques for debugging parallel programs with flowback analysis | 1991/10/01 | English | 49 |
| Synchronization in Distributed Programs | 1982/04/01 | English | 49 |
| WYSINWYX | 2010/08/01 | English | 49 |
| Type inference with polymorphic recursion | 1993/04/01 | English | 48 |
| An old-fashioned recipe for real time | 1994/09/01 | English | 48 |
| Code selection through object code optimization | 1984/10/01 | English | 48 |
| Floyd--hoare logic for quantum programs | 2011/12/01 | English | 47 |
| Synchronizing Resources | 1981/10/01 | English | 47 |
| The promotion and accumulation strategies in transformational programming | 1984/10/01 | English | 47 |
| The pitfalls of verifying floating-point computations | 2008/05/01 | English | 47 |
| Mobile safe ambients | 2003/01/01 | English | 47 |
| A semantics for advice and dynamic join points in aspect-oriented programming | 2004/09/01 | English | 46 |
| Computability classes for enforcement mechanisms | 2006/01/01 | English | 46 |