899 search results - page 105 / 180 » A CTL-Based Logic for Program Abstractions |
293
click to vote
DAC
2012
ACM
13 years 2 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
208
click to vote
POPL
2007
ACM
16 years 25 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
116
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
78
Voted
CSMR
2006
IEEE
15 years 6 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
107
click to vote
CLIMA
2004
15 years 1 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...