Sciweavers

2370 search results - page 43 / 474
» On the Revival of Dynamic Languages
Sort
View
POPL
2012
ACM
12 years 4 months ago
A type system for borrowing permissions
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kev...
CD
2005
Springer
14 years 2 months ago
Propagative Deployment of Hierarchical Components in a Dynamic Network
Abstract. This paper addresses the distribution and the deployment of hierarchical components on heterogeneous dynamic networks. Such networks may include fixed and mobile resourc...
Didier Hoareau, Yves Mahéo
ECOOP
2004
Springer
14 years 2 months ago
AOP and Reflection for Dynamic Hyperslices
In this paper we present a Model for Dynamic Hyperslices which uses a particular Aspect-Oriented (AO) approach – Hyperspaces – for decomposition and reflection as a means for ...
Ruzanna Chitchyan, Ian Sommerville
POPL
2011
ACM
12 years 11 months ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
GPCE
2008
Springer
13 years 10 months ago
Code generation to support static and dynamic composition of software product lines
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
Marko Rosenmüller, Norbert Siegmund, Gunter S...