Stem reflect$ (all stems)

283 papers:

CBSE-2015-DanielsPCJH #component #low cost #metadata #named #pervasive

Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications (WD, JP, DC, WJ, DH), pp. 27–36.

CSEET-2015-SedanoP #experience #student #using

Enhancing Student Experience in Team-Based Project Courses Using Essence Reflection Meetings (TS, CP), pp. 10–12.

ITiCSE-2015-AbidBA #education #refactoring

Reflections on Teaching Refactoring: A Tale of Two Projects (SA, HAB, NA), pp. 225–230.

ITiCSE-2015-Cukierman #learning #predict #process #student

Predicting Success in University First Year Computing Science Courses: The Role of Student Participation in Reflective Learning Activities and in I-clicker Activities (DC), pp. 248–253.

PLDI-2015-MarrSD #metaprogramming #performance #protocol

Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises (SM, CS, SD), pp. 545–554.

SAS-2015-LiTX #analysis #effectiveness

Effective Soundness-Guided Reflection Analysis (YL, TT, JX), pp. 162–180.

CHI-2015-Baumer #concept #design

Reflective Informatics: Conceptual Dimensions for Designing Technologies of Reflection (EPSB), pp. 585–594.

CHI-2015-GanglbauerFG #what #why

Why and what did we throw out?: Probing on Reflection through the Food Waste Diary (EG, GF, FG), pp. 1105–1114.

CHI-2015-PierceP #design #multi

Making Multiple Uses of the Obscura 1C Digital Camera: Reflecting on the Design, Production, Packaging and Distribution of a Counterfunctional Device (JP, EP), pp. 2103–2112.

CHI-2015-SmithBNHVBWO #gesture

Exploring Gesture Sonification to Support Reflective Craft Practice (TS, SJB, BN, JH, AV, JB, PCW, PO), pp. 67–76.

CSCW-2015-HalbertN #design #interactive #tool support

Designing for Discomfort: Supporting Critical Reflection through Interactive Tools (HH, LPN), pp. 349–360.

CSCW-2015-KaziunasBJCHA #health

Transition and Reflection in the Use of Health Information: The Case of Pediatric Bone Marrow Transplant Caregivers (EK, AGB, JJ, SWC, DAH, MSA), pp. 1763–1774.

DUXU-IXD-2015-Khashman

Cultural Reflections in Qatari Government Websites (NK), pp. 54–62.

SEKE-2015-SampaioMLM #adaptation #approach #learning #research

Reflecting, adapting and learning in small software organizations: an action research approach (SS, MM, AL, HPM), pp. 46–50.

BX-2015-ZhuKMSH #named #parsing

BiYacc: Roll Your Parser and Reflective Printer into One (ZZ, HSK, PM, JS, ZH), pp. 43–50.

Onward-2015-ChariGMD #towards

Towards fully reflective environments (GC, DG, SM, SD), pp. 240–253.

SAC-2015-PapouliasDDF #towards

Reifying the reflectogram: towards explicit control for implicit reflection (NP, MD, SD, LF), pp. 1978–1985.

ICSE-v2-2015-WilkinsG #design #learning #student

Drawing Insight from Student Perceptions of Reflective Design Learning (TVW, JCG), pp. 253–262.

LICS-2015-EndrullisGH #encoding

Regularity Preserving but Not Reflecting Encodings (JE, CG, DH), pp. 535–546.

CBSE-2014-SpacekDT #architecture #component #implementation #modelling #programming #prototype

A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language (PS, CD, CT), pp. 13–22.

CSEET-2014-BullW #framework #re-engineering

Observations of a software engineering studio: Reflecting with the studio framework (CNB, JW), pp. 74–83.

ITiCSE-2014-Kann #using

Using reflections in a program integrating course (VK), p. 350.

ICSME-2014-Anslow #collaboration #visualisation

Reflections on Collaborative Software Visualization in Co-located Environments (CA), pp. 645–650.

PEPM-2014-MiaoS #java #metaprogramming

Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.

IFL-2014-Christiansen #low level #syntax

Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection (DRC), p. 1.

CHI-2014-BrownAG #design #health #self #women

Reflection through design: immigrant women’s self-reflection on managing health and wellness (DB, VA, REG), pp. 1605–1614.

CHI-2014-MurnaneC #social #social media

Unraveling abstinence and relapse: smoking cessation reflected in social media (ELM, SC), pp. 1345–1354.

CHI-2014-PatilSKL #feedback #how

Reflection or action?: how feedback and control affect location sharing decisions (SP, RS, AK, AJL), pp. 101–110.

CHI-2014-ReitbergerSF #behaviour #named

Nutriflect: reflecting collective shopping behavior and nutrition (WR, WS, GF), pp. 3309–3318.

CHI-2014-ShiraziAHSKS #interactive

Exploiting thermal reflection for interactive systems (ASS, YA, NH, SS, MK, AS), pp. 3483–3492.

CSCW-2014-MassimiBWA #community #health #online

Life transitions and online health communities: reflecting on adoption, use, and disengagement (MM, JLB, HOW, OHA), pp. 1491–1501.

DUXU-DI-2014-KhashmanM #case study

A Study of Cultural Reflection in Egyptian Government Websites (NK, EM), pp. 139–147.

HCI-TMT-2014-MauesB

Reflections on the Cross-Platform Semiotic Inspection Method (RdAM, SDJB), pp. 533–544.

