Search

Your search keyword '"Gange, Graeme"' showing total 192 results
Start Over Author "Gange, Graeme"
192 results on '"Gange, Graeme"'

2. Transformation-Enabled Precondition Inference

Author

Kafle, Bishoksan, Gange, Graeme, Stuckey, Peter J., Schachte, Peter, and Sondergaard, Harald

Subjects
Computer Science - Programming Languages
Abstract

Precondition inference is a non-trivial problem with important applications in program analysis and verification. We present a novel iterative method for automatically deriving preconditions for the safety and unsafety of programs. Each iteration maintains over-approximations of the set of safe and unsafe initial states; which are used to partition the program's initial states into those known to be safe, known to be unsafe and unknown. We then construct revised programs with those unknown initial states and iterate the procedure until the approximations are disjoint or some termination criteria are met. An experimental evaluation of the method on a set of software verification benchmarks shows that it can infer precise preconditions (sometimes optimal) that are not possible using previous methods., Comment: Paper presented at the 37th InternationalConference on Logic Programming (ICLP 2021), 16 pages. arXiv admin note: substantial text overlap with arXiv:1811.06771

Published
2021
Full Text
View/download PDF

4. Precondition Inference via Partitioning of Initial States

Author

Kafle, Bishoksan, Gange, Graeme, Schachte, Peter, Sondergaard, Harald, and Stuckey, Peter J.

Subjects
Computer Science - Logic in Computer Science
Abstract

Precondition inference is a non-trivial task with several applications in program analysis and verification. We present a novel iterative method for automatically deriving sufficient preconditions for safety and unsafety of programs which introduces a new dimension of modularity. Each iteration maintains over-approximations of the set of \emph{safe} and \emph{unsafe} \emph{initial} states. Then we repeatedly use the current abstractions to partition the program's \emph{initial} states into those known to be safe, known to be unsafe and unknown, and construct a revised program focusing on those initial states that are not yet known to be safe or unsafe. An experimental evaluation of the method on a set of software verification benchmarks shows that it can solve problems which are not solvable using previous methods., Comment: 19 pages, 8 figures

Published
2018

5. Coupling Different Integer Encodings for SAT

Author

Bierlee, Hendrik, Gange, Graeme, Tack, Guido, Dekker, Jip J., Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Schaus, Pierre, editor

Published
2022
Full Text
View/download PDF

6. An iterative approach to precondition inference using constrained Horn clauses

Author

Kafle, Bishoksan, Gallagher, John P., Gange, Graeme, Schachte, Peter, Sondergaard, Harald, and Stuckey, Peter J.

Subjects
Computer Science - Logic in Computer Science
Abstract

We present a method for automatic inference of conditions on the initial states of a program that guarantee that the safety assertions in the program are not violated. Constrained Horn clauses (CHCs) are used to model the program and assertions in a uniform way, and we use standard abstract interpretations to derive an over-approximation of the set of unsafe initial states. The precondition then is the constraint corresponding to the complement of that set, under-approximating the set of safe initial states. This idea of complementation is not new, but previous attempts to exploit it have suffered from the loss of precision. Here we develop an iterative specialisation algorithm to give more precise, and in some cases optimal safety conditions. The algorithm combines existing transformations, namely constraint specialisation, partial evaluation and a trace elimination transformation. The last two of these transformations perform polyvariant specialisation, leading to disjunctive constraints which improve precision. The algorithm is implemented and tested on a benchmark suite of programs from the literature in precondition inference and software verification competitions., Comment: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX

Published
2018

7. Lightweight Nontermination Inference with CHCs

Author

Kafle, Bishoksan, Gange, Graeme, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Calinescu, Radu, editor, and Păsăreanu, Corina S., editor

Published
2021
Full Text
View/download PDF

8. Disjunctive Interval Analysis

Author

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Drăgoi, Cezara, editor, Mukherjee, Suvam, editor, and Namjoshi, Kedar, editor

Published
2021
Full Text
View/download PDF

9. Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study

Author

Amadini, Roberto, Gange, Graeme, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Fernández, Maribel, editor

Published
2021
Full Text
View/download PDF

