The proceedings contain 33 papers. The topics discussed include: verified heap theorem prover by paramodulation;formal verification of monad transformers;elaborating intersection and union types;an error-tolerant type...
ISBN:
(纸本)9781450310543
The proceedings contain 33 papers. The topics discussed include: verified heap theorem prover by paramodulation;formal verification of monad transformers;elaborating intersection and union types;an error-tolerant type system for variational lambda calculus;shake before building: replacing make with Haskell;practical typed lazy contracts;functionalprogramming with structured graphs;transporting functions across ornaments;proof-producing synthesis of ML from higher-order logic;operational semantics using the partiality monad;high performance embedded domain specific languages;pure type systems with corecursion on streams: from finite to infinitary normalization;on the complexity of equivalence of specifications of infinite objects;experience report: a do-it-yourself high-assurance compiler;equality proofs and deferred type errors: a compiler pearl;and addressing covert termination and timing channels in concurrent information flow systems.
The proceedings contain 10 papers. The topics discussed include: cleaning up Erlang code is a dirty job but somebodys gotta do it;automated module interface upgrade;automatic assessment of failure recovery in Erlang a...
ISBN:
(纸本)9781605585079
The proceedings contain 10 papers. The topics discussed include: cleaning up Erlang code is a dirty job but somebodys gotta do it;automated module interface upgrade;automatic assessment of failure recovery in Erlang applications;teaching Erlang using robotics and player/stage;development of a distributed system applied to teaching and learning;ECT: an object-oriented extension to Erlang;implementing an LTL-to-Büchi translator in Erlang;model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck;automatic testing of TCP/IP implementations using Quickcheck;and recent improvements to the McErlang model checker.
暂无评论