Incremental and Modular Context-sensitive Analysis

Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which modifications are small and isolated within a few components, and it is desirable to reuse as much as possible previous...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 21; no. 2; pp. 196 - 243
Main Authors: GARCIA-CONTRERAS, ISABEL, MORALES, JOSÉ F., HERMENEGILDO, MANUEL V.
Format: Journal Article
Language:English
Published: Cambridge Cambridge University Press 01.03.2021
Subjects:
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first