Filter By
Books (7)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Principles of Program Analysis by Flemming Nielson 9783540654100
Booksplease Price: $139.15Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software... -
Principles of Program Analysis by Flemming Nielson 9783642084744
Booksplease Price: $97.82Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software... -
Two-Level Functional Languages by Flemming Nielson 9780521403849
RRP: $256.20Booksplease Price: $246.94The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes... -
Two-Level Functional Languages by Flemming Nielson 9780521018470
RRP: $105.00Booksplease Price: $102.80The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes... -
ML with Concurrency: Design, Analysis, Implementation, and Application by Flemming Nielson 9781461274834
Booksplease Price: $97.19Both 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... -
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays by Christian W. Probst 9783319278094
Booksplease Price: $97.19This 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. The papers included in this volume... -
Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings by Radhia Cousot 9783540617396
Booksplease Price: $97.82This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume...