BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
abstract (3)
data (3)
use (3)
model (3)
extend (2)

Stem adt$ (all stems)

10 papers:

HCIHIMI-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.
EDOCEDOC-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.
POPLPOPL-2010-DreyerNRB #data type #higher-order #logic #relational
A relational modal logic for higher-order stateful ADTs (DD, GN, AR, LB), pp. 185–198.
SLESLE-2009-IrazabalP #data type #model transformation #modelling
Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
ESOPESOP-2007-NanevskiAMB #data type #hoare #type system
Abstract Predicates and Mutable ADTs in Hoare Type Theory (AN, AA, GM, LB), pp. 189–204.
LISPILC-2007-WozniakDW #abstraction #data type #policy
Dynamic ADTs: a “don’t ask, don’t tell” policy for data abstraction (GW, MD, SW), p. 26.
CIKMCIKM-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.
CCCC-1992-Samples #compilation #data type #implementation #using
Compiler Implementation of ADTs Using Profile Data (ADS), pp. 72–87.
ICTSSIWPTS-1992-Gaudel #data type #specification #testing
Test Selection Based on ADT Specifications (MCG), pp. 31–40.
CSLCSL-1991-Feferman #approach #data type
A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation (SF), pp. 79–95.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.