4722 search results - page 222 / 945 » Encoding Program Executions |
165
click to vote
PPPJ
2003
ACM
15 years 11 months ago
2003
ACM
We present empirical evidence to demonstrate that there is little or no difference between the Java Virtual Machine and the .NET Common Language Runtime, as regards the compilati...
141
click to vote
SIGCSE
1995
ACM
15 years 9 months ago
1995
ACM
We present a package which provides a visually oriented simulation of the execution of machine and assembly language programs on a simple computer. The programs am written for Hyp...
149
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
157
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
166
click to vote
HICSS
2007
IEEE
16 years 19 days ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...