- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Foundations and Trends(r) in Programming Languages"
-
Formal Models and Techniques for Analyzing Security Protocols
Véronique Cortier, Steve Kremer
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 2
- Security protocols are distributed programs that are aimed at securing communications by the means of cryptography. They are for instance used to secu... Savoir plus
78,45 €Livraison sous 1 à 4 semaines78,45 €Livraison sous 1 à 4 semaines -
Reconciling Abstraction with High Performance
Oleg Kiselyov
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 12
- Reconciling Abstraction with High Performance: A MetaOCaml Approach teaches the reader how to write typed code generators, how to make them modular, a... Savoir plus
82,45 €Livraison sous 1 à 4 semaines82,45 €Livraison sous 1 à 4 semaines -
Nominal Game Semantics
Andrzej S Murawski, Nikos Tzevelekos
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 6
- Nominal Game Semantics complements existing introductory literature to game semantics, which highlight the then new structural components necessary to... Savoir plus
68,45 €Livraison sous 1 à 4 semaines68,45 €Livraison sous 1 à 4 semaines -
A Framework for Efficient Modular Heap Analysis
Ravichandhran Madhavan, G Ramalingam, Kapil Vaswani
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 3
- Modular heap analysis techniques analyze a program by computing summaries for every procedure in the program that describes its effects on an input he... Savoir plus
78,45 €Livraison sous 1 à 4 semaines78,45 €Livraison sous 1 à 4 semaines -
Qed at Large
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 13
- Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program s... Savoir plus
129,95 €Livraison 1 à 2 semaines129,95 €Livraison 1 à 2 semaines -
Neurosymbolic Programming
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages
- Neurosymbolic programming is an emerging area that bridges the areas of deep learning and program synthesis. As in classical machine learning, the goa... Savoir plus
74,45 €Livraison sous 1 à 4 semaines74,45 €Livraison sous 1 à 4 semaines -
Principles of Eventual Consistency
Sebastian Burckhardt
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 1
- In globally distributed systems, shared state is never perfect. When communication is neither fast nor reliable, it is not possible to achieve strong ... Savoir plus
83,95 €Livraison sous 1 à 4 semaines83,95 €Livraison sous 1 à 4 semaines -
Pointer Analysis
Yannis Smaragdakis, George Balatsouras
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 4
- Pointer analysis is a fundamental static program analysis with a rich literature and wide applications. The goal of pointer analysis is to compute an ... Savoir plus
61,45 €Livraison sous 1 à 4 semaines61,45 €Livraison sous 1 à 4 semaines -
Behavioral Types in Programming Languages
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martin, Viviana Mascardi, Fabrizi Montesi
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 8
- A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communicatio... Savoir plus
95,45 €Livraison sous 1 à 4 semaines95,45 €Livraison sous 1 à 4 semaines -
Refinement Types
Ranjit Jhala, Niki Vazou
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages
- Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and... Savoir plus
102,45 €Livraison sous 1 à 4 semaines102,45 €Livraison sous 1 à 4 semaines -
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 5
- It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph ... Savoir plus
82,45 €Livraison sous 1 à 4 semaines82,45 €Livraison sous 1 à 4 semaines -
Shape Analysis
Bor-Yuh Evan Chang, Cezara Drăgoi, Roman Manevich, Noam Rinetzky, Xavier Rival
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages
- Shape analyses focusing on inferring highly complex properties of heap-manipulating programs are techniques used in the automatic verification of infi... Savoir plus
107,95 €Livraison sous 1 à 4 semaines107,95 €Livraison sous 1 à 4 semaines -
Program Synthesis
Sumit Gulwani, Oleksandr Polozov, Rishabh Singh
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 10
- Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in th... Savoir plus
97,95 €Livraison sous 1 à 4 semaines97,95 €Livraison sous 1 à 4 semaines -
Programming with Big Code
Eran Yahav, Martin Vechev
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 9
- The vast amount of code available on the web is increasing daily. Open-source hosting sites such as GitHub contain billions of lines of code. Communit... Savoir plus
61,45 €Livraison sous 1 à 4 semaines61,45 €Livraison sous 1 à 4 semaines -
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
Antoine Miné
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 11
- This monograph presents Abstract Interpretation and its use to create static analyzers that infer numeric properties on programs. Abstract Interpretat... Savoir plus
103,45 €Livraison sous 1 à 4 semaines103,45 €Livraison sous 1 à 4 semaines -
Computer-Assisted Query Formulation
Alvin Cheung, Armando Solar-Lezama
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages | n° 7
- Database management systems (DBMS) typically provide an application programming interface for users to issue queries using query languages such as SQL... Savoir plus
71,45 €Livraison sous 1 à 4 semaines71,45 €Livraison sous 1 à 4 semaines -
Probabilistic Trace and Testing Semantics
Marco Bernardo
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages
- In this monograph, the author focuses on trace and testing semantics for nondeterministic and probabilistic processes represented by simple probabilis... Savoir plus
101,95 €Livraison 1 à 4 semaines101,95 €Livraison 1 à 4 semaines -
Introduction to Neural Network Verification
Aws Albarghouthi
- Livre broché | Anglais | Foundations and Trends(r) in Programming Languages
- Over the past decade, a number of hardware and software advances have conspired to thrust deep learning and neural networks to the forefront of comput... Savoir plus
103,45 €Livraison sous 1 à 4 semaines103,45 €Livraison sous 1 à 4 semaines
18 sur 18 résultat(s) affiché(s)