Skip to main content

Fatal abstraction

Friedrich Steimann

DOI 10.1145/3276954.3276966 dblp BibTeX

Abstract

Abstraction is broadly considered a key asset in the making of software. However, the author finds that uncritical belief in abstraction puts software development at a substantial risk of failure. His essay combines some personal observations with more general concerns regarding the potential fatality of abstraction.

Related papers

Haskell Library for Safer Virtual Machine Introspection (Experience Report) Haskell 2023
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier CAV 2021
POP-PL: A Patient-Oriented Prescription Programming Language TOPLAS 2018
Abstract Interpretation over Infinite Abstract Domains (Tentative Report) APLAS 2001
Transforming Abstract Interpretations by Abstract Interpretation SAS 2008
Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract) SAS 1997
Abstract Local Completeness - A Local Form of Abstract Non-interference VMCAI 2025
Abstract non-interference: parameterizing non-interference by abstract interpretation POPL 2004