Titlebook: Designing Correct Circuits; Workshop jointly org Geraint Jones,Mary Sheeran Conference proceedings 1991 Springer-Verlag London 1991 Digital

Pulmonary-Veins

Leshan Moodliar,Innocent E. Davidsonntations and relate the efficiency gain to concepts known from the theory of programming language semantics. In particular, we relate the synchronism of digital circuits to the strictness of functions.