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.