✦ LIBER ✦

Design for Proof: An Approach to the Design of Domain-Specific Languages

✍ Scribed by Stuart Anderson; Konstantinos Tourlas

Publisher: Springer
Year: 1998
Tongue: English
Weight: 144 KB
Volume: 10
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s001650050027

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to the design of wheelchairs

An approach to the design of wheelchairs for young users

✍ M.G. Kenward 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 971 KB

An approach to the optimal design of net

An approach to the optimal design of networks

✍ B.A. Murtagh 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 911 KB

The design problem considered in this paper is the optimal distribution of pressure drop over a network in which flow-rates are specified, but pipe diameters may vary. By using elements of the duality theory of nonlinear programming, the problem is cast in a form which is computationally attractive.

An approach to the design of microprogra

An approach to the design of microprogram assists

✍ S. K. Shukuryan 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 785 KB

An ergonomics approach to refrigerator d

An ergonomics approach to refrigerator design for the elderly person

✍ R.J. Koppa; M.M. Jurmain; J.J. Congleton 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 822 KB

The objective was to determine a set of refrigerator design guidelines for independent living elderly women. The study was conducted with a refrigerator mockup with interchangeable internal features. Twelve elderly women participated, both in a standing and seated (wheelchair) position. The particip

An approach to the design of imperfect s

An approach to the design of imperfect slender beams

✍ D.A. Nethercot 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 307 KB

A method is described for deriving design curves which provide a smooth transition through the various modes of failure of steel beams and are therefore valid over the whole range of beam slendernesses. Comparison with available test results and the theory for perfect beams demonstrates the validity

An experimental approach to the design o

An experimental approach to the design of cartographic symbols

✍ Richard J. Phillips; Brain Coe; Eiichi Kono; John Knapp; Stephen Barrett; Graham 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 801 KB

Graphic designers and an experimental psychologist worked together to improve the design of two map symbols which are frequently confused: the symbols for cuttings and embankments on topographic maps. The problem was analysed in terms of the function of the symbols and their likely cognitive represe