918 search results - page 84 / 184 » An Aspect Language for Robust Programming |
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
CTCS
1997
Springer
14 years 1 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
SP
2000
IEEE
14 years 17 days ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
SETP
2007
13 years 10 months ago
2007
To improve object-oriented technologies, roles are proposed to support separation of concerns, object collaboration, and object evolutions. Compared with classes, there is confusi...
AADEBUG
1997
Springer
14 years 1 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...