526 search results - page 62 / 106 » Towards the Verifying Compiler |
PRIMA
2004
Springer
15 years 3 months ago
2004
Springer
This paper introduces teams of personal agents that support users individually in electronic negotiations. These agents listen to the running negotiation and to each other to point...
OOPSLA
2001
Springer
15 years 2 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
FM
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
ASPDAC
2001
ACM
15 years 1 months ago
2001
ACM
Power-efficient design requires reducing power dissipation in all parts of the design and during all stages of the design process subject to constraints on the system performance ...
PST
2008
14 years 11 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...