The emperor's old clothes

No abstract is available for this paper.

• Publication year

  1981

• Venue

  CACM

• Publication date

  1981-02-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/358549.358561
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• CONS Should Not Evaluate its Arguments

  1976cited by this paper
• A lazy evaluator

  1976cited by this paper
• A Discipline of Programming

  1976cited by this paper
• A new interpreter for data flow schemas and its implications for computer architecture

  1975cited by this paper
• Reduction languages for reduction machines

  1975cited by this paper
• First version of a data flow procedure language

  1974cited by this paper
• Programming language semantics and closed applicative languages

  1973cited by this paper
• Models for Various Type-Free Calculi

  1973cited by this paper
• Inductive methods for proving properties of programs

  1972cited by this paper
• Toward a mathematical semantics for computer languages

  1971cited by this paper
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept

  1970cited by this paper
• Outline of a Mathematical Theory of Computation

  1970cited by this paper
• An axiomatic basis for computer programming

  1969cited by this paper
• On the recursive programming techniques

  1964cited by this paper
• The Mechanical Evaluation of Expressions

  1964cited by this paper
• Recursive functions of symbolic expressions and their computation by machine, Part I

  1960cited by this paper
• The calculi of lambda-conversion

  1941cited by this paper

• Securing the Digital Frontier

  2025cites this paper
• Humanitarianism and the fourth industrial revolution: saving which lives?

  2025cites this paper
• Beyond the EPICS: comprehensive Python IOC development with QueueIOC

  2024cites this paper
• Does Every Computer Scientist Need to Know Formal Methods?

  2024cites this paper
• The most precious possession: The place of analogy in the work of Marshall McLuhan

  2024cites this paper
• When is good enough good enough? On software assurances

  2023cites this paper
• 20 Years of leanCoP - An Overview of the Provers

  2023cites this paper
• Safe Low-Level Code Without Overhead is Practical

  2023cites this paper
• Oaths and Socio-political Hierarchies in the Urban »Sworn Society«: South-west Germany in the Late Middle Ages

  2023cites this paper
• On the Cusp: Computing Thrills and Perils and Professional Awakening

  2023cites this paper
• Por um Ensino de Arquitetura de Computadores para Cursos de Sistemas de Informação

  2022cites this paper
• NHS Number Open Source Software: Implications for Digital Health Regulation and Development

  2022cites this paper
• Susanne Langer, Marshall McLuhan and media ecology: Feminist principles in humanist projects

  2021cites this paper
• A manifesto for applicable formal methods

  2021cites this paper
• Teaching at Belfast and Oxford

  2021cites this paper
• Bounds Checking on GPU

  2021cites this paper
• Finding Effective Abstractions

  2021cites this paper
• The Tyrant and the Martyr: Recent Research on Sovereignty and Theater

  2021cites this paper
• Schrödinger's Code

  2021cites this paper
• List of Tony Hoare’s Publications

  2021cites this paper
• What can sports governing bodies do to comply with EU antitrust rules while maintaining territorial exclusivity?

  2020cites this paper
• Development and Application of IT Systems in Biobank Studies

  2020cites this paper
• How to Test Your Program

  2020cites this paper
• Estranging information : media art’s pedagogical potential in the age of information capitalism

  2020cites this paper
• How to Choose a Programming Language

  2020cites this paper
• What Are Good Programs?

  2020cites this paper
• Smart Contracts Contracts

  2020cites this paper
• How to Make Your Program Clear

  2020cites this paper
• How to Improve Your Program

  2020cites this paper
• MATLAB doesn't love me: an essay

  2020cites this paper
• How to Make Sure You Don’t Lose Your Program

  2020cites this paper
• Hints and Principles for Computer System Design

  2020cites this paper
• A history of the Oz multiparadigm language

  2020cites this paper
• How to Go Beyond This Book

  2020cites this paper
• Index

  2020cites this paper
• What can sports governing bodies do to comply with EU antitrust rules while maintaining territorial exclusivity?

  2020cites this paper
• How to Write Good Programs

  2020cites this paper
• How to Use the Best Tools

  2020cites this paper
• Introduction

  2020cites this paper
• Towards a Socialist Technology

  2020cites this paper
• Understanding Programming Languages

  2020cites this paper
• How to Score Well in Coursework

  2020cites this paper
• How to Get Started

  2020cites this paper
• Bibliography

  2020cites this paper
• How to Understand Your Language

  2020cites this paper
