✦ LIBER ✦

An update calculus for expressing type-safe program updates

✍ Scribed by Martin Erwig; Deling Ren

Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 415 KB
Volume: 67
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2007.01.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An efficient basis update for asymptotic

An efficient basis update for asymptotic linear programming

✍ Bernard F. Lamond 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 980 KB

Best practices for preschool programs: a

Best practices for preschool programs: an update on inclusive settings

✍ Leister, Chrissy ;Koonce, Debra ;Nisbet, Seal 📂 Article 📅 1993 🏛 Springer-Verlag ⚖ 388 KB

New therapies for the treatment of type

New therapies for the treatment of type 2 diabetes: an update

✍ C Day 📂 Article 📅 2009 🏛 Maney Publishing 🌐 English ⚖ 377 KB 👁 1 views

An interior point method, based on rank-

An interior point method, based on rank-1 updates, for linear programming

✍ Jos F. Sturm; Shuzhong Zhang 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 516 KB

An updated Lagrangian formulation for Ti

An updated Lagrangian formulation for Timoshenko beams including non-conservative loads for divergence-type systems

✍ K.-D. Klee; P. Wriggers 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 247 KB

An update on transforming growth factor-

An update on transforming growth factor-β (TGF-β): Sources, types, functions and clinical applicability for cartilage/bone healing

✍ A. S. Patil; R. B. Sable; R. M. Kothari 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 227 KB

Transforming growth factor-b (TGF-b) has been reviewed for its sources, types of isoforms, biochemical effects on cartilage formation/ repair, and its possible clinical applications. Purification of three isoforms (TGF-b-1, b-2 and b-3) and their biochemical characterization revealed mainly their ho