3713 search results - page 301 / 743 » Constructing a Calculus of Programs |
178
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
126
click to vote
COMBINATORICS
2006
15 years 4 months ago
2006
In this paper, we prove the existence of a cyclic (v, 4, 1)-BIBD for v = 12t + 4, 3 t 50 using computer programs, which are useful in recursive constructions for cyclic designs....
148
click to vote
CASC
2010
Springer
15 years 3 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
130
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
129
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...