861 search results - page 127 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
95
Voted
ITICSE
2006
ACM
15 years 8 months ago
2006
ACM
Learning elementary programming can be enhanced by introducing the notion of variable roles to students. This paper presents a web-based automatic role detection service that can ...
148
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
141
Voted
ERLANG
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
113
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
149
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...