• How to Score Well in a Programming Exam

  2020cites this paper
• Population Biobank Studies: A Practical Guide

  2020cites this paper
• How to Debug Your Program

  2020cites this paper
• How to Get Help (without Cheating)

  2020cites this paper
• Operating-System Support for Efficient Fine-Grained Concurrency in Applications

  2020cites this paper
• Awareness, involvement and detachment: Understanding McLuhan’s notions of the subliminal, Narcissus narcosis, figure/ground and the anti-environment

  2019cites this paper
• Petri Nets Are (Not Only) Distributed Automata

  2019cites this paper
• Personal programming and the object computer

  2019cites this paper
• Sur le pouvoir expressif des structures applicatives et monadiques indexées. (On the expressive power of indexed applicative and monadic structures)

  2019cites this paper
• Petri Nets Are (Not Only) Distributed Automata

  2019cites this paper
• Tony's law

  2019cites this paper
• Coding Guidelines

  2019cites this paper
• SolverCheck: Declarative Testing of Constraints

  2019cites this paper
• On the Development of Computer Science Among Mathematicians

  2018cites this paper
• New Opportunities for Integrated Formal Methods

  2018cites this paper
• In Memoriam David D. Caron (1952–2018)

  2018cites this paper
• Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?

  2018cites this paper
• Exceptionally Monadic Error Handling

  2018cites this paper
• Advances in Connection-Based Automated Theorem Proving

  2017cites this paper
• Limiting the undesired impact of cyber weapons: technical requirements and policy implications

  2016cites this paper
• Enhancing the Use of the Mobile Infrastructure in Cameroon. The Case of Bayam Sellam

  2016cites this paper
• The Open University ’ s repository of research publications and other research outputs Automated software engineering : supporting understanding

  2016cites this paper
• A Functional Approach to Library Construction for Conceptual Reasoning

  2016cites this paper
• An Introduction to the Symposium on Glen Coulthard's Red Skin, White Masks

  2016cites this paper
• Human factors and missed solutions to Enigma design weaknesses

  2016cites this paper
• On the Origin of Recursive Procedures

  2015cites this paper
• Programming Languages shouldn't be "too Natural"

  2015cites this paper
• Greek as an additional language (GAL) school students in Cyprus in late modernity : an ethnographic study of three parallel intensive Greek language classes in two Greek-Cypriot state primary schools

  2015cites this paper
• Ada: Past, Present, Future

  2015cites this paper
• From mathematical logic to programming-language semantics: a discussion with Tony Hoare

  2015cites this paper
• Early Nordic Compilers and Autocodes

  2014cites this paper
• Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service

  2014cites this paper
• Choice of Pedagogical Approaches towards First Programming Languages

  2014cites this paper
• Laws of Programming: The Algebraic Unification of Theories of Concurrency

  2014cites this paper
• An Evaluation Framework and Comparative Analysis of the Widely Used First Programming Languages

  2014cites this paper
• Algol in France: From Universal Project to Embedded Culture

  2014cites this paper
• Metamodeling generalization and other directed relationships in UML

  2014cites this paper
• ActivePapers: a platform for publishing and archiving computer-aided research

  2014cites this paper
• The Computing Universe: A Journey through a Revolution

  2014cites this paper
• The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study

  2014cites this paper
• Konzepte h ¨ oherer Programmiersprachen (Entwurf)

  2013cites this paper
• Applications of Dependable Computing Concepts to National Infrastructure Systems

  2013cites this paper
• NEW TRICKS

  2013cites this paper
• Toward a modular and efficient distribution for Web service handlers

  2013cites this paper
• The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types

  2013cites this paper
• Why (meta-)theories of automated software design are essential: A personal perspective

  2013cites this paper
• Exception Handling Defects: An Empirical Study

  2012cites this paper
• Perpetual development: A model of the Linux kernel life cycle

  2012cites this paper
• Structured Legislation: Toward the Synthesis of Better Law and Regulation of Electronic Communications

  2012cites this paper
• Science, Mathematics, Computer Science, Software Engineering

  2012cites this paper
• Separating Safety and Control Systems to Reduce Complexity

  2012cites this paper
• A Framework for the Assessment of First Programming Language

  2012cites this paper
• Incremental research vs. paradigm-shift mania

  2012cites this paper
• Developing a Program Logic for the SPARK Programming Language

  2012cites this paper
• Heedless programming: ignoring detectable error is a widespread hazard

  2012cites this paper