✦ LIBER ✦

Safety analysis versus type inference for partial types

✍ Scribed by Jens Palsberg; Michael I. Schwartzbach

Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 352 KB
Volume: 43
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(92)90196-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient inference of partial types

✍ Dexter Kozen; Jens Palsberg; Michael I. Schwartzbach 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 799 KB

Partial types for the 2-calculus were introduced by Thatte in 1988 as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persistent data. In that paper he showed that type inference for partial types was semidecidable. Decidability remained open until q

Type inference and strong static type ch

Type inference and strong static type checking for Promela

✍ Alastair F. Donaldson; Simon J. Gay 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 750 KB

The Spin model checker and its specification language Promela have been used extensively in industry and academia to check the logical properties of distributed algorithms and protocols. Model checking with Spin involves reasoning about a system via an abstract Promela specification, thus the techni

Type inference and type checking for que

Type inference and type checking for queries over execution traces

✍ Daniel Deutch; Tova Milo 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 783 KB

Polymorphic Type Inference for the Relat

Polymorphic Type Inference for the Relational Algebra

✍ Jan Van den Bussche; Emmanuel Waller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 179 KB

We give a polymorphic account of the relational algebra. We introduce a formalism of ''type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ''principal'' type for a given expression. The principal type of an expression is a formula that sp

Statistical inference with partial prior

Statistical inference with partial prior information based on a Gauss-type inequality

✍ L.M. Meaux; J.W. Seaman Jr.; D.M. Young 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 318 KB

Potter and Anderson [1] have developed a Bayesian decision procedure requiring the specification of a class of prior distributions restricted to have a minimal probability content for a given subset of the parameter space. They do not, however, provide a method for the selection of that subset. We

Bayesian inference for a Lanchester type

Bayesian inference for a Lanchester type combat model

✍ M.P. Wiper; L.I. Pettit; K.D.S. Young 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 164 KB 👁 1 views