Amanote Research
Register
Sign In
Active Learning of Points-To Specifications
doi 10.1145/3192366.3192383
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Osbert Bastani
Rahul Sharma
Alex Aiken
Percy Liang
Publisher
ACM Press
Related search
EAGLE: Efficient Active Learning of Link Specifications Using Genetic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Having Fun in Learning Formal Specifications
EasyChair Preprints
Invariant Points of Semi-Active Suspensions
Advances in Mechanical Engineering
Mechanical Engineering
Points: Learning Medicine
BMJ
Towards Automated Specifications of Scenarios in Enhanced Learning Technology
Active Learning
A Specification Translation From Behavioral Specifications to Rewrite Specifications
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
Active Learning
