publication . Article . Conference object . 2003

Abstract specialization and its applications

Puebla, G.; Manuel Hermenegildo;
  • Published: 01 Jun 2003
  • Country: Spain
Abstract
The aim of program specialization is to optimize programs by exploiting certain knowledge about the context in which the program will execute. There exist many program manipulation techniques which allow specializing the program in different ways. Among them, one of the best known techniques is partial evaluation, often referred to simply as program specialization, which optimizes programs by specializing them for (partially) known input data. In this work we describe abstract specialization, a technique whose main features are: (1) specialization is performed with respect to "abstract" valúes rather than "concrete" ones, and (2) abstract interpretation rather t...
Subjects
free text keywords: Software, Computer Graphics and Computer-Aided Design, Concurrency, Theoretical computer science, Logic programming, Program optimization, Computer science, Preprocessor, Static analysis, Abstract interpretation, Programming language, computer.software_genre, computer, Partial evaluation, Dynamic priority scheduling, Informática
Related Organizations
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Article . Conference object . 2003

Abstract specialization and its applications

Puebla, G.; Manuel Hermenegildo;