|
|
Sold Out
Book Categories |
| Computer security from a Programming Language and Static Analysis Perspective | 1 | |
| What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis | 10 | |
| A Tail-Recursive Semantics for Stack Inspections | 22 | |
| Flexible Models for Dynamic Linking | 38 | |
| Correction of Functional Logic Programs | 54 | |
| Approximate Pruning in Tabled Logic Programming | 69 | |
| Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling | 84 | |
| Security Properties: Two Agents Are Sufficient | 99 | |
| A Simple Language for Real-Time Cryptographic Protocol Analysis | 114 | |
| Rule Formats for Non Interference | 129 | |
| On the Secure Implementation of Security Protocols | 144 | |
| Handling Encryption in an Analysis for Secure Information Flow | 159 | |
| Using Controller Synthesis to Build Property-Enforcing Layers | 174 | |
| Automatic Software Model Checking Using CLP | 189 | |
| Verifying Heap Properties Specified via Evolution Logic | 204 | |
| Correctness of Data Representations Involving Heap Data Structures | 223 | |
| Modeling Web Interactions | 238 | |
| Type Inference for a Distributed [pi]-Calculus | 253 | |
| Type-Safe Update Programming | 69 | |
| Type Error Slicing in Implicitly Typed Higher-Order Languages | 284 | |
| Core Formal Molecular Biology | 302 | |
| Requirements on the Execution of Kahn Process Networks | 319 | |
| Tagging, Encoding, and Jones Optimality | 335 | |
| The Rely-Guarantee Method in Isabelle/HOL | 348 | |
| Building Certified Libraries for PCC: Dynamic Storage Allocation | 363 | |
| Finite Differencing of Logical Formulas for Static Analysis | 380 | |
| Register Allocation by Proof Transformation | 399 | |
| Author Index | 415 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Ramon Crespo
reviewed Programming Languages and Systems on July 30, 2016
Programming Languages and Systems
I hate to say this, but I wasn't as impressed with this book as I thought I should have been, GIVEN its place in the pantheon of programming books.
However, I still list this as a must read for all developers.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Programming Languages and Systems
X
This Item is in Your Inventory
Programming Languages and Systems
X
You must be logged in to review the productsX
X
X
Add Programming Languages and Systems, , Programming Languages and Systems to the inventory that you are selling on WonderClubX
X
Add Programming Languages and Systems, , Programming Languages and Systems to your collection on WonderClub |