1665 search results - page 154 / 333 » Design Patterns as Language Constructs |
192
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
169
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
122
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
153
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
184
click to vote
DBSEC
2004
15 years 7 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...