2370 search results - page 10 / 474 » On the Revival of Dynamic Languages |
ESORICS
2012
Springer
11 years 11 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
CSR
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
PPDP
2007
Springer
14 years 2 months ago
2007
Springer
FPCA
1991
14 years 8 days ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
POPL
2000
ACM
14 years 1 months ago
2000
ACM
