5255 search results - page 309 / 1051 » Formal Methods for Privacy |
123
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
124
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
123
click to vote
ICFCA
2009
Springer
15 years 9 months ago
2009
Springer
We present an approach to the cell formation problem, known from group technology, which is inspired by formal concept analysis. The cell formation problem consists in allocating p...
153
click to vote
KI
1990
Springer
15 years 8 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
161
click to vote
FORTE
2009
15 years 2 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...