Sciweavers

975 search results - page 161 / 195
» Declarative Aspect-Oriented Programming
Sort
View
SCAM
2007
IEEE
14 years 5 months ago
Extending Attribute Grammars with Collection Attributes--Evaluation and Applications
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
Eva Magnusson, Torbjörn Ekman, Görel Hed...
DALT
2007
Springer
14 years 5 months ago
Towards Alternative Approaches to Reasoning About Goals
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
Patricia H. Shaw, Rafael H. Bordini
ECOOP
2007
Springer
14 years 5 months ago
Morphing: Safely Shaping a Class in the Image of Others
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
Shan Shan Huang, David Zook, Yannis Smaragdakis
ECOOP
2004
Springer
14 years 4 months ago
Object Invariants in Dynamic Contexts
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
K. Rustan M. Leino, Peter Müller
SIGCSE
2010
ACM
150views Education» more  SIGCSE 2010»
14 years 4 months ago
Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field
While the discipline of computing has evolved significantly in the past 30 years, Computer Science curricula have not as readily adapted to these changes. In response, we have rec...
Mehran Sahami, Alex Aiken, Julie Zelenski