Theoretical Computer Science · 1982 · 132 citations · 17 references
ComputingComputer ScienceAlgebraFormal MethodsProgramming LanguagesAbstract Syntax TreesData RepresentationData TypesData-flow AnalysisType CheckingType SystemsAbstract Data TypesAbstract TypesAlgebraic LanguageAlgebraic SemanticsAlgebraic Specification
17
The notions of consistency and predicate locks in a database system
Kapali P. Eswaran, Jim Gray, Raymond A. Lorie et al. · Communications of the ACM · 1976 · 2K citations · Full text
Program development by stepwise refinement
Niklaus Wirth · Communications of the ACM · 1971 · 959 citations · Full text
Computing, Computer Science, Building Information Modeling +5
Olle Dahl, E. Dijkstra, C. A. R. Hoare · 1972 · 890 citations
Programming with abstract data types
Barbara Liskov, Stephen N. Zilles · 1974 · 736 citations · Full text
Abstract data types and the development of data structures
John V. Guttag · Communications of the ACM · 1977 · 462 citations · Full text