𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proving Compiler Correctness in a Mechanized Logic R. Milner and R. Weyhrauch

✍ Scribed by Akinori Yonezawa; Roger Hale

Book ID
114037024
Publisher
Elsevier Science
Year
1974
Weight
105 KB
Volume
26
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mathematical Methods of the Theory of St
Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki
✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB
Scaling Phenomena in Disordered Systems.
Scaling Phenomena in Disordered Systems. Edited by R. P YNN and A. S KJELTORP . Plenum, 1985. 580 pp. $92.50. Historic Writings on Hydraulics. Compiled by H UNTER R OUSE . Friends of the University of Iowa Libraries, 1984. 135 pp. $15. Hydrodynamic Instabilities and the Transition to Turbulence. Topics in Applied Physics, vol. 45, 2nd Edition. Edited by H. L. S WINNEY and J. P. G OLLUB . Springer, 1985. 306 pp. £19.80 (paperback). Theoretical and Applied Mechanics. Edited by F. I. N IORDSON and N. O LHOFF . North Holland, 1985. 435 pp. Dfl225.00, $83.25. Annual Review of Fluid Mechanics, Volume 18. Edited by M.V AN D YKE , J. V. W EHAUSEN and J. L. L UMLEY . Annual Reviews Inc., 1986.522 pp. $32.00 ($35.00 outside USA).
📂 Article 📅 1987 🏛 Cambridge University Press 🌐 English ⚖ 65 KB
Fluides Relativistes. By H. A RZELIÈS .
Fluides Relativistes. By H. A RZELIÈS . Masson et Cie, 1971. 209 pp. 80F. Aerodynamik des Flugzeuges , Band II. 2nd edition. By H. S CHLICHTING and E. T RUCKENBRODT . Springer-Verlag, 1969. 514 pp. DM76 or $19.00. Radiation Heat Transfer. By E. M. S PARROW and R. D. C ESS . Brooks/Cole Publishing Co. 1970. 340 pp. Solid–Liquid Flow Abstracts. 3 volumes. Compiled by G. F. R OUND . Gordon and Breach, 1969. 1046 pp. £45 or $108. Anwendung von Ähnlichkeitstransformationen auf Kanalströmungen der Magnetogasdynamik. By D IETMAR F LORIANI . University of Innsbruck Press, 1971. 78 pp. S198. Proceedings of the 12th International Congress of Applied Mechanics, Stanford University, August 1968. Edited by M. H ETENYI and W. G. V INCENTI . Springer-Verlag, 1969. 420 pp. Proceedings of the 18th Japan National Congress for Applied Mechanics, 1968. Published by Science Council of Japan, 1970. 188 pp. Proceedings of the Second International Conference on Numerical Methods in Fluid Dynamics. Edited by M. H OLT . Springer-Verlag, 1971. 462 pp. DM28 or $7.70. Geophysical Fluid Dynamics. Gordon and Breach. Price per volume of four issues $15.50 (in U.K.) or $41.00. Handbook of Elliptic Integrals for Engineers and Scientists. 2nd edition. By P. F. B YRD and M. D. F RIEDMAN . Springer-Verlag, 1971. 358 pp. DM64 or $17.60.
📂 Article 📅 1971 🏛 Cambridge University Press 🌐 English ⚖ 60 KB