✦ LIBER ✦

Interfaces for Refining Recursion and Procedures

✍ Scribed by Mark Staples

Publisher: Springer
Year: 2000
Tongue: English
Weight: 175 KB
Volume: 12
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s001650070010

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof rules for recursive procedures

✍ Wim H. Hesselink 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 815 KB

A programming technique for recursive pr

A programming technique for recursive procedures

✍ B. J. Cornelius; G. H. Kirby 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 562 KB

Procedures and atomicity refinement

✍ K. Sere 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 601 KB

The introduction of an early return from a (remote) procedure call can increase the degree of parallelism in a parallel or distributed algorithm modeled by an action system. We define a return statement for procedures in an action systems framework and show that it corresponds to carrying out an ato

Refinement for user interface designs

✍ Judy Bowen; Steve Reeves 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 615 KB

General parameterised refinement and rec

General parameterised refinement and recursion for the M-net calculus

✍ Raymond Devillers; Hanna Klaudel; Robert-C Riemann 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 736 KB

Generating structure editor interfaces f

Generating structure editor interfaces for OR procedures

✍ C. W. Holsapple; S. Park; A. B. Whinston 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 1013 KB