2253 search results - page 164 / 451 » An Approach to Specifying Software Frameworks |
121
Voted
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
140
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
130
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
179
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
150
click to vote
FCA
2005
Springer
15 years 9 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...