10 papers:
HIMI-DE-2014-SutoPK #collaboration #data type #design #multi- A Collaboration Support Tool for Multi-cultural Design Team Based on Extended ADT Model (HS, PP, NK), pp. 548–557.
EDOC-2013-SousaMGM #approach #architecture #data type #enterprise #risk management #using- Assessing Risks and Opportunities in Enterprise Architecture Using an Extended ADT Approach (SS, DM, KG, NM), pp. 81–90.
POPL-2010-DreyerNRB #data type #higher-order #logic #relational- A relational modal logic for higher-order stateful ADTs (DD, GN, AR, LB), pp. 185–198.
SLE-2009-IrazabalP #data type #model transformation #modelling- Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
ESOP-2007-NanevskiAMB #data type #hoare #type system- Abstract Predicates and Mutable ADTs in Hoare Type Theory (AN, AA, GM, LB), pp. 189–204.
ILC-2007-WozniakDW #abstraction #data type #policy- Dynamic ADTs: a “don’t ask, don’t tell” policy for data abstraction (GW, MD, SW), p. 26.
CIKM-1993-ZhangOCF #data type #optimisation #query #using- A Method of Using Semijoins to Optimizing Queries with ADT Functions (XZ, NO, HC, YF), pp. 723–725.
CC-1992-Samples #compilation #data type #implementation #using- Compiler Implementation of ADTs Using Profile Data (ADS), pp. 72–87.
IWPTS-1992-Gaudel #data type #specification #testing- Test Selection Based on ADT Specifications (MCG), pp. 31–40.
CSL-1991-Feferman #approach #data type- A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation (SF), pp. 79–95.
