Abstract | ||
---|---|---|
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically typed languages is difficult to achieve because of the absence of a type checking phase and the support of an open-world assumption in which code can be constantly added and modified. To address this issue, we propose Dynamic Read-Only references (DRO) that provide a view on an object where this object and its object graph are protected from modification. The read-only view dynamically propagates to aggregated objects, without changing the object graph itself; it acts as a read-only view of complex data structures, without making them read-only globally. We implement dynamic read-only references by using smart object proxies that lazily propagate the read-only view, following the object graph and driven by control flow and applied them to realize side-effect free assertions. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-13953-6_7 | TOOLS (48) |
Keywords | DocType | Volume |
control flow,read-only execution,object graph,side effect free execution,dynamic read-only reference,read-only view dynamically propagates,dynamic language,complex data structure,aggregated object,read-only view,side-effect free assertion,smart object proxy | Conference | 6141 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-13952-3 | 12 |
PageRank | References | Authors |
0.55 | 23 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-Baptiste Arnaud | 1 | 12 | 0.89 |
Marcus Denker | 2 | 285 | 23.94 |
Stéphane Ducasse | 3 | 3418 | 243.15 |
Damien Pollet | 4 | 403 | 21.69 |
Alexandre Bergel | 5 | 366 | 53.15 |
Mathieu Suen | 6 | 45 | 2.07 |