LCT-TRE-2014-ArnoldK #education #named #social

E-Portfolios — Fostering Systematic Reflection in Social Work Education (PA, SK), pp. 351–362.

LCT-TRE-2014-McNicolLKT #student

Facilitating Student Reflection through Digital Technologies in the iTEC Project: Pedagogically-Led Change in the Classroom (SM, CL, AK, TT), pp. 297–308.

LCT-TRE-2014-NordvallAS #education

Exploring Simulated Provocations — Supporting Pre-Service Teachers’ Reflection on Classroom Management (MN, MA, MS), pp. 182–193.

LCT-TRE-2014-Timotheou

Reflective Thinking: Exploring Blog Use by Adult Learners (MMT), pp. 460–466.

ICEIS-v1-2014-SoaresA #concept #information management

Reflections on the Concept of Interoperability in Information Systems (DS, LA), pp. 331–339.

ECOOP-2014-LiTSX #java #self

Self-inferencing Reflection Resolution for Java (YL, TT, YS, JX), pp. 27–53.

GPCE-2014-Asai #compilation #using

Compiling a reflective language using MetaOCaml (KA), pp. 113–122.

SAC-2014-BassoOF #java #model transformation

Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.

CSEET-2013-Georgas #composition #design #education #learning #towards

Toward infusing modular and reflective design learning throughout the curriculum (JCG), pp. 274–278.

CHI-2013-DevendorfR #interactive #named

AnyType: provoking reflection and exploration with aesthetic interaction (LD, KR), pp. 1041–1050.

CHI-2013-IsaacsKWLHW #how

Echoes from the past: how technology mediated reflection improves well-being (EI, AK, AW, TL, VH, SW), pp. 1071–1080.

CHI-2013-YooHWHF #co-evolution #design #evolution

A value sensitive action-reflection model: evolving a co-design space with stakeholder and designer prompts (DY, AH, JPW, DGH, BF), pp. 419–428.

CSCW-2013-ColineauPN #collaboration #design

Designing for reflection and collaboration to support a transition from welfare to work (NC, CP, SN), pp. 471–476.

CSCW-2013-ReineckeNBNG #behaviour #difference #online #scheduling

Doodle around the world: online scheduling behavior reflects cultural differences in time perception and group decision-making (KR, MKN, AB, MN, KZG), pp. 45–54.

DUXU-CXC-2013-Abdelnour-NoceraAMM #education #evaluation #human-computer #performance #student

A Cross-Cultural Evaluation of HCI Student Performance — Reflections for the Curriculum (JLAN, AA, MM, SM), pp. 161–170.

HCI-AMTE-2013-TruePF #education #human-computer

Confabulation in the Time of Transdisciplinarity: Reflection on HCI Education and a Call for Conversation (NT, JP, DF), pp. 128–136.

HCI-AS-2013-GotodaSMNM #learning #process #realtime

A Server-Based System Supporting Motor Learning through Real-Time and Reflective Learning Activities (NG, YS, KM, KN, CM), pp. 84–93.

HCI-IMT-2013-EbisawaF #detection #using #video

Head-Free, Remote Gaze Detection System Based on Pupil-Corneal Reflection Method with Using Two Video Cameras — One-Point and Nonlinear Calibrations (YE, KF), pp. 205–214.

OCSC-2013-MurraySWWXS #online #social #tool support

Supporting Social Deliberative Skills Online: The Effects of Reflective Scaffolding Tools (TM, LS, BPW, LW, XX, NS), pp. 313–322.

ICSM-2012-YamashitaM #aspect-oriented #maintenance #question #smell

Do code smells reflect important maintainability aspects? (AFY, LM), pp. 306–315.

PEPM-2012-CaretteS #towards #type system

Towards typing for small-step direct reflection (JC, AS), pp. 93–96.

SAS-2012-SanchezSSC #generative #invariant #self #using

Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.

IFL-2012-WaltS #proving

Engineering Proof by Reflection in Agda (PvdW, WS), pp. 157–173.

CHI-2012-BatemanTW #behaviour #comparison #how

The search dashboard: how reflection and comparison impact search behavior (SB, JT, RWW), pp. 1785–1794.

CHI-2012-KripleanTMBK #web #what

Is this what you meant?: promoting listening on the web with reflect (TK, MT, JTM, AB, AK), pp. 1559–1568.

CHI-2012-ThiemeCMWKLO #design #persuasion #quote #social

“We’ve bin watching you”: designing for reflection and social persuasion to promote sustainable lifestyles (AT, RC, JM, JW, NCK, SWL, PO), pp. 2337–2346.

CSCW-2012-KripleanMFBB

Supporting reflective public thought with ConsiderIt (TK, JTM, DF, AB, LB), pp. 265–274.

CSCW-2012-SosikZC #how

See friendship, sort of: how conversation and digital traces might support reflection on friendships (VSS, XZ, DC), pp. 1145–1154.

ICPR-2012-RatnasingamR #recognition #representation

A spectral reflectance representation for recognition and reproduction (SR, ARK), pp. 1900–1903.

ICPR-2012-TagawaMY

8-D reflectance field for computational photography (ST, YM, YY), pp. 2181–2185.

ICPR-2012-ZhangH12b #estimation #using

Simultaneous reflectance estimation and surface shape recovery using polarisation (LZ, ERH), pp. 1876–1879.

SIGIR-2012-ChuklinS #how #query

