3713 search results - page 335 / 743 » Constructing a Calculus of Programs |
137
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
127
click to vote
JWE
2006
15 years 4 months ago
2006
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
100
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
131
click to vote
TGC
2005
Springer
15 years 10 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
141
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...