Filters








1,790 Hits in 1.5 sec

Flexible Immutability with Frozen Objects [chapter]

K. Rustan M. Leino, Peter Müller, Angela Wallenburg
Lecture Notes in Computer Science  
This paper presents a flexible technique to enforce the immutability of individual objects by transferring their ownership to a special freezer object, which prevents further modification.  ...  Object immutability is a familiar concept that allows safe sharing of objects. Existing language support for immutability is based on immutable classes.  ...  Oval [18] achieves per-object immutability by setting the owner to bottom. This is done when the object is created and, thus, not as flexible as frozen objects. Haack et al.  ... 
doi:10.1007/978-3-540-87873-5_17 fatcat:kbpcqyd5njfzrorm55yfwuzlcu

Flexible initialization of immutable objects

Tyler Etzel
2016 Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2016  
Immutability is a valuable feature for programmers in object oriented languages: making objects immutable often simplifies reasoning about the correctness of code, particularly when concurrency is present  ...  System One is simple, more expressive, and provides object-level immutability; System Two has more complicated annotation, is less expressive, and ensures that immutable objects are fully initialized in  ...  Changing from the liquid to frozen state occurs at the end of the initialization scope. Our system guarantees object-level immutability for frozen objects.  ... 
doi:10.1145/2984043.2998541 dblp:conf/oopsla/Etzel16 fatcat:kilnuccnlzaj7kdn6o4qnbhzgu

Immutability and Design Patterns in Ruby [article]

Seamus Brady
2021 arXiv   pre-print
This paper examines three ways in which Immutability, a common Functional Programming technique, can be used to develop immutable objects in Ruby.  ...  Functional Programming has seen a resurgence in interest in the last few years and is often mentioned in opposition to Object-Orientated Programming.  ...  Summary In this paper, the three Immutable Design Patterns in Table 1 were discussed.  ... 
arXiv:2104.00379v1 fatcat:w77n4yjsmfc5jn7oow5mf7vvzy

Immutability [chapter]

Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst
2013 Lecture Notes in Computer Science  
Since read-only references do not preclude the existence of mutable aliases, readonly references do not guarantee object immutability, unless read-only references are combined with an alias/escape analysis  ...  In this chapter we briefly survey possible definitions of immutability and present recent work by the authors on adding immutability to object-oriented languages and how it impacts aliasing.  ...  Frozen Objects show how flexible the initialization stage can potentially be in the presence of ownership and immutability, while, for example, OIGJ shows how much flexibility can be achieved while staying  ... 
doi:10.1007/978-3-642-36946-9_9 fatcat:ufhtbk2nmzhudf5xy4t6eae4wy

Ownership and immutability in generic Java

Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst
2010 SIGPLAN notices  
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable, and readonly data and  ...  OIGJ can express the factory and visitor patterns, and OIGJ can type-check Sun's java.util collections (except for the clone method) without refactoring and with only a small number of annotations.  ...  Frozen Objects show how flexible the initialization stage can potentially be in the presence of ownership and immutability, while OIGJ shows how much flexibility can be achieved while staying at the type  ... 
doi:10.1145/1932682.1869509 fatcat:lam4j4iapjahxnsxguz76bwse4

Ownership and immutability in generic Java

Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst
2010 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10  
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable, and readonly data and  ...  OIGJ can express the factory and visitor patterns, and OIGJ can type-check Sun's java.util collections (except for the clone method) without refactoring and with only a small number of annotations.  ...  Frozen Objects show how flexible the initialization stage can potentially be in the presence of ownership and immutability, while OIGJ shows how much flexibility can be achieved while staying at the type  ... 
doi:10.1145/1869459.1869509 dblp:conf/oopsla/ZibinPLAE10 fatcat:xtth7xgisjho3fqickzabmhf6q

Trustworthy Proxies [chapter]

Tom Van Cutsem, Mark S. Miller
2013 Lecture Notes in Computer Science  
Proxies are a common technique to virtualize objects in object-oriented languages.  ...  This is necessary to ensure the integrity of the invariant associated with frozen objects ("properties of a frozen object are immutable").  ...  Language Invariants in Javascript Javascript is known as a dynamic language, primarily because its core abstractionobjects with prototype-based inheritance -is extremely flexible.  ... 
doi:10.1007/978-3-642-39038-8_7 fatcat:fccpwe22hrfizmbqxpwyly46bm

