337 search results - page 2 / 68 » Types and Programming Languages: The Next Generation |
POPL
2011
ACM
12 years 7 months ago
2011
ACM
STTT
2010
13 years 3 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
ADBIS
2007
Springer
13 years 11 months ago
2007
Springer
ODRA (Object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of I...
SAC
2011
ACM
12 years 7 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
SAC
2010
ACM
13 years 11 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...