✦ LIBER ✦

Type inference and type checking for queries over execution traces

✍ Scribed by Daniel Deutch; Tova Milo

Publisher: Springer-Verlag
Year: 2011
Tongue: English
Weight: 783 KB
Volume: 21
Category: Article
ISSN: 1066-8888
DOI: 10.1007/s00778-011-0234-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Normal Forms and Conservative Extension

Normal Forms and Conservative Extension Properties for Query Languages over Collection Types

✍ Limsoon Wong 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 557 KB

Strong normalization results are obtained for a general language for collection types. An induced normal form for sets and bags is then used to show that the class of functions whose input has height (that is, the maximal depth of nestings of setsÂbagsÂlists in the complex object) at most i and outp