The essence of static and dynamic bindings
نویسندگان
چکیده
Static binding is the standard binding discipline in programming languages. However, the demands of developing distributed, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Typically, this needs are satisfied by hoc mechanisms that lack clean semantics. In this paper, we adopt a foundational approach, developing a core dynamic rebinding mechanism as an extension of the simply typed call-by-value λ-calculus. The extension proposed is inspired by the treatment of open code in [1] and it relays on the following ideas:
منابع مشابه
Monologism of Hofstede’s Static Model vs Dialogism of Fang’s Dynamic Model: Contradictory Value Configuration of Cultures through the Case Study of Farsi Proverbs
Among various cultural models, the dichotomy of static versus dynamic models has provided a fertile ground for research. Although a number of static models are suggested, the dominant trend in almost all static models is provided by Hofstede who focuses on cultural differences along four major dimensions (power distance, individualism, uncertainty avoidance, and masculinity) and reduces “the co...
متن کاملSystem Structuring: A Convergence of Theory and Practice?
Darwin is a general purpose structuring tool of use in building complex distributed systems from diverse components and diverse component interaction mechanisms. It is in essence a declarative binding language which can be used to define hierarchic compositions of interconnected components. Distribution is dealt with orthogonally to system structuring. The language allows the specification of b...
متن کاملEffect of weight transfer training on static and dynamic balance of older women
The aim of this study was to determine the effect of weight transfer training on static and dynamic balance of older women. 20 accessible subjects that met our criteria divided randomly into two experimental and control groups. The experimental group trained for 6 weeks, 3 times a week and each session 60 minutes a day. Biodex balance system used for training and testing procedures. Data analys...
متن کاملParametric Study of the Empty and Foam-Filled End-Capped Conical Tubes under quasi Static and Dynamic impact Loads
This paper investigates the parametric study of the empty and foam-filled end-capped tubes under quasi static and dynamic loadings. The numerical crash analysis of the empty and foam-filled tubes was performed using the explicit finite element code ABAQUS- explicit. Satisfactory agreements were generally achieved between the numerical and experimental results. In order to determine the crash be...
متن کاملRelationship between Static and Dynamic Balance Characteristics with Types of MS in Women
MS is a lifelong disease that could involve the person in different forms. Knowing balance characteristics of different types of this chronic disease helps the specialists for controlling their complications. The purpose of this study was to recognize static and dynamic balance of different type of MS and to compare MS patients with healthy individual. 54 MS women in three groups (27- Relapsing...
متن کامل