1075 search results - page 1 / 215 » A Formal Type System for Java |
JOT
2007
13 years 5 months ago
2007
ECOOP
2008
Springer
13 years 7 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
KBSE
2008
IEEE
14 years 18 hour ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
ECOOP
2005
Springer
13 years 11 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
FORTE
2009
13 years 3 months ago
2009
