Sciweavers

127 search results - page 10 / 26
» Object Composition in Scenario-Based Programming
Sort
View
ESOP
2006
Springer
13 years 11 months ago
Types for Dynamic Reconfiguration
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
João Costa Seco, Luís Caires
DOCENG
2004
ACM
14 years 27 days ago
Page composition using PPML as a link-editing script
The advantages of a COG (Component Object Graphic) approach to the composition of PDF pages have been set out in a previous paper [1]. However, if pages are to be composed in this...
Steven R. Bagley, David F. Brailsford
POPL
2005
ACM
14 years 7 months ago
Polymorphic bytecode: compositional compilation for Java-like languages
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
Davide Ancona, Ferruccio Damiani, Sophia Drossopou...
ASE
2005
102views more  ASE 2005»
13 years 7 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
TOOLS
1997
IEEE
13 years 11 months ago
JBCDL: An Object-Oriented Component Description Language
This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). ...
Qiong Wu, Jichuan Chang, Hong Mei, Fuqing Yang