858 search results - page 131 / 172 » Abstract Interpretation Based Verification of Logic Programs |
104
Voted
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
122
click to vote
CIA
2004
Springer
15 years 8 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
94
Voted
MPC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
139
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
114
Voted
VTS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...