How query extensions reflect search result abandonments (AC, PS), pp. 1087–1088.

SAC-2012-LiuCZ #approach #architecture #petri net #self #towards

Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures (YL, WC, BZ), pp. 1858–1865.

ISSTA-2012-ThiesB #java #named #refactoring #source code

RefaFlex: safer refactorings for reflective Java programs (AT, EB), pp. 1–11.

SCAM-2011-Gold #analysis #music #programming #source code

Knitting Music and Programming: Reflections on the Frontiers of Source Code Analysis (NG), pp. 10–14.

CHI-2011-KuhnCQS #using

Using tags to encourage reflection and annotation on data during nomadic inquiry (AK, CC, CQ, SS), pp. 667–670.

CHI-2011-LeeD #functional

Reflecting on pills and phone use: supporting awareness of functional abilities for older adults (MLL, AKD), pp. 2095–2104.

OCSC-2011-AhmadL #learning

Promoting Reflective Learning: The Role of Blogs in the Classroom (RA, WGL), pp. 3–11.

SEKE-2011-KrikavaC #architecture #feedback

A Reflective Model for Architecting Feedback Control Systems (FK, PC), pp. 553–559.

SEKE-2011-NunezOGG #framework #order

Computational Reflection in order to support Context-Awareness in a Robotics Framework (SMN, FO, MG, VGD), pp. 533–538.

SIGIR-2011-LiuB

Search task difficulty: the expected vs. the reflected (JL, NJB), pp. 1183–1184.

ICMT-2011-LepperT #analysis #optimisation #performance #visitor

Optimization of Visitor Performance by Reflection-Based Analysis (ML, BTyW), pp. 15–30.

ECOOP-2011-OstermannGKR #composition #information management

Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity (KO, PGG, CK, TR), pp. 155–178.

GPCE-J-2005-LutterothDW11 #generative #type system

A type system for reflective program generators (CL, DD, GW), pp. 392–422.

GPCE-2011-Asai

Reflection in direct style (KA), pp. 97–106.

SAC-2011-BoixNCMD #debugging #message passing #named

REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.

SAC-2011-FabreKT #lessons learnt #robust #using

Robustness of automotive applications using reflective computing: lessons learnt (JCF, MOK, FT), pp. 230–235.

ESEC-FSE-2011-GarlanS #architecture #evolution

Software architecture: reflections on an evolving discipline (DG, MS), p. 2.

ICSE-2011-BoddenSSOM #static analysis

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.

LDTA-2011-StansiferW #parsing

Parsing reflective grammars (PS, MW), p. 10.

CBSE-2010-LegerLC #component #configuration management #reliability

Reliable Dynamic Reconfigurations in a Reflective Component Model (ML, TL, TC), pp. 74–92.

DATE-2010-ChenABF #monitoring #using

Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter (WC, IA, SBO, LMGF), pp. 1530–1535.

ITiCSE-2010-HowardJN #behaviour #design #learning #online #using

Reflecting on online learning designs using observed behavior (LH, JJ, CN), pp. 179–183.

ITiCSE-2010-McDermottBE #student #tool support

Developing tools to encourage reflection in first year students blogs (RM, GB, GE), pp. 147–151.

CHI-2010-BachT #design

Involving reflective users in design (PMB, MT), pp. 2037–2040.

CHI-2010-BillingsW #comprehension #online #using

Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict (MB, LAW), pp. 1447–1456.

CSCW-2010-GrimesLG #community #health

Characteristics of shared health reflections in a local community (AG, BML, REG), pp. 435–444.

ICPR-2010-ConteFPTV10a

Reflection Removal in Color Videos (DC, PF, GP, FT, MV), pp. 1788–1791.

ICPR-2010-IbrahimTH #image #invariant #representation

Spectral Invariant Representation for Spectral Reflectance Image (AI, ST, TH), pp. 2776–2779.

ICPR-2010-ZhangGC #detection #invariant #using

Water Reflection Detection Using a Flip Invariant Shape Detector (HZ, XG, XC), pp. 633–636.

ECMFA-2010-ClowesKHRPJDP #approach #modelling #web

A Reflective Approach to Model-Driven Web Engineering (DC, DSK, CH, LMR, RFP, JJ, RD, SGP), pp. 62–73.

OOPSLA-2010-VerwaestBGLN #named

Pinocchio: bringing reflection to life with first-class interpreters (TV, CB, DG, AL, ON), pp. 774–789.

GPCE-2010-MiaoS #incremental #metaprogramming

Incremental type-checking for type-reflective metaprograms (WM, JGS), pp. 167–176.

ICSE-2010-BencomoWSFL #requirements #runtime

Requirements reflection: requirements as runtime entities (NB, JW, PS, AF, EL), pp. 199–202.

LICS-2010-BroadbentCOS #logic #recursion

Recursion Schemes and Logical Reflection (CHB, AC, CHLO, OS), pp. 120–129.

CSEET-2009-KrogstieD #experience #re-engineering #student #timeline

Shared Timeline and Individual Experience: Supporting Retrospective Reflection in Student Software Engineering Teams (BRK, MD), pp. 85–92.

ITiCSE-2009-BarzilayHY #evaluation #re-engineering

Evaluation of a software engineering course by reflection (OB, OH, AY), pp. 273–277.

FoSSaCS-2009-AdamekMV #monad

A Description of Iterative Reflections of Monads (Extended Abstract) (JA, SM, JV), pp. 152–166.

CHI-2009-SchwarzMM #process

Reflections of everyday activities in spending data (JS, JM, HSM), pp. 1737–1740.

HCD-2009-Seland #design #game studies #mobile #using

Empowering End Users in Design of Mobile Technology Using Role Play as a Method: Reflections on the Role-Play Conduction (GS), pp. 912–921.

HCI-VAD-2009-ChenZV #collaboration #design

Reflections on the Interdisciplinary Collaborative Design of Mapping the Universe (CC, JZ, MSEV), pp. 693–702.

OCSC-2009-Raybourn #game studies

Intercultural Competence Game That Fosters Metacognitive Agility and Reflection (EMR), pp. 603–612.

KMIS-2009-CronholmG #development

Competence Development Among IT-consultants — The Need for Collective and Structured Reflection (SC, GG), pp. 258–261.

GPCE-2009-GarciaL #metaprogramming #towards

Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.

ASE-2008-Jones #development #predict #source code

Reflections on, and Predictions for, Support Systems for the Development of Programs (CBJ), pp. 7–8.

PLDI-2008-HuangS

Expressive and safe static reflection with MorphJ (SSH, YS), pp. 79–89.

SAS-2008-Liblit #debugging #static analysis

Reflections on the Role of Static Analysis in Cooperative Bug Isolation (BL), pp. 18–31.

CHI-2008-CosleyLHHBNBG #named #social

ArtLinks: fostering social awareness and reflection in museums (DC, JL, AH, JH, JB, SN, KB, GG), pp. 403–412.

CHI-2008-MamykinaMDG #named #social

MAHI: investigation of social scaffolding for reflective thinking in diabetes management (LM, EDM, PD, DG), pp. 477–486.

CHI-2008-TangFBLDL #design

Designing for bystanders: reflections on building a public digital forum (AT, MF, MB, RL, MD, RL), pp. 879–882.

EDOC-2008-Watson #requirements

Reflections on Requirements Engineering (AW).

ICEIS-HCI-2008-BaddooBHRS

Motivating Software Engineers — A Theoretically Reflective Model (NB, SB, TH, HR, HS), pp. 174–180.

CIKM-2008-RadlinskiKJ #how #quality #question #retrieval

How does clickthrough data reflect retrieval quality? (FR, MK, TJ), pp. 43–52.

ICPR-2008-MansouriSHV #adaptation #algorithm #estimation #image

An adaptive-PCA algorithm for reflectance estimation from color images (AM, TS, JYH, YV), pp. 1–4.

ICMT-2008-Kurtev #model transformation

Application of Reflection in Model Transformation Languages (IK), pp. 199–213.

SAC-2008-Jimenez-PerisPM #approach #distributed #web #web service

Decentralized web service orchestration: a reflective approach (RJP, MPM, EMJ), pp. 494–498.

SAC-2008-NogueiraNRA #adaptation #framework

An adaptation of the collections framework, reflection and object cloning from J2SE to J2ME (TPN, LCLN, LSR, RMCA), pp. 246–250.

ICSE-2008-BencomoGFHB #adaptation #component #development #modelling #named

Genie: supporting the model driven development of reflective, component-based adaptive systems (NB, PG, CAFC, DH, GSB), pp. 811–814.

CSEET-2007-Armarego #learning

Learning from Reflection: Practitioners as Adult Learners (JA), pp. 55–63.

TOOLS-EUROPE-2007-DenkerDLM

Sub-Method Reflection (MD, SD, AL, PM), pp. 275–295.

TOOLS-EUROPE-2007-LeitnerEOC #programming language

Reflecting on an Existing Programming Language (AL, PTE, MO, IC), pp. 319–339.

SAC-2007-CostanzaH

Reflective layer activation in ContextL (PC, RH), pp. 1280–1285.

LICS-2007-Kolaitis #finite

Reflections on Finite Model Theory (PGK), pp. 257–269.

CSEET-2006-FornaroHT #design #student #what

What Clients Want — What Students Do: Reflections on Ten Years of Sponsored Senior Design Projects (RJF, MRH, ALT), pp. 226–236.

ICFP-2006-HickeyNYK #hybrid #representation #using

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.

CHI-2006-Furnas

A fisheye follow-up: further reflections on focus + context (GWF), pp. 999–1008.

AdaEurope-2006-ValpereiroP #behaviour

POSIX Trace Based Behavioural Reflection (FV, LMP), pp. 27–39.

ICEIS-J-2006-JarkeK #community #information management

Reflective Community Information Systems (MJ, RK), pp. 17–28.

ICPR-v1-2006-LiuHTW #component

Cast Shadow Removal with GMM for Surface Reflectance Component (ZL, KH, TT, LW), pp. 727–730.

ICPR-v1-2006-RaghebH

Reflectance from Surfaces with Layers of Variable Roughness (HR, ERH), pp. 543–546.

ICPR-v1-2006-ZhongSH #re-engineering

Reconstruction from Plane Mirror Reflection (HZ, WFS, YSH), pp. 715–718.

ICPR-v2-2006-CaoF

Synthesizing Reflections of Inserted Objects (XC, HF), pp. 1225–1228.

ICPR-v3-2006-MakkapatiM06a #using

Vector Quantization Using Reflections of Triangular Subcodevectors (VM, PRM), pp. 701–704.

ICPR-v3-2006-YamazakiCX #analysis #component #image #independence #kernel #using

Separating Reflections from Images Using Kernel Independent Component Analysis (MY, YWC, GX), pp. 194–197.

ICPR-v4-2006-KanbaraUKY #3d #image #re-engineering

3D Scene Reconstruction from Reflection Images in a Spherical Mirror (MK, NU, MK, NY), pp. 874–879.

MoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using

Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.

MoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using

Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.

GPCE-2006-FahndrichCL #generative

Reflective program generation with patterns (MF, MC, JRL), pp. 275–284.

PADL-2006-Wang #automation #model checking #verification

Automatic Verification of a Model Checker by Reflection (BYW), pp. 45–59.

SAC-2006-Wang #case study #domain-specific language #modelling

Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study (BYW), pp. 1773–1778.

SAC-2006-WelchL #policy #security

Policy-driven reflective enforcement of security policies (IW, FL), pp. 1580–1584.

WICSA-2005-IngstrupH #approach #architecture #declarative

A Declarative Approach to Architectural Reflection (MI, KMH), pp. 149–158.

WICSA-2005-LungZG #architecture #what

Reflection on Software Architecture Practices — What Works, What Remains to Be Seen, and What Are the Gaps (CHL, MZ, NG), pp. 221–222.

HT-2005-HsiehS #communication #process

Activity links: supporting communication and reflection about action (HwH, FMSI), pp. 161–170.

CSEET-2005-Selic #developer #what

What I Wish I Had Learned in School: Reflections on 30+ Years as a Software Developer (BS), p. 5.

AdaEurope-2005-RogersW #ada #fault tolerance #using

The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 (PR, AJW), pp. 236–247.

SEKE-2005-AdorniMTL #architecture #network

Network Services via Reflective Architecture (MA, DM, FT, PL), pp. 761–766.

GPCE-2005-DraheimLW #generative #type system

A Type System for Reflective Program Generators (DD, CL, GW), pp. 327–341.

SAC-2005-CostaSB #adaptation #architecture #middleware #mobile

A reflective middleware architecture to support adaptive mobile applications (CMdC, MdSS, GB), pp. 1151–1154.

SAC-2005-DelicatoPRPR #middleware #network

Reflective middleware for wireless sensor networks (FCD, PFP, LFRdCC, LP, JFdR), pp. 1155–1159.

SAC-2005-ForaxDR #implementation #java

Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 1409–1413.

SAC-2005-OgelTF #aspect-oriented #compilation #performance

Supporting efficient dynamic aspects through reflection and dynamic compilation (FO, GT, BF), pp. 1351–1356.

SAC-OOPS-J-2005-ForaxDR #implementation #java

Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 49–69.

GTTSE-2005-Chiba #aspect-oriented #program transformation #programming

Program Transformation with Reflection and Aspect-Oriented Programming (SC), pp. 65–94.

CADE-2005-ContejeanC #first-order #logic #proving #similarity

Reflecting Proofs in First-Order Logic with Equality (EC, PC), pp. 7–22.

CSEET-2004-HazzanT #aspect-oriented #education #learning #process #re-engineering

Reflection Processes in the Teaching and Learning of Human Aspects of Software Engineering (OH, JET), pp. 32–38.

IFM-2004-Melham #functional #model checking #proving #theorem proving

Integrating Model Checking and Theorem Proving in a Reflective Functional Language (TFM), pp. 36–39.

ICFP-2004-LammelJ #scrap your boilerplate

Scrap more boilerplate: reflection, zips, and generalised casts (RL, SLPJ), pp. 244–255.

AdaEurope-2004-RogersW #ada #named

OpenAda: Compile-Time Reflection for Ada 95 (PR, AJW), pp. 166–177.

ICPR-v1-2004-FilipH #bidirectional #synthesis

Non-linear Reflectance Model for Bidirectional Texture Function Synthesis (JF, MH), pp. 80–83.

ICPR-v2-2004-MachidaTY #estimation

Dense Estimation of Surface Reflectance Properties Based on Inverse Global Illumination Rendering (TM, HT, NY), pp. 895–898.

ICPR-v3-2004-DuOSS #estimation

Reflectance Estimation from Motion under Complex Illumination (FD, TO, YS, AS), pp. 218–222.

ICPR-v3-2004-NaganumaTMM #analysis #using

Simultaneous Determination of Object Shape and Color by Moire Analysis Using a Reflection Model (SN, NT, AM, TM), pp. 202–205.

ICPR-v3-2004-SmithRH #modelling #recognition

Skin Reflectance Modelling for Face Recognition (WAPS, ARK, ERH), pp. 210–213.

ICPR-v3-2004-SolemH #using

Estimating Surface Shape and Extending Known Structure using Specular Reflections (JES, AH), pp. 173–176.

KR-2004-Halpern

Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems (JYH), pp. 12–22.

SEKE-2004-FontanaRTA #adaptation #architecture

Architectural Reflection in Adaptive Systems (FAF, CR, FT, MA), pp. 74–79.

PPDP-2004-KrsticM #semantics

Semantics of the reFLect language (SK, JM), pp. 32–42.

SAC-2004-AnconaC #implementation #runtime

Implementing the essence of reflection: a reflective run-time environment (MA, WC), pp. 1503–1507.

SAC-2004-StefanoSPT #communication #framework

Enforcing agent communication laws by means of a reflective framework (ADS, CS, GP, ET), pp. 462–468.

SAC-PL-J-2004-Cazzola #java #named #performance

SmartReflection: Efficient Introspection in Java (WC), pp. 117–132.

ICSE-2004-RedmilesN

Supporting Reflective Practitioners (DFR, KN), pp. 688–690.

CSEET-2003-EdwardsT #re-engineering

Reflections on a UK Masters Level Software Engineering Programme Intended for the Home and International Market (HME, JBT), p. 166–?.

CSEET-2003-ZuserG #performance

Reflecting Skills and Personality Internally as Means for Team Performance Improvement (WZ, TG), pp. 234–241.

TACAS-2003-Lee #case study #experience #what

What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code (PL0), p. 1.

CIAA-2003-KuskeM #automaton #branch #parallel

Branching Automata with Costs — A Way of Reflecting Parallelism in Costs (DK, IM), pp. 150–162.

ECIR-2003-Jones #documentation #retrieval

Document Retrieval: Shallow Data, Deep Theories; Historical Reflections, Potential Directions (KSJ), pp. 1–11.

UML-2003-BezivinFJLP #modelling

Reflective Model Driven Engineering (JB, NF, JMJ, BL, DP), pp. 175–189.

OOPSLA-2003-TanterNCC #behaviour

Partial behavioral reflection: spatial and temporal selection of reification (ÉT, JN, DC, PC), pp. 27–46.

GPCE-2003-CalcagnoTHL #abstract syntax tree #implementation #multi #using

Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection (CC, WT, LH, XL), pp. 57–76.

SAC-2003-NaganumaTM #3d #estimation #image #multi #using

Estimation of 3D Shape and Reflectance using Multiple Moire Images and Shading Model (SN, NT, AM), pp. 943–950.

ICSE-2003-LorenzV #implementation #interface

Pluggable Reflection: Decoupling Meta-Interface and Implementation (DHL, JMV), pp. 3–13.

WICSA-2002-CuestaFBB #architecture

Introducing Reflection in Architecture Description Languages (CECQ, PdlF, MBS, MEBG), pp. 143–156.

DocEng-2002-FurutaN #community #documentation #programmable #semantics #web

Applying caT’s programmable browsing semantics to specify world-wide web documents that reflect place, time, reader, and community (RF, JCN), pp. 10–17.

HT-2002-Laine #how #interactive #question

How do interactive texts reflect interactive functions? (PL), pp. 67–68.

WRLA-J-1996-ClavelM02 #logic

Reflection in conditional rewriting logic (MC, JM), pp. 245–288.

WRLA-2002-ClavelMP #equation #logic #similarity

Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic (MC, JM, MP), pp. 110–126.

ICEIS-2002-AlmeidaR #development

Some Reflections on IS Development as Operator of Organisational Change (AA, LR), pp. 543–552.

ICPR-v1-2002-MachidaY #estimation

Dense Estimation of Surface Reflectance Properties of Objects with Interreflections (TM, NY), pp. 348–351.

ICPR-v3-2002-LiLLKS #multi

Multibaseline Stereo in the Presence of Specular Reflections (YL, SL, HL, SBK, HYS), pp. 573–576.

ECOOP-2002-MeseguerT #distributed #modelling #semantics

Semantic Models for Distributed Object Reflection (JM, CLT), pp. 1–36.

OOPSLA-2002-KillijianRF #approach #corba

Portable serialization of CORBA objects: a reflective approach (MOK, JCRG, JCF), pp. 68–82.

GPCE-2002-AttardiC #adaptation #programming

Self Reflection for Adaptive Programming (GA, AC), pp. 50–65.

CADE-2002-Paulson #case study #reasoning #theorem

The Reflection Theorem: A Study in Meta-theoretic Reasoning (LCP), pp. 377–391.

KDD-2001-MoodySV #automation #classification

Data filtering for automatic classification of rocks from reflectance spectra (JM, RBdAeS, JV), pp. 347–352.

ECOOP-2001-CaromelV #component #java #security

Reflections on MOPs, Components, and Java Security (DC, JV), pp. 256–274.

GCSE-2001-AttardiC #metaprogramming

Reflection Support by Means of Template Metaprogramming (GA, AC), pp. 118–127.

PADL-2001-TyagiT #algorithm #interface #prolog

A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces (ST, PT), pp. 322–336.

SAC-2001-CuestaFB #architecture #coordination

Dynamic coordination architecture through the use of reflection (CECQ, PdlF, MBS), pp. 134–140.

SAC-2001-HuangE #distributed

Reflective controls for intelligent distributed objects (EHH, TE), pp. 595–599.

PEPM-2000-BrauxN #java #towards

Towards Partially Evaluating Reflection in Java (MB, JN), pp. 2–11.

ICPR-v2-2000-ShenIT #detection #energy

Detecting Reflection Axes by Energy Minimization (DS, HHSI, EKT), pp. 6026–6029.

ICPR-v3-2000-AparicioG #approach #parametricity

An Approach for Determining Phong Reflectance Parameters from Real Objects (JIA, JGGB), pp. 3572–3575.

ICPR-v3-2000-Tajima #evaluation

Consideration and Experiments on Object Spectral Reflectance for Color Sensor Evaluation/Calibration (JT), pp. 3592–3595.

ICPR-v3-2000-TanakaTK #estimation #image #multi

Estimation of the Torrance-Sparrow Reflection Model from a Single Multi-Band Image (NT, ST, TK), pp. 3600–3603.

