Towards a core calculus for implicitly migration-capable applications
نویسندگان
چکیده
Mobile computational devices, like smartphones, tablets and laptops, have become a standard part of the computing landscape. Moreover, many users regularly interact with an assortment of devices, including mobile ones. Therefore, the ability to migrate UIenabled applications is becoming increasingly important. We describe a design-pattern for applications to simplify support for usersession migration and provide an overview of a lambda calculus for which significant elements of the design pattern can be implemented automatically.
منابع مشابه
Non-Newtonian Fuzzy numbers and related applications
Although there are many excellent ways presenting the principle of the classical calculus, the novel presentations probably leads most naturally to the development of the non-Newtonian calculus. The important point to note is that the non-Newtonian calculus is a self-contained system independent of any other system of calculus. Since this self-contained work is intended for a wide audience, inc...
متن کاملExplicit Effect Subtyping (Extended Version)
As popularity of algebraic effects and handlers increases, so does a demand for their efficient execution. Eff, an ML-like language with native support for handlers, has a subtyping-based effect system on which an effect-aware optimizing compiler could be built. Unfortunately, in our experience, implementing optimizations for Eff is overly error-prone because its core language is implicitly-typ...
متن کاملCertain subclass of $p$-valent meromorphic Bazilevi'{c} functions defined by fractional $q$-calculus operators
The aim of the present paper is to introduce and investigate a new subclass of Bazilevi'{c} functions in the punctured unit disk $mathcal{U}^*$ which have been described through using of the well-known fractional $q$-calculus operators, Hadamard product and a linear operator. In addition, we obtain some sufficient conditions for the func...
متن کاملNi@Pt core-shell nanoparticles as an improved electrocatalyst for ethanol electrooxidation in alkaline media
Core-shell nanostructures are emerging as more important materials than alloy nanostructures and have much more interesting potential applications in various fields. In this work, we demonstrated the fast and facile synthesis of core-shell nanoparticles consisting of Pt thin layer as the shell and Ni nanoparticles as the cores. The described method herein is suitable for large-scale and low-cos...
متن کاملApplication of Mathematics in Financial Management
The Time Value of Money is a important concept in Financial Management. The Time Value of Money includes the concepts of future value and discounted value or present value. In the present article, the basic notions and illustrate with their application in the field of investment which is presented in the mathematical terms in form of theorems and we also presented the applications of some well ...
متن کامل