Tag #reflexive
18 papers:
ICSME-2018-LecerfBGD #approach #automation #pattern matching #program transformation- A Reflexive and Automated Approach to Syntactic Pattern Matching in Code Transformations (JL, JB, TG, SD), pp. 426–436.
CHI-2013-PachetRMd - Reflexive loopers for solo musical improvisation (FP, PR, JM, Md), pp. 2205–2208.
CHI-2011-Rode - Reflexivity in digital anthropology (JAR), pp. 123–132.
IDGD-2009-Bailur #development #representation #research- Representation and Reflexivity in ICT for Development (Telecentre) Research (SB), pp. 319–327.
LICS-2009-CarraroS #λ-calculus- Reflexive Scott Domains are Not Complete for the Extensional λ Calculus (AC, AS), pp. 91–100.
ICST-2008-PrasetyaVB #object-oriented #source code #testing- Trace-based Reflexive Testing of OO Programs with T2 (WP, TEJV, AIB), pp. 151–160.
DiGRA-2007-Lammes #game studies #towards- Approaching game-studies: towards a reflexive methodology of games as situated cultures (SL).
DLT-2006-BonizzoniM - A Decision Procedure for Reflexive Regular Splicing Languages (PB, GM), pp. 315–326.
ICEIS-DISI-2006-Jarke #community #information management- Reflexive Community Information Systems (MJ), p. 19.
LICS-2004-DalmauKL #first-order #graph #problem- First-Order Definable Retraction Problems for Posets and Reflexive Graph (VD, AAK, BL), pp. 232–241.
DLT-2003-BonizzoniFMZ #finite #regular expression- Regular Languages Generated by Reflexive Finite Splicing Systems (PB, CdF, GM, RZ), pp. 134–145.
TOOLS-USA-2001-Blasbland - Reflexivity and Meta-Tools to Manage Your Software Real Estate (DB), p. 378.
ICFP-2000-TrifonovSS #analysis- Fully reflexive intensional type analysis (VT, BS, ZS), pp. 82–93.
TOOLS-EUROPE-1999-Blasband - Reflexivity and Meta-Tools to Manage Your Software Real Estate (DB), p. 403.
HT-1997-GooseDHR #architecture #distributed #hypermedia- Microcosm TNG: A Distributed Architecture to Support Reflexive Hypermedia Applications (SG, JD, WH, DDR), pp. 226–227.
POPL-1996-FournetG #calculus- The Reflexive CHAM and the Join-Calculus (CF, GG), pp. 372–385.
LICS-1994-RobinsonR #graph #morphism #parametricity #polymorphism- Reflexive Graphs and Parametric Polymorphism (EPR, GR), pp. 364–371.
ECOOP-1988-Graube #architecture #lisp- Reflexive Architecture: From ObjVLisp to CLOS (NG), pp. 110–127.