Gaussian Elimination: A case study in efficient genericity with MetaOCaml

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

On the criteria to be used in decomposing systems into modules

David Lorge Parnas · Communications of the ACM · 1972 · 4.7K citations · Full text

Engineering, Computer Science, Systems Engineering +16

FFTW: an adaptive software architecture for the FFT

Matteo Frigo, Steven G. Johnson · 2002 · 1.8K citations

Engineering, Computer Engineering, Computer Science +14

Automated empirical optimizations of software and the ATLAS project

R. Clint Whaley, Antoine Petitet, Jack Dongarra · Parallel Computing · 2001 · 1.3K citations

Computing, Computer Science, Computer Systems +11

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8