Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings > Refactoring Using Type Constraints
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings |
Hanne Riis Nielson; Gilberto Filé
Springer Berlin Heidelberg
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
Refactoring Using Type Constraints
Authors

Frank Tip

ARI Id

1665030874628_4540361

Access

Not Available Free

Pages

1-17

DOI

10.1007/978-3-540-74061-2_1

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-74061-2_1

Table of Contents of Book
Showing 1 to 20 of 30 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Refactoring Using Type Constraints
Frank Tip
1-17
Programming Language Design and Analysis Motivated by Hardware Evolution
Alan Mycroft
18-33
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Kung Chen; Shu-Chun Weng; Meng Wang; Siau-Cheng Khoo; Chung-Hsin Chen
34-51
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification
Tristan Le Gall; Bertrand Jeannet
52-68
Compositional Verification and 3-Valued Abstractions Join Forces
Sharon Shoham; Orna Grumberg
69-86
Formalised Inductive Reasoning in the Logic of Bunched Implications
James Brotherston
87-103
Optimal Abstraction on Real-Valued Programs
David Monniaux
104-120
Taming the Wrapping of Integer Arithmetic
Axel Simon; Andy King
121-136
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
Eric Goubault; Sylvie Putot
137-152
A Framework for End-to-End Verification and Evaluation of Register Allocators
V. Krishna Nandivada; Fernando Magno Quintão Pereira; Jens Palsberg
153-169
A New Algorithm for Identifying Loops in Decompilation
Tao Wei; Jian Mao; Wei Zou; Yu Chen
170-183
Accelerated Data-Flow Analysis
Jérôme Leroux; Grégoire Sutre
184-199
Abstract Error Projection
Akash Lal; Nicholas Kidd; Thomas Reps; Tayssir Touili
200-217
Precise Thread-Modular Verification
Alexander Malkis; Andreas Podelski; Andrey Rybalchenko
218-232
Modular Safety Checking for Fine-Grained Concurrency
Cristiano Calcagno; Matthew Parkinson; Viktor Vafeiadis
233-248
Static Analysis of Dynamic Communication Systems by Partner Abstraction
Jörg Bauer; Reinhard Wilhelm
249-264
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis
Ben Hardekopf; Calvin Lin
265-280
Hierarchical Pointer Analysis for Distributed Programs
Amir Kamil; Katherine Yelick
281-297
Semantics-Based Transformation of Arithmetic Expressions
Matthieu Martel
298-314
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 30 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings