2596 search results - page 18 / 520 » Gradual Typing for Objects |
107
click to vote
TGC
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
MST
2008
14 years 9 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
LEGE
2004
14 years 11 months ago
2004
In this paper we discuss the TestTool system as an established testing system model, the one that is being used in real educational settings and supports self-assessment as well as...
GI
2004
Springer
15 years 2 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer