ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
29
views
31
references
Top references
cited by
13
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,566
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Learning invariants using decision trees and implication counterexamples
Author(s):
Pranav Garg
1
,
Daniel Neider
1
,
P. Madhusudan
1
,
Dan Roth
1
Publication date
Created:
April 08 2016
Publication date
(Print):
January 11 2016
Journal:
ACM SIGPLAN Notices
Publisher:
Association for Computing Machinery (ACM)
Read this article at
ScienceOpen
Publisher
Further versions
open (via free pdf)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genome Engineering using CRISPR
Most cited references
31
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Combining labeled and unlabeled data with co-training
Avrim Blum
,
Tom Mitchell
(1998)
0
comments
Cited
387
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Abstract interpretation
Patrick Cousot
,
Radhia Cousot
(1977)
0
comments
Cited
364
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Queries and concept learning
Dana Angluin
(1988)
0
comments
Cited
121
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Title:
ACM SIGPLAN Notices
Abbreviated Title:
SIGPLAN Not.
Publisher:
Association for Computing Machinery (ACM)
ISSN (Print):
03621340
Publication date Created:
April 08 2016
Publication date (Print):
January 11 2016
Volume
: 51
Issue
: 1
Pages
: 499-512
Affiliations
[
1
]
University of Illinois at Urbana-Champaign, USA
Article
DOI:
10.1145/2914770.2837664
SO-VID:
926c8f93-9d2f-42c1-b950-88e1e8627f6c
Copyright ©
© 2016
License:
http://www.acm.org/publications/policies/copyright_policy#Background
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
2,566
Korn inequality and divergence operator Counterexamples and optimality of weighted estimates
Authors:
Gabriel Acosta
,
Ricardo G. Durán
,
Fernando López García
…
Spectral theory of the \(G\)-symmetric tridiagonal matrices related to Stahl’s counterexample
Authors:
Maxim Derevyagin
Syllogistic Reasoning: Generation of Counterexamples.
Authors:
Fred, Helsabeck
See all similar
Cited by
13
Synthesizing Piece-Wise Functions by Learning Classifiers
Authors:
Daniel Neider
,
Shambwaditya Saha
,
P. Madhusudan
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs
Authors:
Adrien Champion
,
Tomoya Chiba
,
Naoki Kobayashi
…
Invariant Synthesis for Incomplete Verification Engines
Authors:
Daniel Neider
,
Pranav Garg
,
P. Madhusudan
…
See all cited by
Most referenced authors
338
H. TAKAHASHI
K Furukawa
H. Yoshimura
See all reference authors