A Formal Semantics for Weak References

A weak reference is a reference to an object that is not followed by the pointer tracer when garbage collection is called. That is, a weak reference cannot prevent the object it references from being garbage collected. Weak references remain a troublesome programming feature largely because there is not an accepted, precise semantics that describes their behavior (in fact, we are not aware of any formalization of their semantics). The trouble is that weak references allow reachable objects to be garbage collected, therefore allowing garbage collection to influence the result of a program. Despite this difficulty, weak references continue to be used in practice for reasons related to efficient storage management, and are included in many popular programming languages (Standard ML, Haskell, OCaml, and Java). We give a formal semantics for a calculus called λweak that includes weak references and is derived from Morrisett, Felleisen, and Harper’s λgc. λgc formalizes the notion of garbage collection by means of a rewrite rule. Such a formalization is required to precisely characterize the semantics of weak references. However, the inclusion of a garbage-collection rewrite-rule in a language with weak references introduces non-deterministic evaluation, even if the parameter-passing mechanism is deterministic (call-by-value in our case). This raises the question of confluence for our rewrite system. We discuss natural restrictions under which our rewrite system is confluent, thus guaranteeing uniqueness of program result. We define conditions that allow other garbage collection algorithms to co-exist with our semantics of weak references. We also introduce a polymorphic type system to prove the absence of erroneous program behavior (i.e., the absence of “stuck evaluation”) and a corresponding type inference algorithm. We prove the type system sound and the inference algorithm sound and complete.

Towards Formalizing Java's Weak References

Weak references provide the programmer with limited control over the process of memory management. By using them, a programmer can make decisions based on previous actions that are taken by the garbage collector. Although this is often helpful, the outcome of a program using weak references is less predictable due to the nondeterminism they introduce in program evaluation. It is therefore desirable to have a framework of formal tools to reason about weak references and programs that use them. We present several calculi that formalize various aspects of weak references, inspired by their implementation in Java. We provide a calculus to model multiple levels of non-strong references, where a different garbage collection policy is applied to each level. We consider different collection policies such as eager collection and lazy collection. Similar to the way they are implemented in Java, we give the semantics of eager collection to weak references and the semantics of lazy collection to soft references. Moreover, we condition garbage collection on the availability of time and space resources. While time constraints are used in order to restrict garbage collection, space constraints are used in order to trigger it. Finalizers are a problematic feature in Java, especially when they interact with weak references. We provide a calculus to model finalizer evaluation. Since finalizers have little meaning in a language without side-effect, we introduce a limited form of side effect into the calculus. We discuss determinism and the separate notion of uniqueness of (evaluation) outcome. We show that in our calculus, finalizer evaluation does not affect uniqueness of outcome.

A study on community participation in disease control programmes, with references to control of filariasis in Alappuzha District

This thesis throws light on the influence of community in the social life of mankind. The study revolves round the fact that health care is by the people rather than health care is for the people. The thesis tries to analyze the role of community organizational social agencies in the control of Filariasis.The study examines the factors which influence community participation. and the effectiveness of health education in the control of Filariasis.the thesis emphasizes the effective tools and means of health education That helps to To evolve an appropriate method for the management of community Participation. The study shows that. A well informed community can participate successfully and meaningfully in disease control programmes.

Role of academic bodies with special references to the academic programmes in the universities in Kerala

This makes a thorough study of Role of Academic Bodies with Special Reference to the Academic Programmes in the Universities in Kerala. The present study has dealt with the constitution, powers and functions of the authorities of the universities in Kerala, especially the academic bodies which have well-defined powers and function. This thesis gives in detail the role and functions of the academic bodies in the four universities in Kerala, under study: and examines the role-effectiveness of these bodies. To sum up, it can be concluded that the academic bodies in the universities in Kerala do not function as effectively as envisaged in the laws of the universities. They have a maintenance-oriented approach rather than a dynamic one, without thinking in terms of introducing innovations. They need improvement in the various aspects of their constitution, selection of members and their mode of functioning

JavaScript Background References

Background material for learning JavaScript, including User Guide and Reference manual plus the JavaScript Shell and the JQuery library.

How to Cite References - School of Geography

This is a quick guide for students to learn the appropriate Harvard referencing style in academic writing.

Academic Integrity Guidelines - Quiz and References

A multiple-choice quiz to test a student's understanding of academic integrity and plagiarism. A range of quiz formats including Blackboard, IMS-QTI, plain text and Respondus is available for users to download.

Managing References

This collection holds notes on using bibliographic software, Reference Manager, EndNote, EndNote Web

Managing References presentation

A short PowerPoint presentation to introduce how to Manage Refences. This can be used with notes for Reference Manager, EndNote or EndNote Web.

References

List of references in Harvard style for our resource set

Info2009-Cwk2-InfoS-References

Reference List for Info2009 Coursework 2 Group: InfoS