949 search results - page 64 / 190 » Relating Imperatives to Action |
162
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
118
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
105
click to vote
ICN
2005
Springer
15 years 9 months ago
2005
Springer
The ambient networking approach includes the flexibility of every end system to be not just a node but also an entire network. The end user entities are, in the majority of use cas...
114
click to vote
CLOUD
2010
ACM
15 years 8 months ago
2010
ACM
Large-scale, user-facing applications are increasingly moving from relational databases to distributed key/value stores for high-request-rate, low-latency workloads. Often, this m...
133
click to vote
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...