2370 search results - page 31 / 474 » On the Revival of Dynamic Languages |
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
JAVA
1999
Springer
14 years 1 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
ECOOP
2010
Springer
13 years 10 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
FDL
2004
IEEE
14 years 17 days ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...