researchr - search publication computational reflection

researchr

You are not signed in
Sign in
Sign up

73 publication results matching 'computational reflection'

A Formal Analysis of Smithsonian Computational ReflectionInge M. C. Lemmens, Peter J. Braspenning. reflection 1999: 135-137 [doi]
Concepts and Experiments in Computational Reflection
… reflection. A definition of computational reflection is presented, the importance of computational reflection is discussed and the architecture of languages that support reflection is studied. Further, this paper presents a survey of some …
Pattie Maes. OOPSLA 1987: 147-155 [doi]
Computational ReflectionPattie Maes. ki 1987: 251-265
A computational reflection mechanism to support platform debugging in SystemC
… that relies on computational reflection to enable designers to interact … contents. The reflection mechanism was implemented using a C++ reflection …
Bruno Albertini, Sandro Rigo, Guido Araujo, Cristiano C. de Araujo, Edna Barros, Willians Azevedo. codes 2007: 81-86 [doi]
Computational reflectionPattie Maes. ker, 3(1):1-19, 1988. [doi]
Non-restrictive computational reflectionFrancisco Ortin, Juan Manuel Cueva Lovelle. csi, 25(3):241-251, 2003. [doi]
Computational Reflection in PowerEpsilonMing-Yuan Zhu. SIGPLAN, 29(1):13-19, 1994.
Compositional Computational ReflectionGregory Malecha, Adam J. Chlipala, Thomas Braibant. itp 2014: 374-389 [doi]
Computational Reflection for Embedded Java SystemsAntonella Di Stefano, Marco Fargetta, Emiliano Tramontana. otm 2003: 437-450 [doi]
Enabling Collaboration Transparency with Computational ReflectionPedro García López, Enrique Fernández-Casado, Carles Angles, Maria Ferre. criwg 2010: 249-264 [doi]
Using Computational Reflection in Optimistic Distributed SimulationsFernando Vardânega, Carlos Maziero. sccc 1999: 1-8 [doi]
Separating Adaptable Persistence Attributes through Computational ReflectionFrancisco Ortin, Benjamín López, J. Baltasar García Perez-Schofield. IEEE Software, 21(6):41-49, 2004. [doi]
Using Ambient in Computational Reflection Semantics DescriptionJianghua Lv, Shilong Ma, Aili Wang, Jing Pan. iccnmc 2005: 1105-1114 [doi]
An Abstract Architecture for Computational Reflection in Multi-Agent SystemsMartin Rehák, Jan Tozicka, Michal Pechoucek, Filip Zelezný, Milan Rollo. iat 2005: 128-131 [doi]
Computational Reflection in Class-Based Object-Oriented LanguagesJacques Ferber. OOPSLA 1989: 317-326
Computational Reflection in Software Process Modeling: The SLANG ApproachSergio Bandinelli, Alfonso Fuggetta. ICSE 1993: 144-154 [doi]
Reflection in logic, functional and object-oriented programming: a Short Comparative Study
… Reflection is a wide-ranging concept that has been studied independently …. In this paper, we propose a synthesis covering mainly the application of computation reflection to programming languages. We compare the different approaches and try …
François-Nicola Demers, Jacques Malenfant. In In IJCAI '95 Workshop on Reflection and Metalevel Architectures and their Applications in AI. 1995:
Unifying Science Through Computation: Reflections on Computability and PhysicsEdwin J. Beggs, José Félix Costa. In Olga Pombo, Juan Manuel Torres, John Symons, Shahid Rahman, editors, Special Sciences and the Unity of Science. Volume 24 of Logic, Epistemology, and the Unity of Science, pages 53-80, Springer, 2012. [doi]
Computational reflection and its application to platform verificationBruno Albertini, Sandro Rigo, Guido Araujo. dafes, 16(1):1-17, 2012. [doi]
Computational reflection via mechanized logical deductionAlessandro Cimatti, Paolo Traverso. ijis, 11(5):279-293, 1996. [doi]

Sign in or sign up to see more results.

runs on WebDSL