Publication date
January 2005
DOI Publisher
Springer ISSN
0302-9743 Citation count (estimate)
48Abstract
This paper concerns how to automatically create abstractions for program analysis. We show tha
This paper concerns how to automatically create abstractions for program analysis. We show tha
A central task for a program analysis concerns how to efficiently find a program abstraction that ke...
The core challenge in designing an effective static program analysis is to find a good program abstr...
4When we “think like a computer scientist,” we are able to systematically solve problems in differen...
Abstract. This paper concerns how to automatically create abstractions for program analysis. We show...
This paper concerns the question of how to create abstractions that are useful for program analysis....
We use abstraction as a tool to paln proofs by inductive inside ABSFOL, an interactive theorem prove...
Data refinements are refinement steps in which a program’s local data structures are changed. Data r...
I design a machine learning system capable of ‘cumulative learning’, which means that it automatical...
Elaboration tolerance is ``the ability of accepting changes to a person`s or a computer program`s re...
Given a program analysis problem that consists of a program and a property of interest, we use an em...
Many tasks in AI require the design of complex programs and representations, whether for programming...
The most common methodology in symbolic learning consists in inducing, given a set of observations, ...
This dissertation explores the use of abstraction in two areas of automated reasoning: verification ...
How do people learn abstract concepts unsupervised? Psychologists broadly recognize two types of con...
The following full text is a publisher's version. For additional information about this publica...
A central task for a program analysis concerns how to efficiently find a program abstraction that ke...
The core challenge in designing an effective static program analysis is to find a good program abstr...
4When we “think like a computer scientist,” we are able to systematically solve problems in differen...
Abstract. This paper concerns how to automatically create abstractions for program analysis. We show...
This paper concerns the question of how to create abstractions that are useful for program analysis....
We use abstraction as a tool to paln proofs by inductive inside ABSFOL, an interactive theorem prove...
Data refinements are refinement steps in which a program’s local data structures are changed. Data r...
I design a machine learning system capable of ‘cumulative learning’, which means that it automatical...
Elaboration tolerance is ``the ability of accepting changes to a person`s or a computer program`s re...
Given a program analysis problem that consists of a program and a property of interest, we use an em...
Many tasks in AI require the design of complex programs and representations, whether for programming...
The most common methodology in symbolic learning consists in inducing, given a set of observations, ...
This dissertation explores the use of abstraction in two areas of automated reasoning: verification ...
How do people learn abstract concepts unsupervised? Psychologists broadly recognize two types of con...
The following full text is a publisher's version. For additional information about this publica...
A central task for a program analysis concerns how to efficiently find a program abstraction that ke...
The core challenge in designing an effective static program analysis is to find a good program abstr...
4When we “think like a computer scientist,” we are able to systematically solve problems in differen...
Add to ORKG