Flemming Nielson – författare
Visar alla böcker från författaren Flemming Nielson. Handla med fri frakt och snabb leverans.
17 produkter
Two-Level Functional Languages
Av Flemming Nielson, Hanne Riis Nielson m. fl.
Häftad, 2005
885 kr
Lägg i varukorg
The 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 between them. Consequently the ability to specify code and verify program correctness can be improved. …
Two-Level Functional Languages
Av Flemming Nielson, Hanne Riis Nielson
Inbunden, 1992
2163 kr
Lägg i varukorg
The 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 between them. Consequently the ability to specify code and verify program correctness can be improved. …
ML with Concurrency
Design, Analysis, Implementation, and Application
E-bok, 2012
755 kr
Lägg i varukorg
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. Computer scientists and graduate students …
ML with Concurrency
Design, Analysis, Implementation, and Application
Häftad, 2011
567 kr
Lägg i varukorg
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. Computer scientists and graduate students …
Semantics with Applications: An Appetizer
Av Hanne Riis Nielson, Flemming Nielson
Häftad, 2007
2,0 utav 5 stjärnor. Totalt antal röster: (1)
399 kr
Lägg i varukorg
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the …
Semantics with Applications: An Appetizer
Av Flemming Nielson, Hanne Riis Nielson
E-bok, 2007
444 kr
Lägg i varukorg
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the …
Formal Methods
An Appetizer
Av Flemming Nielson, Hanne Riis Nielson
Inbunden, 2019
623 kr
Lägg i varukorg
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. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a …
Formal Methods
An Appetizer
Av Hanne Riis Nielson, Flemming Nielson
E-bok, 2019
839 kr
Lägg i varukorg
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. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a …
Principles of Security and Trust
8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Av Flemming Nielson, David Sands
Häftad, 2019
567 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 …
Principles of Program Analysis
Av Flemming Nielson, Hanne R. Nielson m. fl.
Inbunden, 1999
904 kr
Lägg i varukorg
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 …
Trustworthy Global Computing
4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Av Christos Kaklamanis, Flemming Nielson
Häftad, 2009
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 …
Trustworthy Global Computing
4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Av Flemming Nielson, Christos Kaklamanis
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 …
Principles of Program Analysis
Av Flemming Nielson, Hanne R. Nielson m. fl.
Häftad, 2010
646 kr
Lägg i varukorg
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 …
Principles of Program Analysis
Av Chris Hankin, Hanne R. Nielson m. fl.
E-bok, 2015
821 kr
Lägg i varukorg
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 …
TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY
Av Torben Amtoft, Flemming Nielson m. fl.
Inbunden, 1999
1602 kr
Tillfälligt slut
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. This book presents and develops state-of-the-art validation techniques for detecting safety violations; the focus is on …
