The Experts below are selected from a list of 132 Experts worldwide ranked by ideXlab platform
Sophia Drossopoulou - One of the best experts on this subject based on the ideXlab platform.
-
ECOOP - Towards type inference for javascript
ECOOP 2005 - Object-Oriented Programming, 2005Co-Authors: Christopher Anderson, Paola Giannini, Sophia DrossopoulouAbstract:Object-oriented scripting languages like Javascript and Python are popular partly because of their dynamic features. These include the Runtime Modification of objects and classes through addition of fields or updating of methods. These features make static typing difficult and so usually dynamic typing is used. Consequently, errors such as access to non-existent members are not detected until Runtime. We first develop a formalism for an object based language, JS0 with features from Javascript, including dynamic addition of fields and updating of methods. We give an operational semantics and static type system for JS0using structural types. Our types allow objects to evolve in a controlled manner by classifying members as definite or potential. We define a type inference algorithm for JS0 that is sound with respect to the type system. If the type inference algorithm succeeds, then the program is typeable. Therefore, programmers can benefit from the safety offered by the type system, without the need to write explicitly types in their programs.
-
towards type inference for javascript
Lecture Notes in Computer Science, 2005Co-Authors: Christopher Anderson, Paola Giannini, Sophia DrossopoulouAbstract:Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the Runtime Modification of objects and classes through addition of fields or updating of methods. These features make static typing difficult and so usually dynamic typing is used. Consequently, errors such as access to non-existent members are not detected until Runtime. We first develop a formalism for an object based language, JS 0 , with features from JavaScript, including dynamic addition of fields and updating of methods. We give an operational semantics and static type system for JS 0 using structural types. Our types allow objects to evolve in a controlled manner by classifying members as definite or potential. We define a type inference algorithm for JS 0 that is sound with respect to the type system. If the type inference algorithm succeeds, then the program is typeable. Therefore, programmers can benefit from the safety offered by the type system, without the need to write explicitly types in their programs.
Kwangmoo Choe - One of the best experts on this subject based on the ideXlab platform.
-
points to analysis for javascript
ACM Symposium on Applied Computing, 2009Co-Authors: Dongseok Jang, Kwangmoo ChoeAbstract:JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is evident. Points-to analysis for JavaScript is to determine the set of objects to which a reference variable or an object property may point. Points-to analysis for JavaScript is a basis for further program analyses for JavaScript. It has a wide range of applications in code optimization and software engineering tools. However, points-to analysis for JavaScript has not yet been developed. JavaScript has dynamic features such as the Runtime Modification of objects through addition of properties or updating of methods. We propose a points-to analysis for JavaScript which precisely handles the dynamic features of JavaScript. Our work is the first attempt to analyze the points-to behavior of JavaScript. We evaluate the analysis on a set of JavaScript programs. We also apply the analysis to a code optimization technique to show that the analysis can be practically useful.
-
SAC - Points-to analysis for JavaScript
Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09, 2009Co-Authors: Dongseok Jang, Kwangmoo ChoeAbstract:JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is evident. Points-to analysis for JavaScript is to determine the set of objects to which a reference variable or an object property may point. Points-to analysis for JavaScript is a basis for further program analyses for JavaScript. It has a wide range of applications in code optimization and software engineering tools. However, points-to analysis for JavaScript has not yet been developed. JavaScript has dynamic features such as the Runtime Modification of objects through addition of properties or updating of methods. We propose a points-to analysis for JavaScript which precisely handles the dynamic features of JavaScript. Our work is the first attempt to analyze the points-to behavior of JavaScript. We evaluate the analysis on a set of JavaScript programs. We also apply the analysis to a code optimization technique to show that the analysis can be practically useful.
Giandomenico Spezzano - One of the best experts on this subject based on the ideXlab platform.
-
CNSM - Autonomic management of workflows on hybrid Grid-Cloud infrastructure
2011Co-Authors: Giuseppe Papuzzo, Giandomenico SpezzanoAbstract:Grids can be considered as dominant platforms for large-scale parallel/distributed computing in science and engineering. Clouds allow users to acquire and release resources on-demand. Next generation computing environments will benefit from the combination of Grid and Cloud paradigms providing frameworks that integrate traditional Grid services with on-demand Cloud services. Nowadays, workflows are the preferred means for the combination of services into added value service chains representing functional business processes or complex scientific experiments. A promising way to manage effectively services composition in a dynamic and heterogenous environment is to make the workflow management framework able to self-adapt at Runtime to changes in its environment and provide an uniform resource access mechanism over Grid and Cloud infrastructures. Autonomic workflow management systems can support the Runtime Modification of workflows with the aim of improving their performance and recover from faults determining and provisioning the appropriate mix of Grid/Cloud services with requested QoS. This paper describes Sunflower an innovative P2P agent-based framework for configuring, enacting, managing and adapting workflows on hybrid Grid-Cloud infrastructures. To orchestrate Grid and Cloud services, Sunflower uses a bio-inspired autonomic choreography model and integrates the scheduling algorithm with a provisioning component that can dynamically launch virtual machines in a Cloud infrastructure to provide on-demand services in peak-load situations.
-
Autonomic management of workflows on hybrid Grid-Cloud infrastructure
2011 7th International Conference on Network and Service Management, 2011Co-Authors: Giuseppe Papuzzo, Giandomenico SpezzanoAbstract:Grids can be considered as dominant platforms for large-scale parallel/distributed computing in science and engineering. Clouds allow users to acquire and release resources on-demand. Next generation computing environments will benefit from the combination of Grid and Cloud paradigms providing frameworks that integrate traditional Grid services with on-demand Cloud services. Nowadays, workflows are the preferred means for the combination of services into added value service chains representing functional business processes or complex scientific experiments. A promising way to manage effectively services composition in a dynamic and heterogenous environment is to make the workflow management framework able to self-adapt at Runtime to changes in its environment and provide an uniform resource access mechanism over Grid and Cloud infrastructures. Autonomic workflow management systems can support the Runtime Modification of workflows with the aim of improving their performance and recover from faults determining and provisioning the appropriate mix of Grid/Cloud services with requested QoS. This paper describes Sunflower an innovative P2P agent-based framework for configuring, enacting, managing and adapting workflows on hybrid Grid-Cloud infrastructures. To orchestrate Grid and Cloud services, Sunflower uses a bio-inspired autonomic choreography model and integrates the scheduling algorithm with a provisioning component that can dynamically launch virtual machines in a Cloud infrastructure to provide on-demand services in peak-load situations.
Christopher Anderson - One of the best experts on this subject based on the ideXlab platform.
-
ECOOP - Towards type inference for javascript
ECOOP 2005 - Object-Oriented Programming, 2005Co-Authors: Christopher Anderson, Paola Giannini, Sophia DrossopoulouAbstract:Object-oriented scripting languages like Javascript and Python are popular partly because of their dynamic features. These include the Runtime Modification of objects and classes through addition of fields or updating of methods. These features make static typing difficult and so usually dynamic typing is used. Consequently, errors such as access to non-existent members are not detected until Runtime. We first develop a formalism for an object based language, JS0 with features from Javascript, including dynamic addition of fields and updating of methods. We give an operational semantics and static type system for JS0using structural types. Our types allow objects to evolve in a controlled manner by classifying members as definite or potential. We define a type inference algorithm for JS0 that is sound with respect to the type system. If the type inference algorithm succeeds, then the program is typeable. Therefore, programmers can benefit from the safety offered by the type system, without the need to write explicitly types in their programs.
-
towards type inference for javascript
Lecture Notes in Computer Science, 2005Co-Authors: Christopher Anderson, Paola Giannini, Sophia DrossopoulouAbstract:Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the Runtime Modification of objects and classes through addition of fields or updating of methods. These features make static typing difficult and so usually dynamic typing is used. Consequently, errors such as access to non-existent members are not detected until Runtime. We first develop a formalism for an object based language, JS 0 , with features from JavaScript, including dynamic addition of fields and updating of methods. We give an operational semantics and static type system for JS 0 using structural types. Our types allow objects to evolve in a controlled manner by classifying members as definite or potential. We define a type inference algorithm for JS 0 that is sound with respect to the type system. If the type inference algorithm succeeds, then the program is typeable. Therefore, programmers can benefit from the safety offered by the type system, without the need to write explicitly types in their programs.
Dongseok Jang - One of the best experts on this subject based on the ideXlab platform.
-
points to analysis for javascript
ACM Symposium on Applied Computing, 2009Co-Authors: Dongseok Jang, Kwangmoo ChoeAbstract:JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is evident. Points-to analysis for JavaScript is to determine the set of objects to which a reference variable or an object property may point. Points-to analysis for JavaScript is a basis for further program analyses for JavaScript. It has a wide range of applications in code optimization and software engineering tools. However, points-to analysis for JavaScript has not yet been developed. JavaScript has dynamic features such as the Runtime Modification of objects through addition of properties or updating of methods. We propose a points-to analysis for JavaScript which precisely handles the dynamic features of JavaScript. Our work is the first attempt to analyze the points-to behavior of JavaScript. We evaluate the analysis on a set of JavaScript programs. We also apply the analysis to a code optimization technique to show that the analysis can be practically useful.
-
SAC - Points-to analysis for JavaScript
Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09, 2009Co-Authors: Dongseok Jang, Kwangmoo ChoeAbstract:JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is evident. Points-to analysis for JavaScript is to determine the set of objects to which a reference variable or an object property may point. Points-to analysis for JavaScript is a basis for further program analyses for JavaScript. It has a wide range of applications in code optimization and software engineering tools. However, points-to analysis for JavaScript has not yet been developed. JavaScript has dynamic features such as the Runtime Modification of objects through addition of properties or updating of methods. We propose a points-to analysis for JavaScript which precisely handles the dynamic features of JavaScript. Our work is the first attempt to analyze the points-to behavior of JavaScript. We evaluate the analysis on a set of JavaScript programs. We also apply the analysis to a code optimization technique to show that the analysis can be practically useful.
