Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings - Ilya Sergey

Programming Languages and Systems

31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

By: Ilya Sergey (Editor)

Paperback | 29 March 2022

At a Glance

Paperback

$79.00

or 4 interest-free payments of $19.75 with

 or 

Aims to ship in 7 to 10 business days

Categorical Foundation of Gradient-Based Learning.- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.- Foundations for Entailment Checking in Quantitative Separation Logic.- Extracting total Amb programs from proofs.- Why3-do: The Way of Harmonious Distributed System Proofs.- Relaxed virtual memory in Armv8-A.- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.- The Trusted Computing Base of the CompCert Verified Compiler.- View-Based Owicki-Gries Reasoning for Persistent x86-TSO.- Abstraction for Crash-Resilient Objects.- Static Race Detection for Periodic Programs.- Probabilistic Total Store Ordering.- Linearity and Uniqueness: An Entente Cordiale.- A Framework for Substructural Type Systems.- A Dependent Dependency Calculus.- Polarized Subtyping.- Structured Handling of Scoped Effects.- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.- A Predicate Transformer for Choreographies.- Comparing the expressiveness of the -calculus and CCS.- Concurrent NetKAT.

You Can Find This Book In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting LanguagesComputer HardwareNetwork HardwareAlgorithms & Data StructuresCompilers & InterpretersComputer ScienceMathematical Theory of Computation

More in Programming & Scripting Languages

Python All-in-One For Dummies : 3rd Edition - John C. Shovic

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$50.35

33%
OFF
The C Programming Language : Prentice Hall Software - Dennis Ritchie

The C Programming Language

Prentice Hall Software

Paperback

RRP $101.95

$72.25

29%
OFF
SQL Tuning : O'Reilly Ser. - Dan Tow

SQL Tuning

O'Reilly Ser.

Paperback

RRP $75.95

$35.75

53%
OFF
Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $95.00

$43.25

54%
OFF
Modern PHP : New Features and Good Practices - Josh Lockhart

Modern PHP

New Features and Good Practices

Paperback

RRP $57.00

$28.25

50%
OFF
C++ How to Program, Global Edition : 11th Edition - Paul Deitel

C++ How to Program, Global Edition

11th Edition

Paperback

RRP $161.17

$129.75

19%
OFF
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

Coding All-in-One For Dummies

2nd Edition

Paperback

RRP $69.95

$40.25

42%
OFF
Definitive ANTLR 4 Reference : 2nd Edition - Terence Parr

Definitive ANTLR 4 Reference

2nd Edition

Paperback

RRP $70.35

$33.25

53%
OFF
Python for Finance : Mastering Data-Driven Finance - Yves J. Hilpisch

Python for Finance

Mastering Data-Driven Finance

Paperback

RRP $152.00

$66.25

56%
OFF
Learning OpenCV 3 : Computer Vision in C++ with the OpenCV Library - Adrian Kaehler

Learning OpenCV 3

Computer Vision in C++ with the OpenCV Library

Paperback

RRP $161.50

$69.90

57%
OFF
Introducing Go : Build Reliable, Scalable Programs - Caleb Doxsey

Introducing Go

Build Reliable, Scalable Programs

Paperback

RRP $47.50

$26.50

44%
OFF
Head First Swift : Head First - Jon Manning

Head First Swift

Head First

Paperback

RRP $152.00

$66.25

56%
OFF

This product is categorised by