ECOOP-2000-Chiba #java

Load-Time Structural Reflection in Java (SC), pp. 313–336.

ECOOP-2000-OgawaSMMSK #compilation #framework #java #jit #named

OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java (HO, KS, SM, FM, YS, YK), pp. 362–387.

OOPSLA-2000-ViroliN #approach #java #morphism #parametricity #polymorphism

Parametric polymorphism in Java: an approach to translation based on reflective features (MV, AN), pp. 146–165.

ICSE-2000-Moore #education #lessons learnt #re-engineering #tool support #using

Lessons learned from teaching reflective software engineering using the Leap toolkit (CAM), pp. 672–675.

CL-2000-Tarau #named #prolog #refactoring

Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects (PT), pp. 1225–1239.

ASE-1999-CazzolaSST #architecture #behaviour #rule-based

Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level (WC, AS, AS, FT), pp. 263–266.

IFL-1999-DidrichGSTT #functional #programming language

Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.

EDOC-1999-RaverdyL #adaptation #distributed

Reflection support for adaptive distributed applications (PGR, RL), pp. 28–36.

UML-1999-SuzukiY #component #modelling #uml

Extending UML for Modelling Reflective Software Componentsa (JS, YY), pp. 220–235.

TOOLS-ASIA-1999-AmanoW #adaptation #object-oriented

LEAD++: An Object-Oriented Language Based on a Reflective Model for Dynamic Software Adaptation (NA, TW), pp. 41–50.

GCSE-1999-DHondtMW #logic programming #using

Using Reflective Logic Programming to Describe Domain Knowledge as an Aspect (MD, WDM, RW), pp. 16–23.

CADE-1999-Artemov #on the #proving #theorem proving #verification

On Explicit Reflection in Theorem Proving and Formal Verification (SNA), pp. 267–281.

FASE-1998-KahrsS #design #specification

Reflections on the Design of a Specification language (SK, DS), pp. 154–170.

WRLA-1998-Clavel #logic #maude

Reflection in general logics, rewriting logic, and Maude (MC), pp. 71–82.

CHI-1998-LohRRGRE #design #tool support

The Progress Portfolio: Designing Reflective Tools for a Classroom Context (BL, JR, ER, LMG, BJR, DCE), pp. 627–634.

ICPR-1998-LeiW #detection #novel #symmetry

A novel method for detecting and localising of reflectional and rotational symmetry under weak perspective projection (YL, KCW), pp. 417–419.

ICPR-1998-OngM #robust #segmentation #using

Robust color segmentation using the dichromatic reflection model (CKO, TM), pp. 780–784.

UML-1998-HamieCHKM #constraints #ocl

Reflections on the Object Constraint Language (AH, FC, JH, SK, RM), pp. 162–172.

ECOOP-1998-Guimaraes #static typing

Reflection for Statically Typed Languages (JdOG), pp. 440–461.

ECOOP-1998-MasuharaY #concurrent #design #partial evaluation

Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language (HM, AY), pp. 418–439.

OOPSLA-1998-SolorzanoA #java #morphism #parametricity #polymorphism

Parametric Polymorphism for Java: A Reflective Solution (JS, SA), pp. 216–225.

HPDC-1998-Nguyen-TuongCG #using

Extending Metasystem Functionality Using Reflection (ANT, SJC, ASG), pp. 346–347.

CHI-1997-Hansen #design #user interface

Reflections on I/Design: User Interface Design at a Startup (ALH), pp. 487–493.

SIGIR-1997-Saracevic #summary

Users Lost: Reflections on the Past, Future, and Limits of Information Science (Summary) (TS), pp. 1–2.

ECOOP-1997-Lunau #architecture #process

A Reflective Architecture for Process Control Applications (CPL), pp. 170–189.

TOOLS-USA-1997-HolstS #incremental #object-oriented

Incremental Table-Based Method Dispatch for Reflective Object-Oriented Languages (WH, DS), p. 63–?.

PLILP-1997-BartheHS

Reflections on Reflections (GB, JH, MHS), pp. 241–258.

TLCA-1997-Ruess #calculus #proving #theorem proving

Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving (HR), pp. 319–335.

RWLW-1996-ClavelM #logic

Reflection and strategies in rewriting logic (MC, JM), pp. 126–148.

RWLW-1996-KirchnerM

A reflective extension of ELAN (HK, PEM), pp. 149–168.

ICFP-1996-SabryW #call-by

A Reflection on Call-by-Value (AS, PW), pp. 13–24.

CAiSE-1996-HoriSO #data transformation #development #distributed #object-oriented

Shared Data Management Mechanism for Distributed Software Development Based on a Reflective Object-Oriented Model (MH, YS, KO), pp. 362–382.

ICPR-1996-TuzikovMH #performance #symmetry

Efficient computation of a reflection symmetry measure for convex polygons based on Minkowski addition (AVT, GLM, HJAMH), pp. 236–240.

CADE-1996-Ruess #deduction #framework

Reflection of Formal Tactics in a Deductive Reflection Framework (HR), pp. 628–642.

OOPSLA-1995-DucasseBP #dependence

A Reflective Model for First Class Dependencies (SD, MBF, AMPD), pp. 265–280.

OOPSLA-1995-MasuharaMAY #compilation #concurrent #object-oriented #partial evaluation #using

Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation (HM, SM, KA, AY), pp. 300–315.

