13734 search results - page 84 / 2747 » Abstractions of data types |
86
Voted
IHI
2010
14 years 9 months ago
2010
98
Voted
CHI
2011
ACM
14 years 6 months ago
2011
ACM
113
Voted
JOT
2007
15 years 2 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...
115
Voted
ENTCS
2008
15 years 2 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...
108
Voted
SPIN
1999
Springer
15 years 6 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...