Page 517 of Journal of Management Education Vol. 21, Issue 4 [page]

1997 Journal of Management Education  
Determinism in relations between categories and/or dimensions—causes are certain and immutable. Restricted temporality—frozen as a single moment in time.  ...  Jabri / CLASSROOM DELIVERY OF ORGANIZATION THEORY 517 TABLE 1 Modes to Classroom Delivery Mode A (problem solving) Primacy of perceptual and/or objective measures.  ... 

Uniqueness and reference immutability for safe parallelism

Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy
2012 SIGPLAN notices  
The type system includes support for polymorphism over type qualifiers, and can easily create cycles of immutable objects.  ...  Key to the system's flexibility is the ability to recover immutable or externally unique references after violating uniqueness without any explicit alias tracking.  ...  code also demonstrates the flexibility of combining the rules for recovering isolated or immutable references with parallelism.  ... 
doi:10.1145/2398857.2384619 fatcat:4k5vjnvjnrddhpj6hk4ybho5cy

Uniqueness and reference immutability for safe parallelism

Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
The type system includes support for polymorphism over type qualifiers, and can easily create cycles of immutable objects.  ...  Key to the system's flexibility is the ability to recover immutable or externally unique references after violating uniqueness without any explicit alias tracking.  ...  code also demonstrates the flexibility of combining the rules for recovering isolated or immutable references with parallelism.  ... 
doi:10.1145/2384616.2384619 dblp:conf/oopsla/GordonPPBD12 fatcat:2n3rtg2trrcalessoccvspj7di

Type-Based Object Immutability with Flexible Initialization [chapter]

Christian Haack, Erik Poll
2009 Lecture Notes in Computer Science  
We present a type system for checking object immutability, reference immutability, and class immutability in an open or closed world.  ...  In order to separate object initialization from object constructors (which is often needed in practice), immutable objects are initialized in lexically scoped regions.  ...  Closed-world (but not open-world) class immutability can be encoded with frozen objects, assuming that every component plays by Boogie's rules.  ... 
doi:10.1007/978-3-642-03013-0_24 fatcat:7js5yjase5cslgu2mnjfom5mti

Object Ownership in Program Verification [chapter]

Werner Dietl, Peter Müller
2013 Lecture Notes in Computer Science  
Dealing with aliasing is one of the key challenges for the verification of imperative programs.  ...  Object ownership was one of the first approaches that allowed programmers to control aliasing and to restrict the operations that can be applied to a reference.  ...  The Frozen attribute indicates that the method result is immutable. The code snippet in Fig. 8 illustrates the ownership solution to immutability.  ... 
doi:10.1007/978-3-642-36946-9_11 fatcat:6pxvagtes5gzxeeoxwhk3f4aqm

Digital mapping interfaces: From immutable mobiles to mutable images

Sybille Lammes
2016 New Media & Society  
Abstract: In this article I discuss how digital mapping interfaces ask users to engage with images on screens in far more performative and active ways and how this changes the immutable status of the map  ...  Digital mapping interfaces invite us to touch, talk and move with them, actions that have a reciprocal effect on the look of the image of the map.  ...  Yet, the term 'sign-thing' or quasi-object doesn't equate with how Galloway comprehends objects (hence the term 'thing').  ... 
doi:10.1177/1461444815625920 fatcat:sobz4pno2ne67duhb4xakwho4a

Object oriented framework development

Marcus Eduardo Markiewicz, Carlos J. P. de Lucena
2001 XRDS Crossroads The ACM Magazine for Students  
These points of immutability constitute the kernel of a framework, also called the frozen spots of the framework.  ...  Hot spots and frozen spots are modeled (perhaps with the Unified Modeling Language [1] diagrams), and the extensibility and flexibility proposed in the domain analysis is outlined.  ... 
doi:10.1145/372765.372771 fatcat:hqmgx43czjhvdiiwwkprqjeisq

Page 165 of Modern Philology Vol. 51, Issue 3 [page]

1954 Modern Philology  
.* But, continuing to judge by our own standards, we may admit that there is some conflict between flexible real- ity and frozen artifice; and we should try to understand why.  ...  Knight’s objection is that in Milton’s case it resulted in an inordinate number of “terms of human artistry.”’  ... 
« Previous Showing results 1 — 15 out of 1,790 results