On understanding data abstraction, revisited

No abstract is available for this paper.

• Publication year

  2009

• Venue

  Conference on Object-Oriented Programming Systems, Languages, and Applications

• Publication date

  2009-10-25

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1640089.1640133
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Programming in Scala: A Comprehensive Step-by-Step Guide, 2nd Edition

  2010cited by this paper
• Steps in Scala: The expression problem

  2010cited by this paper
• Modular Visitor Components: A Practical Solution to the Expression Families Problem

  2009cited by this paper
• Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither

  2009cited by this paper
• Modular Visitor Components

  2009cited by this paper
• Unfolding Abstract Datatypes

  2008cited by this paper
• Modular invariants for layered object structures

  2006cited by this paper
• Observational purity and encapsulation

  2005cited by this paper
• Java(TM) Language Specification

  2005influential reference
• ON TYPES AND PROGRAMMING LANGUAGES

  2004influential reference
• Independently Extensible Solutions to the Expression Problem

  2004cited by this paper
• Haskell 98 language and libraries : the revised report

  2003cited by this paper
• Ownership types for object encapsulation

  2003cited by this paper
• Concepts in programming languages

  2002cited by this paper
• Programming Languages: Principles and Paradigms

  2001cited by this paper
• Synthesizing Object-Oriented and Functional Design to Promote Re-Use

  1998cited by this paper
• Essential COM

  1998cited by this paper
• Modern languages and Microsoft's component object model

  1998cited by this paper
• Object Orientation with Parallelism and Persistence

  1996cited by this paper
• Programming languages (3rd ed.): design and implementation

  1995cited by this paper
• Objects and Classes, Co-Algebraically

  1995cited by this paper
• Theoretical aspects of object-oriented programming: types, semantics, and language design

  1994cited by this paper
• User-defined types and procedural data structures as complementary approaches to data abstraction

  1994cited by this paper
• Programming Languages: Principles and Practice

  1993cited by this paper
• A history of CLU

  1993cited by this paper
• The Geneva convention on the treatment of object aliasing

  1992cited by this paper
• Object-Oriented Multi-Methods in Cecil

  1992cited by this paper
• The C++ programming language (2nd ed.)

  1991cited by this paper
• Object-Oriented Programming Versus Abstract Data Types

  1990cited by this paper
• Definition of standard ML

  1990cited by this paper
• A denotational semantics of inheritance

  1989cited by this paper
• Communication and concurrency

  1989cited by this paper
• Interfaces for strongly-typed object-oriented programming

  1989cited by this paper
• Declarative Continuations and Categorical Duality

  1989cited by this paper
• How to make ad-hoc polymorphism less ad hoc

  1989cited by this paper
• Keynote address - data abstraction and hierarchy

  1988cited by this paper
• Object-oriented programming in scheme

  1988cited by this paper
• Abstract types have existential type

  1988cited by this paper
• The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

  1985cited by this paper
• Abstract types have existential types

  1985cited by this paper
• On understanding types, data abstraction, and polymorphism

  1985cited by this paper
• Modules for standard ML

  1984cited by this paper
• CLU Reference Manual

  1984cited by this paper
• A Semantics of Multiple Inheritance

  1984cited by this paper
• Reference Manual for the ADA® Programming Language

  1983influential reference
• The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

  1983cited by this paper
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems

  1983cited by this paper
• An axiomatic approach to semantics of specification languages

  1983cited by this paper
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types

  1982cited by this paper
• Programming in Modula-2

  1982cited by this paper
• Initial and final algebra semantics for data type specifications: two characterisation theorems : (preprint)

  1980cited by this paper
• DEMOS A System for Discrete Event Modelling on Simula

  1979cited by this paper
• An overview of the programming language Smalltalk-72

  1979cited by this paper
• The C Programming Language

  1978cited by this paper
• The Smalltalk-76 programming system design and implementation

  1978cited by this paper
