4211 search results - page 93 / 843 » Types as Abstract Interpretations |
121
Voted
APLAS
2010
ACM
15 years 29 days ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
138
Voted
LFCS
1994
Springer
15 years 7 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
141
Voted
ACSC
2007
IEEE
15 years 7 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
141
Voted
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
The efficient market hypothesis states that an efficient market immediately incorporates all available information into the price of the traded entity. It is well established that...
141
Voted
ISER
1995
Springer
15 years 7 months ago
1995
Springer
We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the an...