526 search results - page 59 / 106 » Programming in JoCaml (Tool Demonstration) |
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
TOOLS
1997
IEEE
14 years 21 days ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...