Sciweavers

TOPLAS
2008
79views more  TOPLAS 2008»
13 years 10 months ago
Witnessing side effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alex Aiken
TOPLAS
2008
77views more  TOPLAS 2008»
13 years 11 months ago
A programming model for concurrent object-oriented programs
Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Ru...
TOPLAS
2008
138views more  TOPLAS 2008»
13 years 11 months ago
Decomposing bytecode verification by abstract interpretation
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...
TOPLAS
2008
78views more  TOPLAS 2008»
13 years 11 months ago
A probabilistic language based on sampling functions
Sungwoo Park, Frank Pfenning, Sebastian Thrun
TOPLAS
2008
56views more  TOPLAS 2008»
13 years 11 months ago
XARK: An extensible framework for automatic recognition of computational kernels
Manuel Arenaz, Juan Touriño, Ramon Doallo
TOPLAS
2008
101views more  TOPLAS 2008»
13 years 11 months ago
Verifying policy-based web services security
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
TOPLAS
2008
58views more  TOPLAS 2008»
13 years 11 months ago
Perfect hashing as an almost perfect subtype test
Roland Ducournau
TOPLAS
2008
78views more  TOPLAS 2008»
13 years 11 months ago
The pitfalls of verifying floating-point computations
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
David Monniaux
TOPLAS
2008
55views more  TOPLAS 2008»
13 years 11 months ago
AspectML: A polymorphic aspect-oriented functional programming language
Daniel S. Dantas, David Walker, Geoffrey Washburn,...
TOPLAS
2008
83views more  TOPLAS 2008»
13 years 11 months ago
Java bytecode verification via static single assignment form
Andreas Gal, Christian W. Probst, Michael Franz