wyszukanych pozycji: 8
Coordination Models and Languages: 21st Ifip Wg 6.1 International Conference, Coordination 2019, Held as Part of the 14th International Federated Conf
ISBN: 9783030223960 / Angielski / Miękka / 2019 / 267 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
ISBN: 9783540740605 / Angielski / Miękka / 2007 / 488 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22 24, 2007,...
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms, fordesigningsemantics-basedtransformatio...
|
|
cena:
193,19 zł |
Semantics with Applications: An Appetizer
ISBN: 9781846286919 / Angielski / Miękka / 2007 / 274 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas... 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... |
|
cena:
135,06 zł |
Principles of Program Analysis
ISBN: 9783540654100 / Angielski / Twarda / 1999 / 452 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to...
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers ...
|
|
cena:
289,80 zł |
Type and Effect Systems: Behaviours for Concurrency
ISBN: 9781860941542 / Angielski / Twarda / 1999 / 268 str. Termin realizacji zamówienia: ok. 22 dni roboczych. 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 the correctness of techniques that suffice for fully automatic validation of key components of such systems. It builds on and extends the notion of types, popular in many sequential programming languages as a technique for catching certain kinds of errors already at program development time, by...
Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming ...
|
|
cena:
441,75 zł |
Two-Level Functional Languages
ISBN: 9780521018470 / Angielski / Miękka / 2005 / 312 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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 developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the...
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 ...
|
|
cena:
302,85 zł |
Transactions on Computational Systems Biology VII
ISBN: 9783540488378 / Angielski / Miękka / 2006 / 187 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 for this special issue are devoted to various aspects of computational methods, algorithms, and techniques in bioinformatics. This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully selected set of papers fr... |
|
cena:
193,19 zł |
Two-Level Functional Languages
ISBN: 9780521403849 / Angielski / Twarda / 1992 / 312 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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 developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the...
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 ...
|
|
cena:
606,96 zł |