811 search results - page 62 / 163 » Probabilistic Semantics and Program Analysis |
122
Voted
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
111
Voted
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
154
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
124
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
239
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...