16 search results - page 1 / 4 » Strong Preservation as Completeness in Abstract Interpretati... |
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
LOGCOM
2007
13 years 10 months ago
2007
IANDC
2008
13 years 11 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
ENTCS
2008
13 years 11 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
ENTCS
2007
13 years 10 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...