Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings > Algorithmic Analysis of Array-Accessing Programs
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings |
Erich Grädel; Reinhard Kahle
Springer Berlin Heidelberg
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Algorithmic Analysis of Array-Accessing Programs
Authors

Rajeev Alur; Pavol Černý; Scott Weinstein

ARI Id

1664705530870_2822919

Access

Not Available Free

Pages

86-101

DOI

10.1007/978-3-642-04027-6_9

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-04027-6_9

Table of Contents of Book
Showing 1 to 20 of 42 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Algebra for Tree Languages
Mikołaj Bojańczyk
1-1
Forcing and Type Theory
Thierry Coquand
2-2
Functional Interpretations of Intuitionistic Linear Logic
Gilda Ferreira; Paulo Oliva
3-19
Fixed-Point Definability and Polynomial Time
Martin Grohe
20-23
Kleene’s Amazing Second Recursion Theorem
Yiannis N. Moschovakis
24-39
Typed Applicative Structures and Normalization by Evaluation for System F ω
Andreas Abel
40-54
Jumping Boxes
Beniamino Accattoli; Stefano Guerrini
55-70
Tree-Width for First Order Formulae
Isolde Adler; Mark Weyer
71-85
Algorithmic Analysis of Array-Accessing Programs
Rajeev Alur; Pavol Černý; Scott Weinstein
86-101
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems
Albert Atserias; Mark Weyer
102-116
Cardinality Quantifiers in MLO over Trees
Vince Bárány; Łukasz Kaiser; Alexander Rabinovich
117-131
From Coinductive Proofs to Exact Real Arithmetic
Ulrich Berger
132-146
On the Relation between Sized-Types Based Termination and Semantic Labelling
Frédéric Blanqui; Cody Roux
147-162
Expanding the Realm of Systematic Proof Theory
Agata Ciabattoni; Lutz Straßburger; Kazushige Terui
163-178
EXPTIME Tableaux for the Coalgebraic μ-Calculus
Corina Cîrstea; Clemens Kupke; Dirk Pattinson
179-193
On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
Robin Cockett; Luigi Santocanale
194-208
Intersection, Universally Quantified, and Reference Types
Mariangiola Dezani-Ciancaglini; Paola Giannini; Simona Ronchi Della Rocca
209-224
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
Jacques Duparc; Alessandro Facchini; Filip Murlak
225-239
Enriching an Effect Calculus with Linear Types
Jeff Egger; Rasmus Ejlers Møgelberg; Alex Simpson
240-254
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 42 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings