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
Chris Hankin
Christian W. Probst
René Rydhof Hansen
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
Paolo Ciancarini
Chris Hankin
Coordination Languages and Models
This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996.
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