Programming Languages and Systems -

Format: Broché
336 pages

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

36,33 €

Produit Neuf

Ou 9,08 € /mois

Livraison à 0,01 €
Livré entre le 4 et le 7 août

Voir les modes de livraison

ORIG1

PRO Vendeur favori

4,5/5 sur 221 ventes

Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Programming Languages And Systems Format Broché - Livre Informatique

Note : 0 0 avis sur Programming Languages And Systems Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Programming Languages And Systems Format Broché
- Livre Informatique

Livre Informatique - 01/10/2021 - Broché - Langue : Anglais

Editeur : Springer International PublishingLangue : AnglaisParution : 01/10/2021Format : Moyen, de 350g à 1kgNombre de pages : 336Expédition : 511Dimensions : 23.5 x 15.5 x 1.9 ...

Editeur : Springer International Publishing

Langue : Anglais

Parution : 01/10/2021

Format : Moyen, de 350g à 1kg

Nombre de pages : 336

Expédition : 511

Dimensions : 23.5 x 15.5 x 1.9

Résumé :
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic.

Sommaire:

Analysis and Synthesis.- Scalable and Modular Robustness Analysis of Deep Neural Networks.- Function Pointer Eliminator for C Programs.- PyCT: A Python Concolic Tester.- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications.- Server-Side Computation of Package Dependencies in Package-Management Systems.- Compilation and Transformation.- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly.- A Dictionary-Passing Translation of Featherweight Go.- Hybrid quantum-classical circuit simplification with the ZX-calculus.- A compilation method for dynamic typing in ML.- Language Design.- The Choice Construct in the Souffl? Language.- Latent Effects for Reusable Language Components.- Adaptable Traces for Program Explanations.- A Typed Programmatic Interface to Contracts on the Blockchain.- Verification.- Simplifying of Alternating Automata for Emptiness Testing.- Termination Analysis for the pi-Calculus byReduction to Sequential Program Termination.- Proving LTL Properties of Bitvector Programs and Decompiled Binaries.- Solving Not-Substring Constraint with Flat Abstraction.-

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Programming Languages and Systems -

Avis sur Programming Languages And Systems Format Broché - Livre Informatique

Présentation Programming Languages And Systems Format Broché - Livre Informatique

Présentation Programming Languages And Systems Format Broché
- Livre Informatique