Flemming Nielson
- Auteur
Boeken van Flemming Nielson
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
Torben Amtoft
Flemming Nielson
Hanne Riis Nielson
TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY
Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web.
Meer
Hanne Riis Nielson
Flemming Nielson
Semantics with Applications: An Appetizer
Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science.
Meer
Flemming Nielson
ML with Concurrency
Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming.
Meer
Flemming Nielson
Hanne Riis Nielson
Formal Methods
This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs.
Meer