BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
data (3)
without (3)
execut (2)
transact (2)
point (2)

Stem reific$ (all stems)

13 papers:

SEFMSEFM-2015-JonesY #abstraction #reasoning #using
Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.
ICFPICFP-2013-SvenningssonS #composition #embedded #monad
Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
GPCEGPCE-2009-Sadat-MohtashamH #transaction
Transactional pointcuts: designation reification and advice of interrelated join points (SHSM, HJH), pp. 35–44.
FMFME-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.
OOPSLAOOPSLA-2003-TanterNCC #behaviour
Partial behavioral reflection: spatial and temporal selection of reification (ÉT, JN, DC, PC), pp. 27–46.
VISSOFTVISSOFT-2002-DiehlK #execution #visual notation
Reification of Program Points for Visual Execution (SD, AK), pp. 100–109.
CAiSECAiSE-1999-Olive #perspective
Relationship Reification: A Temporal View (AO), pp. 396–410.
FMFME-1996-Clement #abstraction
Data Reification without Explicit Abstraction Functions (TC), pp. 195–213.
Comparing Approaches to Data Reification (TC), pp. 118–133.
Deriving Transivity of VDM-Reification in DEVA (MW), pp. 406–427.
LISPLFP-1988-Bawden #evaluation
Reification without Evaluation (AB), pp. 342–349.
FMVDME-1987-Andrews #composition
Data Reification and Program Decomposition (DA), pp. 389–422.
LISPLFP-1984-FriedmanW #named
Reification: Reflection without Metaphysics (DPF, MW), pp. 348–355.

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.