4211 search results - page 343 / 843 » Types as Abstract Interpretations |
174
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order ...
164
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
174
Voted
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
197
click to vote
ISSAC
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
157
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Change detection enables an evolutionary algorithm operating in a dynamic environment to respond with undertaking necessary steps for maintaining its performance. We cons...