9 papers:
ICML-2015-SteinhardtL #modelling- Reified Context Models (JS, PL), pp. 1043–1052.
SAC-2015-PapouliasDDF #towards- Reifying the reflectogram: towards explicit control for implicit reflection (NP, MD, SD, LF), pp. 1978–1985.
CHI-2013-FouseWJH #social- Reifying social movement trajectories (AF, NW, CJ, JDH), pp. 2945–2948.
GPCE-2013-GerakiosBS #java #parametricity #using- Reified type parameters using Java annotations (PG, AB, YS), pp. 61–64.
SLE-2013-CombemaleDLMBBF #concurrent #execution #metamodelling- Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.
- SAC-2007-CimadamoreV #approach #java #using
- Reifying wildcards in Java using the EGO approach (MC, MV), pp. 1315–1322.
ICEIS-2002-DahchourP #semantics- The Semantics of Reifying n-ary Relationships as Classes (MD, AP), pp. 580–586.
ICSE-1998-Jezequel #configuration management #object-oriented- Reifying Configuration Management for Object-Oriented Software (JMJ), pp. 240–249.
KR-1989-BacchusTK #logic- A Non-Reified Temporal Logic (FB, JDT, JAGMK), pp. 2–10.
