3713 search results - page 401 / 743 » Constructing a Calculus of Programs |
141
click to vote
PPOPP
2012
ACM
14 years 9 days ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...
253
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
172
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
119
click to vote
ITICSE
2005
ACM
15 years 10 months ago
2005
ACM
We explored two approaches for encouraging introductory programming students to use the web-based, selfassessment system, QuizPACK. An "organizational" approach applied ...
116
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...