The 1980 ACM Turing Award Lecture

@article{Hoare2021The1A,
  title={The 1980 ACM Turing Award Lecture},
  author={Charles Antony Richard Hoare},
  journal={Theories of Programming},
  year={2021}
}
  • C. Hoare
  • Published 4 October 2021
  • Computer Science
  • Theories of Programming
The 1981 A(2M Turing Award was presented to Edgar F. Codd, an IBM Fellow of the San Jose Research Laboratory, by President Peter Denning on November 9, 1981 at the A(2M Annual Conference in Los Angeles, California. It is the Association's foremost award for technical contributions to the computing community. (2odd was selected by the A(2M General Technical Achievement Award (2ommittee for his "fundamental and continuing contributions to the theory and practice of database management systems… 
A Subjective Logic Library Constructed Using Monadic Higher Order Functions
TLDR
This work presents a complete design for a library of opinion data structures and operators constructed from higher order functions that are capable of representing and evaluating well-formed expressions of Subjective Logic.
Translating Concurrent Programsinto Petri Nets for Synthesisof AsynchronousCir cuits
We introducea high-level synthesismethodology to automaticallysynthesizeasynchronouscircuitsfroma concurrent language called ALEPH. ALEPH is a high-level concurrent algorithmic specificationthat can
Socio-PLT: principles for programming language adoption
TLDR
This work argues for examining the sociological groundings of programming language theory: socio-PLT to understand the social foundations of languages and examines implications for the design space of language features and the assessment of scientific research into programming languages.
Investigating and explaining sex differences in episodic memory
Sex differences can be seen in a lot of different areas, one of them being cognition where, among other things, men tend to perform better at more spatial tasks and women at more verbal. When it
A Responsible Machine Learning Workflow with Focus on Interpretable Models, Post-hoc Explanation, and Discrimination Testing
TLDR
A template workflow for machine learning applications that require high accuracy and interpretability and that mitigate risks of discrimination is provided to provide a viable approach for training and evaluating machine learning systems for high-stakes, human-centered, or regulated applications using common Python programming tools.

References

SHOWING 1-10 OF 36 REFERENCES
The design and implementation of INGRES
The currently operational (March 1976) version of the INGRES database management system is described. This multiuser system gives a relational view of data, supports two high level nonprocedural data
Introduction to a system for distributed databases (SDD-1)
TLDR
This paper presents an overview of the SDD-1 design and its solutions to the above problems.
A Formal Approach to Null Values in Database Relations
  • J. Biskup
  • Mathematics, Computer Science
    Advances in Data Base Theory
  • 1979
TLDR
The view that tuples denote statements of predicate logic about database relations is adopted, which means that a null value of the first kind and the second kind corresponds to an existentially quantified variable, respectively universally quantified variables.
An authorization mechanism for a relational database system
TLDR
A multiuser database system must selectively permit users to share data, while retaining the ability to restrict data access, and an algorithm for detecting exactly which of B's grants should be revoked is presented.
Theory of Relations for Databases - A Tutorial Survey
TLDR
This is an account of a theory of relations that has advanced from Codd's relational model of data for databases that deals with syntactic characterizations of the closed families of functional, multivalued, and general join dependencies that hold in relations.
A Sophisticate's Introduction to Database Normalization Theory
TLDR
This paper is intended to serve the two-fold purpose of introducing the main issues and theorems of formal database semantics to the uninitiated, and to clarify the terminology of the field.
A relational model of data for large shared data banks
  • E. Codd
  • Medicine, Computer Science
    CACM
  • 1970
TLDR
A model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.
Extending the database relational model to capture more meaning
  • E. Codd
  • Computer Science
    ACM Trans. Database Syst.
  • 1979
TLDR
This paper proposes extensions to the relational model to support certain atomic and molecular semantics, a synthesis of many ideas from the published work in semantic modeling plus the introduction of new rules for insertion, update, and deletion, as well as new algebraic operators.
An Access Specification Language for a Relational Data Base System
TLDR
It is conjecture that the introducing of an access specification language provides a conceptual platform for the handling of the "optimization" problem and is implemented as a target language for the optimizer part of the complier.
A history and evaluation of System R
TLDR
The three principal phases of the System R project are described and some of the lessons learned from System R about the design of relational systems and database systems in general are discussed.
...
1
2
3
4
...