Sciweavers

271 search results - page 1 / 55
» Observational Completeness on Abstract Interpretation
Sort
View
WOLLIC
2009
Springer
14 years 5 months ago
Observational Completeness on Abstract Interpretation
Gianluca Amato, Francesca Scozzari
ESOP
2004
Springer
14 years 4 months ago
Strong Preservation as Completeness in Abstract Interpretation
Francesco Ranzato, Francesco Tapparo
FASE
2010
Springer
14 years 5 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
ICALP
2011
Springer
13 years 2 months ago
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
Silvia Crafa, Francesco Ranzato
ENTCS
2007
121views more  ENTCS 2007»
13 years 10 months ago
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
Peter Selinger