13 papers:
SEFM-2015-JonesY #abstraction #reasoning #using- Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.
ICFP-2013-SvenningssonS #composition #embedded #monad- Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
GPCE-2009-Sadat-MohtashamH #transaction- Transactional pointcuts: designation reification and advice of interrelated join points (SHSM, HJH), pp. 35–44.
FME-2003-BouquetL #case study #execution #generative #java #testing #transaction- Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.
OOPSLA-2003-TanterNCC #behaviour- Partial behavioral reflection: spatial and temporal selection of reification (ÉT, JN, DC, PC), pp. 27–46.
VISSOFT-2002-DiehlK #execution #visual notation- Reification of Program Points for Visual Execution (SD, AK), pp. 100–109.
CAiSE-1999-Olive #perspective- Relationship Reification: A Temporal View (AO), pp. 396–410.
- FME-1996-Clement #abstraction
- Data Reification without Explicit Abstraction Functions (TC), pp. 195–213.
- FME-1994-Clement
- Comparing Approaches to Data Reification (TC), pp. 118–133.
- VDME-1991-1-Weber
- Deriving Transivity of VDM-Reification in DEVA (MW), pp. 406–427.
LFP-1988-Bawden #evaluation- Reification without Evaluation (AB), pp. 342–349.
- VDME-1987-Andrews #composition
- Data Reification and Program Decomposition (DA), pp. 389–422.
- LFP-1984-FriedmanW #named
- Reification: Reflection without Metaphysics (DPF, MW), pp. 348–355.
