A Syntactic Approach To Type Soundness
Download A Syntactic Approach To Type Soundness PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get A Syntactic Approach To Type Soundness book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
A Syntactic Approach to Type Soundness
Author: Rice University. Dept. of Computer Science
language: en
Publisher:
Release Date: 1991
Abstract: "We present a new approach to proving type soundness for Hindley/Milner-style polymorphic type systems. The keys to our approach are (1) an adaptation of subject reduction theorems from combinatory logic to programming languages and (2) the use of rewriting techniques for the specification of the language semantics. The approach easily accommodates polymorphic functional languages and imperative language extensions that contain references, exceptions, continuations, and similar features. We illustrate the technique with a type soundness theorem for the core of STANDARD ML, which includes the first type soundness proof for polymorphic exceptions and continuations."
Theoretical Aspects of Computing – ICTAC 2023
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.
VMCAI 2004
Author: Bernhard Steffen
language: en
Publisher: Springer Science & Business Media
Release Date: 2004-01-07
This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004. The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.