858 search results - page 75 / 172 » Abstract Interpretation Based Verification of Logic Programs |
213
click to vote
AMCS
2011
14 years 7 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
ICFP
2010
ACM
15 years 2 days ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
100
click to vote
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
128
click to vote
PODS
1991
ACM
15 years 3 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...