1023 search results - page 109 / 205 » A Formal Method for Program Slicing |
129
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
191
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
101
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
119
click to vote
CISIS
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
105
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...