4722 search results - page 450 / 945 » Encoding Program Executions |
158
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
180
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
174
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
176
click to vote
IADIS
2008
15 years 7 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
195
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...