2370 search results - page 10 / 474 » On the Revival of Dynamic Languages |
220
click to vote
ESORICS
2012
Springer
13 years 8 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...
142
Voted
CSR
2010
Springer
15 years 10 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 ...
131
Voted
FPCA
1991
15 years 9 months 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...
