Sciweavers

1932 search results - page 206 / 387
» Molecule-oriented programming in Java
Sort
View
112
Voted
KBSE
2008
IEEE
15 years 7 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
15 years 6 months ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
ECOOP
2000
Springer
15 years 5 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
IJIT
2004
15 years 2 months ago
Rule-Based Message Passing for Collaborative Application in Distributed Environments
In this paper, we describe a rule-based message passing method to support developing collaborative applications, in which multiple users share resources in distributed environments...
Wataru Yamazaki, Hironori Hiraishi, Fumio Mizoguch...
JUCS
2006
100views more  JUCS 2006»
15 years 23 days ago
Expressing Workflow Patterns for Web Services: The Case of PEWS
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...
Martin A. Musicante, Edinardo Potrich