11. Core-Guided and Core-Boosted Search for CP

Author

Gange, Graeme, Berg, Jeremias, Demirović, Emir, Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hebrard, Emmanuel, editor, and Musliu, Nysret, editor

Published
2020
Full Text
View/download PDF

12. Core-Guided Model Reformulation

Author

Leo, Kevin, Gange, Graeme, de la Banda, Maria Garcia, Wallace, Mark, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Simonis, Helmut, editor

Published
2020
Full Text
View/download PDF

13. Dashed Strings and the Replace(-all) Constraint

Author

Amadini, Roberto, Gange, Graeme, Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Simonis, Helmut, editor

Published
2020
Full Text
View/download PDF

14. The Argmax Constraint

Author

Gange, Graeme, Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Simonis, Helmut, editor

Published
2020
Full Text
View/download PDF

16. Horn Clauses as an Intermediate Representation for Program Analysis and Transformation

Author

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Sondergaard, Harald, and Stuckey, Peter J.

Subjects
Computer Science - Programming Languages
Abstract

Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propose using logic programs as an intermediate program representation throughout the compilation process. With restrictions ensuring determinism and single-modedness, a logic program can easily be transformed to machine language or other low-level language, while maintaining the simple semantics that makes it suitable as a language for program analysis and transformation. We present a simple LP language that enforces determinism and single-modedness, and show that it makes a convenient program representation for analysis and transformation., Comment: To Appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015

Published
2015
Full Text
View/download PDF

17. A Complete Refinement Procedure for Regular Separability of Context-Free Languages

Author

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Sondergaard, Harald, and Stuckey, Peter J.

Subjects
Computer Science - Formal Languages and Automata Theory
Abstract

Often, when analyzing the behaviour of systems modelled as context-free languages, we wish to know if two languages overlap. To this end, we present an effective semi-decision procedure for regular separability of context-free languages, based on counter-example guided abstraction refinement. We propose two refinement methods, one inexpensive but incomplete, and the other complete but more expensive. We provide an experimental evaluation of this procedure, and demonstrate its practicality on a range of verification and language-theoretic instances.

Published
2014

19. Dissecting Widening: Separating Termination from Information

Author

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Lin, Anthony Widjaja, editor

Published
2019
Full Text
View/download PDF

20. Constraint Programming for Dynamic Symbolic Execution of JavaScript

Author

Amadini, Roberto, Andrlon, Mak, Gange, Graeme, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Rousseau, Louis-Martin, editor, and Stergiou, Kostas, editor

Published
2019
Full Text
View/download PDF

21. A Partial-Order Approach to Array Content Analysis

Author

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Sondergaard, Harald, and Stuckey, Peter J.

Subjects
Computer Science - Programming Languages, D.2.4, D.3.1, F.3.1, F.3.2
Abstract

We present a parametric abstract domain for array content analysis. The method maintains invariants for contiguous regions of the array, similar to the methods of Gopan, Reps and Sagiv, and of Halbwachs and Peron. However, it introduces a novel concept of an array content graph, avoiding the need for an up-front factorial partitioning step. The resulting analysis can be used with arbitrary numeric relational abstract domains; we evaluate the domain on a range of array manipulating program fragments.

Published
2014

22. Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Author

Gange, Graeme, Stuckey, Peter James, and Lagoon, Vitaly

Subjects
Computer Science - Artificial Intelligence
Abstract

Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques in- cur the significant overhead of constructing and manipulating graphs during search. We present a set-constraint solver which combines BDD-based set-bounds propagators with the learning abilities of a modern SAT solver. Together with a number of improvements beyond the basic algorithm, this solver is highly competitive with existing propagation based set constraint solvers.

Published
2014
Full Text
View/download PDF

23. A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing

Author

He, Shan, Wallace, Mark, Gange, Graeme, Liebman, Ariel, Wilson, Campbell, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, and Hooker, John, editor

Published
2018
Full Text
View/download PDF

24. Propagating Regular Membership with Dashed Strings

Author

Amadini, Roberto, Gange, Graeme, Stuckey, Peter J., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, and Hooker, John, editor

Published
2018
Full Text
View/download PDF

