2947 search results - page 264 / 590 » Analyzing Program Analyses |
203
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
134
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
171
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
181
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
151
click to vote
CG
2008
Springer
15 years 8 months ago
2008
Springer
The UCT algorithm has been exceedingly popular for Go, a two-player game, significantly increasing the playing strength of Go programs in a very short time. This paper provides an ...