13734 search results - page 84 / 2747 » Abstractions of data types |
IHI
2010
13 years 3 months ago
2010
CHI
2011
ACM
13 years 14 days ago
2011
ACM
JOT
2007
13 years 8 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
ENTCS
2008
13 years 9 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...
SPIN
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...