4211 search results - page 327 / 843 » A formal approach to MASQ |
186
Voted
IFL
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
185
click to vote
ASM
2005
ASM
16 years 10 days ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
152
click to vote
FMCO
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
159
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
170
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...