𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Taking the correct approach

✍ Scribed by Paul English Smith


Publisher
Wiley (John Wiley & Sons)
Year
2007
Tongue
English
Weight
68 KB
Volume
27
Category
Article
ISSN
1074-4797

No coin nor oath required. For personal study only.

✦ Synopsis


Abstract

Welcome to ASHRM's 27th year! We have started this year off with a fresh new look through the introduction of a new logo and publications format, as you can see from this edition of the Journal, and from the information published in the January/February edition of the Forum newsletter. This is the product of a lot of effort on the part of the ASHRM staff over the past year, and I hope you will join me in letting them know how much we appreciate their efforts to update and maintain ASHRM's positive image as a professional association.


πŸ“œ SIMILAR VOLUMES


Proving a compiler correct: A simple app
✍ G. Germano; A. Maggiolo-Schettini πŸ“‚ Article πŸ“… 1975 πŸ› Elsevier Science 🌐 English βš– 523 KB

The paper shows how compiler correctness can be proved, provided that semantics of the source language is defined by recursion on the definition of its syntax. The exposition is done by way of an easy example.