Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011

Buy

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions. We observe that modern type systems are capable of the kind of analysis needed to analyze the above constructs, and we use this observation to develop Liquid Types, a new static verification technique which combines the complementary strengths of Floyd-Hoare logics, Model Checking, and Types. As a result, we demonstrate how liquid types can be used to statically verify properties ranging from memory safety to data structure correctness, in higher-order languages like ML. This presentation is based on joint work with Patrick Rondon and Ming Kawaguchi.

This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic.

(HTML tags aren't allowed.)

In Pursuit of the Gene: From Darwin to DNA
In Pursuit of the Gene: From Darwin to DNA

The mystery of inheritance has captivated thinkers since antiquity, and the unlocking of this mystery—the development of classical genetics—is one of humanity’s greatest achievements. This great scientific and human drama is the story told fully and for the first time in this book.

Acclaimed science writer James...

Natriuretic Peptides: The Hormones of the Heart
Natriuretic Peptides: The Hormones of the Heart

Modern cardiovascular science has produced a revolutionary new idea: the heart acts not merely as a pump, but as a "gland", that is as a regulator of circulatory homeostasis and salt-water balance. This book combines the classical heamodynamic view with the new neuro-hormonal paradigm, in all its potential clinical implications. The...

Defensive Database Programming with SQL Server
Defensive Database Programming with SQL Server

Resilient T-SQL code is code that is designed to last, and to be safely reused by others. The goal of defensive database programming, the goal of this book, is to help you to produce resilient T-SQL code that robustly and gracefully handles cases of unintended use, and is resilient to common changes to the database environment. Too often as...


Looking Back and Going Forward in IT
Looking Back and Going Forward in IT
As dawn broke over the 21st century, Information Technology officially celebrated its golden anniversary … it might be thought that the 50 year-mark would go hand-in-hand with the age of reason, but nothing could be further from the truth. In the extended family of innovation, IT is still the rebellious teenager: immature, incomplete and...
The Complete Idiot's Guide to PC Basics, Windows 7 Edition
The Complete Idiot's Guide to PC Basics, Windows 7 Edition

A funny thing happened on the way to the twenty-first century. Computers became more human. By “human,” I don’t mean “humanoid.” I only mean that the computer has evolved from being a stodgy office tool to a revolutionary home appliance and entertainment system, a device designed to help us manage and enjoy our...

Pharmacokinetics and Pharmacodynamics of Biotech Drugs: Principles and Case Studies in Drug Development
Pharmacokinetics and Pharmacodynamics of Biotech Drugs: Principles and Case Studies in Drug Development

This first ever coverage of the pharmacokinetic and pharmacodynamic characteristics of biopharmaceuticals meets the need for a comprehensive book in this field. It spans all topics from lead identification right up to final-stage clinical trials.

Following an introduction to the role of PK and PD in the development of biotech...

©2021 LearnIT (support@pdfchm.net) - Privacy Policy