3605 search results - page 245 / 721 » Associated types with class |
164
click to vote
SIGCSE
2004
ACM
16 years 20 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
205
click to vote
TPHOL
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
144
click to vote
PADL
1999
Springer
15 years 11 months ago
1999
Springer
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...
214
click to vote
FLOPS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
198
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...