ICLP-1995-BarklundDCL #semantics

Semantical Properties of SLD-Resolution with Reflection (JB, PD, SC, GAL), p. 830.

VLDB-1994-GaasterlandL

Qualified Answers That Reflect User Needs and Preferences (TG, JL), pp. 309–320.

OOPSLA-1994-DanforthF

Reflections on Metaclass Rorgramming in SOM (SD, IRF), pp. 440–452.

TOOLS-EUROPE-1994-SurendharA #evolution #object-oriented #using

Object-Oriented Type Evolution Using Reflection (MS, SA), pp. 271–280.

LOPSTR-1994-HoekMT #semantics

Formal Semantics of Temporal Epistemic Reflection (WvdH, JJCM, JT), pp. 332–352.

ICLP-1994-BarklundDCL #constraints

Reflection through Constraint Satisfaction (JB, PD, SC, GAL), p. 742.

ILPS-1994-BarklundDCL #named

SLD — Resolution with Reflection (JB, PD, SC, GAL), pp. 554–568.

LICS-1994-AbiteboulPV #power of #relational

The Power of Reflective Relational Machines (SA, CHP, VV), pp. 230–240.

PODS-1993-BusscheGV #algebra #programming #relational

Reflective Programming in the Relational Algebra (JVdB, DVG, GV), pp. 17–25.

CSM-1993-Arnold #maintenance

Reflections on Software Maintenance Progress 1983 — 1993 (RSA), pp. 409–410.

WSA-1993-Hudak #optimisation

Reflections on Program Optimization (PH), p. 193.

ICSE-1993-BandinelliF #approach #modelling #process

Computational Reflection in Software Process Modeling: The SLANG Approach (SB, AF), pp. 144–154.

ECOOP-1992-JagannathanA #inheritance

A Reflective Model of Inheritance (SJ, GA), pp. 350–371.

OOPSLA-1992-MasuharaMWY #concurrent #object-oriented

Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently (HM, SM, TW, AY), pp. 127–144.

OOPSLA-1992-Yokote #concept #implementation #operating system

The Apertos Reflective Operating System: The Concept and its Implementation (YY), pp. 414–434.

TOOLS-USA-1992-Alagic92a #polymorphism

Associated paper: Polymorphic and Reflective Type Structures (SA), p. 297.

DAC-1991-MattesWBD

Propagation Delay Calculation for Interconnection Nets on Printed Circuit Boards by Reflected Waves (HM, WW, GB, RD), pp. 567–572.

CHI-1991-Schultz #visual notation

A graphical reflection notation used in an intelligent discovery world tutoring system (JS), pp. 433–434.

KR-1991-AttardiS

Reflections about Reflection (GA, MS), pp. 22–31.

ECOOP-1991-MatsuokaWY #architecture #concurrent #hybrid #object-oriented #programming

Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming (SM, TW, AY), pp. 231–250.

ECOOP-1991-Rao

Implementational Reflection in Silica (RR), pp. 251–267.

CHI-1990-BlombergH #design #experience #lessons learnt

Reflections on participatory design: lessons from the trillium experience (JB, AH), pp. 353–360.

LICS-1990-AllenCHA #proving #semantics

The Semantics of Reflected Proof (SFA, RLC, DJH, WEA), pp. 95–105.

ECOOP-1989-YokoteTT #architecture #distributed #object-oriented #operating system

A Reflective Architecture for an Object-Oriented Distributed Operating System (YY, FT, MT), pp. 89–106.

OOPSLA-1989-Ferber #object-oriented

Computational Reflection in Class-Based Object-Oriented Languages (JF), pp. 317–326.

OOPSLA-1989-FooteJ

Reflective Facilities in Smalltalk-80 (BF, REJ), pp. 327–335.

LFP-1988-DanvyM

Intensions and Extensions in a Reflective Tower (OD, KM), pp. 327–341.

OOPSLA-1988-WatanabeY #concurrent #object-oriented

Reflection in an Object-Oriented Concurrent Language (TW, AY), pp. 306–315.

DAC-1987-CanrightH #logic

Reflections of High Speed Signals Analyzed as a Delay in Timing for Clocked Logic (REC, ARH), pp. 133–139.

HT-1987-Halasz #generative #hypermedia

Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems (FGH), pp. 345–365.

OOPSLA-1987-Maes #concept

Concepts and Experiments in Computational Reflection (PM), pp. 147–155.

LFP-1986-WandF

The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower (MW, DPF), pp. 298–307.

LFP-1984-FriedmanW #named

Reification: Reflection without Metaphysics (DPF, MW), pp. 348–355.

LFP-1984-RivieresS #implementation

The Implementation of Procedurally Reflective Languages (JdR, BCS), pp. 331–347.

POPL-1984-Smith #lisp #semantics

Reflection and Semantics in Lisp (BCS), pp. 23–35.

SOSP-1983-Silverman #kernel #operating system #security #verification

Reflections on the Verification of the Security of an Operating System Kernel (JMS), pp. 143–154.

VLDB-1982-LeDouxP #normalisation

Reflections on Boyce-Codd Normal Form (CHL, DSPJ), pp. 131–141.

ICALP-1980-AstesianoC

Languages with Reducing Reflective Types (EA, GC), pp. 38–50.

SOSP-J-1975-LampsonS76 #design #operating system

Reflections on an Operating System Design (BWL, HES), pp. 251–265.