MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Reflections." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 202,728 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Reflections  
  • by David Robinson
  • …Neighbourhood experiences of new immigration Reflections from the evidence base David Robinson…
  • Add To MetaCart
  • Reflections on Reflections  
  • by Gilles Barthe, John Hatcliff, Morten Heine Sørensen, Morten Heine S��rensen — 1997
  • …Reflections on Reflections Gilles Barthe 1 , John Hatcliff 2 , and Morten Heine S��rensen 3 1…
  • Cited by 4 (0 self) – Add To MetaCart
  • Reflective Interfaces  
  • by Donald Liib — 1993
  • …Reflective interfaces A Position paper for the OOPSLA'93 Workshop on Reflection and Metalevel…
  • Add To MetaCart
  • Reflections in Opal  
  • by Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón-y-Widemann, Technische Universitat Berlin
  • … Re ection Types SIGNATURE Reflection TYPE name == name (identifier : string, kind : kind, struct…
  • Add To MetaCart
  • Parallel Reflection  
  • by Shinji Kono, Mario Tokoro — 1991 — Technical memo SCSL-TM90 -011, Sony CSL
  • … Parallel Reflection Shinji Kono and Mario Tokoro e-mail:kono@(email omitted); Sony Computer Science…
  • Cited by 2 (0 self) – Add To MetaCart
  • Reflective design  
  • by Phoebe Sengers, Kirsten Boehner, Shay David, Joseph ‘jofish Kaye — 2005 — Proceedings of Critical Computing
  • …Reflective Design Phoebe Sengers, Kirsten Boehner, Shay David and Joseph ‘Jofish’ Kaye Culturally…
  • Cited by 18 (2 self) – Add To MetaCart
  • Reflective Designs  
  • by Robert Hirschfeld, Ralf Lämmel — IEE Proceedings Software (2004), Special Issue on Reusable Software Libraries
  • …Reflective designs Robert Hirschfeld   ¤ ¡£¢ and Ralf Lämmel ¥ DoCoMo Communications Laboratories…
  • Cited by 2 (2 self) – Add To MetaCart
  • The Reflection Theorem  
  • by Grzegorz Bancerek — 1990 — Journal of Formalized Mathematics
  • …, University of Bia/lystok The Reflection Theorem Grzegorz Bancerek Warsaw University Bia/lystok Summary…
  • Cited by 211 (46 self) – Add To MetaCart
  • Hierarchical Reflection  
  • by Luís Cruz-filipe
  • …Abstract. The technique of reflection is a way to automate proof construction in type theoretical proof assistants. Reflection is based on the definition of a type of syntactic expressions that gets interpreted in the domain of discourse. By allowing the interpretation function to be partial or even…
  • Cited by 2 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB