164 search results - page 16 / 33 » Feature Descriptions for Context-oriented Programming |
107
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Modern IDEs for object-oriented languages like Java provide support for a basic set of simple automated refactorings whose behaviour is easy to describe intuitively. It is, howeve...
117
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
84
Voted
ENTCS
2008
15 years 13 days ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
107
Voted
ICFP
2003
ACM
16 years 10 days ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
APSEC
1999
IEEE
15 years 4 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...