Amanote Research
Register
Sign In
Specification Inference Using Context-Free Language Reachability
doi 10.1145/2676726.2676977
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2015
Authors
Osbert Bastani
Saswat Anand
Alex Aiken
Publisher
ACM Press
Related search
Context-Free Session Type Inference
ACM Transactions on Programming Languages and Systems
Software
Biological Time Series Analysis Using a Context Free Language: Applicability to Pulsatile Hormone Data
PLoS ONE
Multidisciplinary
Termination and Non-Termination Specification Inference
ACM SIGPLAN Notices
Computer Science
Context-Driven Hypertext Specification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Language Inference to Verify Omega-Regular Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Three Types of Unambiguity of Context-Free Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Specification Language TLA+
Monographs in Theoretical Computer Science. An EATCS Series
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dialogue Pragmatics and Context Specification
Abduction, Belief and Context in Dialogue
