✦ LIBER ✦

A calculus for complex objects

✍ Scribed by François Bancilhon; Setrag Khoshafian

Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 761 KB
Volume: 38
Category: Article
ISSN: 0022-0000
DOI: 10.1016/0022-0000(89)90005-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A phenomenological calculus for complex

A phenomenological calculus for complex systems

✍ I.W. Richardson; A.H. Louie; S. Swaminathan 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 848 KB

A methodology for pattern matching of co

A methodology for pattern matching of complex objects

✍ Paul M. Griffin; Bryan L. Deuermeyer 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 805 KB

Hierarchical vibrations for part-based r

Hierarchical vibrations for part-based recognition of complex objects

✍ Karin Engel; Klaus D. Toennies 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 738 KB

Typed ?-calculus at work: A correctness

Typed ?-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects

✍ Sangiorgi, Davide 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB

Cliff Jones has proposed transformations between concrete programs and general transformation rules that increase concurrency in a system of objects, and has raised the challenge of how to prove their validity. We present a proof of correctness of the hardest of Jones's concrete transformations. The

A Calculus for Schemas in Z

✍ S.M. Brien; A.P. Martin 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 374 KB

A new calculus for optimum design

✍ G.I.N. Rozvany 📂 Article 📅 1967 🏛 Elsevier Science 🌐 English ⚖ 90 KB