عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
0387196609
3540196609
9780387196602
9783540196600
b565349
Higher order workshop :
[Book]
proceedings of the 4th higher order workshop, Banff, Alberta, Canada, 10-14 September 1990
ed. by Graham Birtwistle.
Berlin
Springer
1991
x, 283 pages.
Workshops in computing; Higher order workshop : proceedings, 4
Partially Deterministic Functions.- Nondeterministic Functional Programming with Sets.- Algebra as a Tool for Real Time Analysis.- The Study of Butterflies.- Sorts of Butterflies.- A Fast Flutter by the Fourier Transform.- Parallel Computations and Delay-Insensitive Circuits.- The Nature of Delay-Insensitive Computing.- A Higher Order Logic Mechanization of the CSP Failures-Divergence Semantics.- Partial Functions, Ordered Categories, Limits and Cartesian Closure.- Evaluation Logic.- Conditional Control is Not Quite Categorical Control.- Simple Type Theory in EVES.- Formal Synthesis.- Proving (Facts About) Ruby.- Author Index.
ed. by Graham Birtwistle.
Graham Birtwistle
مطالعه متن کتاب [Book]
Y
