Chris Hankin
- Auteur
Boeken van Chris Hankin
Flemming Nielson
Hanne Nielson
Chris Hankin
Principles of Program Analysis
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem).
Meer
Chris Hankin
Programming Languages and Systems
This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
Meer
Hankin
Chris Hankin
Lambda Calculi
BL Presents a fresh perspective on the role of calculus in computer science
In contrast to other books on this topic, which have all been written by logicians, this book is written from the computer science perspective. Meer
In contrast to other books on this topic, which have all been written by logicians, this book is written from the computer science perspective. Meer
Chris Hankin
Igor Siveroni
Static Analysis
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?
Meer
Chris Hankin
René Rydhof Hansen
Christian W. Probst
Semantics, Logics, and Calculi
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.
Meer