• Putting Theories Together to Make Specifications

  1977cited by this paper
• An introduction to the construction and verification of Alphard programs

  1976cited by this paper
• LAMBDA: The Ultimate Declarative

  1976cited by this paper
• The specification and application to programming of abstract data types.

  1975cited by this paper
• Proof of correctness of data representation

  1975cited by this paper
• Programming Languages: Design and Implementation

  1975cited by this paper
• Programming with abstract data types

  1974cited by this paper
• Actor induction and meta-evaluation

  1973cited by this paper
• Concepts of programming languages

  1973cited by this paper
• Proof of correctness of data representations

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

  1941cited by this paper
• Encapsulation: a Linguistic Protection Technique

  year unknowncited by this paper

• Object Disorientation

  2025cites this paper
• Contract Systems Need Domain-Specific Notations (Artifact)

  2025cites this paper
• Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments

  2025cites this paper
• Teaching Software Specification (Experience Report)

  2025cites this paper
• Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection

  2025cites this paper
• Grokking the Sequent Calculus (Functional Pearl)

  2024cites this paper
• Deriving Dependently-Typed OOP from First Principles

  2024cites this paper
• Formalizing, Mechanizing, and Verifying Class-Based Refinement Types

  2024cites this paper
• super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)

  2023cites this paper
• 2022 ACTIVITY REPORT Project-Team GALLINETTE

  2023cites this paper
• Approaches to Conflict-free Replicated Data Types

  2023cites this paper
• A High-Level Separation Logic for Heap Space under Garbage Collection

  2023cites this paper
• Amortized Analysis via Coinduction

  2023cites this paper
• Capturing Types

  2023cites this paper
• What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming

  2022cites this paper
• Focusing on Refinement Typing

  2022cites this paper
• Decomposition Without Regret (Poster)

  2022cites this paper
• Report on the Tenth International Workshop on Bidirectional Transformations (BX 2022)

  2022cites this paper
• Decomposition Without Regret

  2022cites this paper
• Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

  2022cites this paper
• Scoped Capabilities for Polymorphic Effects

  2022cites this paper
• Effects, Capabilities, and Boxes From Scope-Based Reasoning to Type-Based Reasoning and Back

  2022cites this paper
• Focusing on Liquid Refinement Typing

  2022cites this paper
• Data-Codata Symmetry and its Interaction with Evaluation Order

  2022cites this paper
• The kingdoms of objects and values

  2021cites this paper
• Semantic Transfer in Programming Languages: Exploratory Study of Relative Novices

  2020cites this paper
• Convivial design heuristics for software systems

  2020cites this paper
• Software language engineers’ worst nightmare

  2020cites this paper
• Demystifying dependence

  2020cites this paper
• Abstract Things

  2020cites this paper
• Designing Flexible, Modular Linguistic Abstractions

  2019cites this paper
• Exploring Codata : The Relation to Object-Orientation

  2019cites this paper
• A scala based framework for developing acceleration systems with FPGAs

  2019cites this paper
• Dependent Pearl: Normalization by realizability

  2019cites this paper
• Infrastructures of abstraction: how computer science education produces anti-political subjects

  2019cites this paper
• Decomposition diversity with symmetric data and codata

  2019cites this paper
• Decidable subtyping for path dependent types

  2019cites this paper
• Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality

  2019influential citation
• Induction, Coinduction, and Fixed Points in PL Type Theory

  2019cites this paper
• Codata in Action

  2019cites this paper
• 53 : 2 Type Abstraction for Relaxed Noninterference

  2018cites this paper
• Reducing resource consumption of expandable collections: The Pharo case

  2018cites this paper
• JEff: objects for effect

  2018cites this paper
• Abstract and Concrete Data Types vs Object Capabilities

  2018influential citation
• Unix, Plan 9 and the Lurking Smalltalk

  2018cites this paper
• Induction, Coinduction, and Fixed Points: A Concise Survey (and Tutorial)

  2018influential citation
• Induction, Coinduction, and Fixed Points: A Concise Comparative Survey

  2018cites this paper
• NOOP: A Domain-Theoretic Model of Nominally-Typed OOP

  2018cites this paper
• Dualizing Generalized Algebraic Data Types by Matrix Transposition

  2018cites this paper
• Induction, Coinduction, and Fixed Points in Order Theory, Set Theory, (PL) Type Theory, Logic, and Category Theory: A Concise Survey (and Tutorial)

  2018cites this paper
• A Brief SurveyOf Object-Oriented Ideas

  2018cites this paper
• Unifying Definitions for Modularity, Abstraction, and Encapsulation as a Step Toward Foundational Multi-Paradigm Software Engineering Principles

  2017cites this paper
• Mapping Objects to Persistent Predicates

  2017cites this paper
• Classless Object Semantics

  2017cites this paper
• Familia: unifying interfaces, type classes, and family polymorphism

  2017cites this paper
• Some were meant for C: the endurance of an unmanageable language

  2017cites this paper
• Grace's Inheritance

  2017cites this paper
• Extensible domain-specific languages in object-oriented programming

  2017cites this paper
• Analytic Methods for Geometric Modeling

  2017influential citation
• Type Abstraction for Relaxed Noninterference

  2017influential citation
• Concept analysis in programming language research: done well it is all right

  2017cites this paper
• Why Nominal-Typing Matters in Mainstream OOP

  2016cites this paper
• A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming

  2016cites this paper
• Why Nominal-Typing Matters in Object-Oriented Programming

  2016cites this paper
• QL: Object-oriented Queries on Relational Data

  2016cites this paper
• The left hand of equals

  2016influential citation
• Abstract Data Types in Object-Capability Systems

  2016influential citation
• Why Nominal-Typing Matters in OOP

  2016cites this paper
• Automatic refunctionalization to a language with copattern matching: with applications to the expression problem

  2015cites this paper
• One data fragment has several alternative structural representations tailored toward specific data manipulation approaches

  2015cites this paper
• Object-oriented software extensions in practice

  2015cites this paper
• Reducing Waste in Expandable Collections : The Pharo Case

  2015influential citation
• Two-Faced Data

  2015cites this paper
• Towards a dynamic object model within Unix processes

  2015cites this paper
• Go Model and Object Oriented Programming

  2015cites this paper
• Refining Objects

  2014influential citation
• UWA-CSSE-14001 Side effect and purity checking in Java : a review

  2014cites this paper
• On the use of type predicates in object-oriented software: the case of smalltalk

  2014cites this paper
• In Search of Types

  2014cites this paper
• On Owners-as-Accessors

  2014cites this paper
• From C function pointers to C++ objects

  2014cites this paper
• Object-oriented programming: Some history, and challenges for the next fifty years

  2013cites this paper
• Wyvern: a simple, typed, and pure object-oriented language

  2013cites this paper
• The power of interoperability: why objects are inevitable

  2013influential citation
• Functional Programming for Domain-Specific Languages

  2013cites this paper
• Practical Foundations for Programming Languages: Type Safety

  2012cites this paper
• Socio-PLT: principles for programming language adoption

  2012cites this paper
• Grammar Source Code Rascal Parser AST Builder Rascal Interpreter Interpreter Source Code Java Compiler Parser Generator Rascal Programs AST Generator AST Source Code AST Builder Source Code Input Output build-time run-time Parse Tree AST Parser Source

  2011cites this paper
• Generic Proof Tools and Finite Group Theory

  2011cites this paper
• A Case of Visitor versus Interpreter Pattern

  2011cites this paper
• Ad Hoc : Overloading and Language Design by Scott

  2010cites this paper
• Elimination of redundant polymorphism queries in object-oriented design patterns

  2010cites this paper
• Unattended ground sensors standards working group

  2010cites this paper