carnegie-mellon univ pittsburgh pa school of computer science, 2004
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can...
carnegie-mellon univ pittsburgh pa school of computer science, 2008
Software frameworks contain constraints with unusual properties. The constraints frequently span multiple objects and classes, and they change according to the...
carnegie-mellon univ pittsburgh pa school of computer science, 2008
Multiple inheritance has long been plagued with the "diamond" inheritance problem, leading to solutions that restrict expressiveness, such as mixins and...
carnegie-mellon univ pittsburgh pa inst of software research internat, 2008
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on...
carnegie-mellon univ pittsburgh pa school of computer science, 2007
A number of type systems have used typestates to specify and statically verify protocol compliance. Aliasing is a major challenge for these systems. This paper...
carnegie-mellon univ pittsburgh pa inst of software research internat, 2008
In this technical report, we present a static and dynamic semantics as well as a proof of soundness for a programming language presented in the paper entitled,...
carnegie-mellon univ pittsburgh pa school of computer science, 2008
For many object-oriented systems, it is useful to have a runtime architecture, that shows networks of objects. But it is hard to statically extract runtime...
carnegie-mellon univ pittsburgh pa dept of computer science, 2008
We recently developed a static analysis to extract runtime architectures from object-oriented programs written in existing languages. The approach relies on...
carnegie-mellon univ pittsburgh pa school of computer science, 2007
The benefits of architectural analyses are only achieved if one can guarantee that the implementation conforms to the architecture. We propose an approach for...
carnegie-mellon univ pittsburgh pa school of computer science, 2006
Unlike many proposed designs for ownership type systems, AliasJava has had a publicly available implementation for a few years and has been applied on several...
Publication gouvernementale
Filtrer vos résultats
Opération réussie
L’élément a été sauvegardé.
Opération réussie
Cet élément a été retiré.
Erreur
Vous avez dépassé le nombre maximal de 100 résultats sauvegardés.
Erreur
Impossible de sauvegarder l’élément. Veuillez réessayer. Si le problème persiste, il pourrait y avoir un problème avec l’élément.
Erreur
Impossible de supprimer l’article demandé. Veuillez réessayer plus tard.