Hanne Riis Nielson – författare
Visar alla böcker från författaren Hanne Riis Nielson. Handla med fri frakt och snabb leverans.
13 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. …
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
625 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 …
Coordination Models and Languages
21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Av Hanne Riis Nielson, Emilio Tuosto
Häftad, 2019
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full …
Coordination Models and Languages
21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Av Emilio Tuosto, Hanne Riis Nielson
E-bok, 2019
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full …
Transactions on Computational Systems Biology VII
Av Anna Ingolfsdottir, Bud Mishra m. fl.
Häftad, 2006
551 kr
Lägg i varukorg
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully selected set of papers from two workshops: BioConcur 2004 held in London, UK in August 2004 and BioConcur 2005 held in San Francisco, CA, USA in August 2005. The 8 papers chosen …
Transactions on Computational Systems Biology VII
Av Hanne Riis Nielson, Bud Mishra m. fl.
E-bok, 2006
718 kr
Lägg i varukorg
Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
Av Hanne Riis Nielson, Gilberto Filé
Häftad, 2007
569 kr
Lägg i varukorg
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis …
Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
Av Gilberto File, Hanne Riis Nielson
E-bok, 2007
739 kr
Lägg i varukorg
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis …
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 …
