Computer Science – Programming Languages
Scientific paper
2006-02-04
Computer Science
Programming Languages
This is the extended version of a paper accepted for publication in a forthcoming special issue of Theory and Practice of Logi
Scientific paper
In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of \emph{demand} information -- i.e. knowing in advance which computations are needed and, to which extent, in a particular context. This work studies \emph{demand analysis} -- which is closely related to \emph{backwards strictness analysis} -- in a semantic framework of \emph{partial predicates}, which in turn are constructive realizations of ideals in a domain. This will allow us to give a concise, unified presentation of demand analysis, to relate it to other analyses based on abstract interpretation or strictness logics, some hints for the implementation, and, more important, to prove the soundness of our analysis based on \emph{demand equations}. There are also some innovative results. One of them is that a set constraint-based analysis has been derived in a stepwise manner using ideas taken from the area of program transformation. The other one is the possibility of using program transformation itself to perform the analysis, specially in those domains of properties where algorithms based on constraint solving are too weak.
Herranz Angel
Marino Julio
Moreno-Navarro Juan Jose
No associations
LandOfFree
Demand Analysis with Partial Predicates does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Demand Analysis with Partial Predicates, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Demand Analysis with Partial Predicates will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-361691