Sciweavers

7103 search results - page 132 / 1421
» Program Generation and Components
Sort
View
124
Voted
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 5 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
117
Voted
FORTE
2009
14 years 12 months ago
Typing Component-Based Communication Systems
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
Michael Lienhardt, Claudio Antares Mezzina, Alan S...
99
Voted
ATAL
2008
Springer
15 years 4 months ago
The design of a generic framework for integrating ECA components
Embodied Conversational Agents (ECAs) are life-like computer generated characters that interact with human users in face-to-face multi-modal conversations. ECA systems are general...
Hung-Hsuan Huang, Toyoaki Nishida, Aleksandra Cere...
104
Voted
POPL
2010
ACM
15 years 11 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
CASCON
1992
163views Education» more  CASCON 1992»
15 years 3 months ago
Practical metaprogramming
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
James R. Cordy, Medha Shukla