130 search results - page 4 / 26 » The Semantics of Scheme Control-Flow Analysis |
151
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
111
click to vote
ACSD
2001
IEEE
15 years 1 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
ICWS
2004
IEEE
14 years 11 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
114
Voted
SIGCOMM
1991
ACM
15 years 1 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...