Abstract : Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is ...

Important Dates Submission of abstracts : PAPERPRESUBMISSION Submission of papers : PAPERSUBMISSION Paper notification : PAPERNOTIFICATION Camera ready papers : PAPERCAMERAREADY ...

Abstract : Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its ...

Abstract : Enterprise distributed real-time and embedded (DRE) systems are increasingly being developed with the use of component-based software techniques. Unfortunately ...

Abstract : The adoption of a product line strategy can bring signi #64257;cant productivity and time to market improvements. However, evolving a product line is risky ...

Abstract : Type inference is the process of constructing a typing derivation while gradually discovering type information. During this process, inference algorithms ...