25. Sequential Precede Chain for Value Symmetry Elimination

Author

Gange, Graeme, Stuckey, Peter J., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, and Hooker, John, editor

Published
2018
Full Text
View/download PDF

26. Propagating lex, find and replace with Dashed Strings

Author

Amadini, Roberto, Gange, Graeme, Stuckey, Peter J., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, and van Hoeve, Willem-Jan, editor

Published
2018
Full Text
View/download PDF

27. Breaking Symmetries with Lex Implications

Author

Codish, Michael, Ehlers, Thorsten, Gange, Graeme, Itzhakov, Avraham, Stuckey, Peter J., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Gallagher, John P., editor, and Sulzmann, Martin, editor

Published
2018
Full Text
View/download PDF

28. Disjunctive Interval Analysis

Author

Gange, Graeme, primary, Navas, Jorge A., additional, Schachte, Peter, additional, Søndergaard, Harald, additional, and Stuckey, Peter J., additional

Published
2021
Full Text
View/download PDF

32. Combining String Abstract Domains for JavaScript Analysis: An Evaluation

Author

Amadini, Roberto, Jordan, Alexander, Gange, Graeme, Gauthier, François, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Zhang, Chenyi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Legay, Axel, editor, and Margaria, Tiziana, editor

Published
2017
Full Text
View/download PDF

33. Fixing the State Budget: Approximation of Regular Languages with Small DFAs

Author

Gange, Graeme, Ganty, Pierre, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, D'Souza, Deepak, editor, and Narayan Kumar, K., editor

Published
2017
Full Text
View/download PDF

34. A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic

Author

Kafle, Bishoksan, Gange, Graeme, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gaspers, Serge, editor, and Walsh, Toby, editor

Published
2017
Full Text
View/download PDF

35. A Novel Approach to String Constraint Solving

Author

Amadini, Roberto, Gange, Graeme, Stuckey, Peter J., Tack, Guido, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Beck, J. Christopher, editor

Published
2017
Full Text
View/download PDF

36. Minimizing Landscape Resistance for Habitat Conservation

Author

de Uña, Diego, Gange, Graeme, Schachte, Peter, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Salvagnin, Domenico, editor, and Lombardi, Michele, editor

Published
2017
Full Text
View/download PDF

38. Exploiting Sparsity in Difference-Bound Matrices

Author

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rival, Xavier, editor

Published
2016
Full Text
View/download PDF

39. An Abstract Domain of Uninterpreted Functions

Author

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Jobstmann, Barbara, editor, and Leino, K. Rustan M., editor

Published
2016
Full Text
View/download PDF

40. A Bounded Path Propagator on Directed Graphs

Author

de Uña, Diego, Gange, Graeme, Schachte, Peter, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rueher, Michel, editor

Published
2016
Full Text
View/download PDF

41. Breaking Symmetries in Graphs: The Nauty Way

Author

Codish, Michael, Gange, Graeme, Itzhakov, Avraham, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rueher, Michel, editor

Published
2016
Full Text
View/download PDF

42. Weighted Spanning Tree Constraint with Explanations

Author

de Uña, Diego, Gange, Graeme, Schachte, Peter, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Quimper, Claude-Guy, editor

Published
2016
Full Text
View/download PDF

43. Lagrangian Decomposition via Sub-problem Search

Author

Chu, Geoffrey, Gange, Graeme, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Quimper, Claude-Guy, editor

Published
2016
Full Text
View/download PDF

44. On CNF Encodings of Decision Diagrams

Author

Abío, Ignasi, Gange, Graeme, Mayer-Eichberger, Valentin, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Quimper, Claude-Guy, editor

Published
2016
Full Text
View/download PDF

48. Analyzing Array Manipulating Programs by Program Transformation

Author

Cornish, J. Robert M., Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Proietti, Maurizio, editor, and Seki, Hirohisa, editor

Published
2015
Full Text
View/download PDF

49. A Tool for Intersecting Context-Free Grammars and Its Applications

Author

Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Havelund, Klaus, editor, Holzmann, Gerard, editor, and Joshi, Rajeev, editor

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results