16 search results - page 1 / 4 » Strong Preservation as Completeness in Abstract Interpretati... |
89
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
71
Voted
LOGCOM
2007
15 years 21 days ago
2007
116
click to vote
IANDC
2008
15 years 27 days 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...
98
Voted
ENTCS
2008
15 years 27 days 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...
104
Voted
ENTCS
2007
15 years 24 days 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 ...