Specialization and its Application to Program Parallelization Germán Puebla and Manuel Hermenegildo {german,herme}@fi.upm.es Department of Computer Science Technical University of Madrid (UPM) Abstract. Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specia...

The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...

We propose a notion of competitive equilibrium in an abstract setting called a Convex Economy using a concept of convexity borrowed from Convex Geometry. The "magic” of linear equilibrium prices is put into perspective in this abstract setting. The abstract notion of competitive equilibrium is applied to a variety of convex economies and versions of the first and second fundamental welfare theo...