Program Transformations as Proof Transformations for Dyadic Logic

Antonina Nepeivoda

Аннотация


Program Transformations as Proof Transformations for Dyadic Logic


Полный текст:

PDF

Литература


M. H. Sørensen, R. Gl¨uck, and N. D. Jones. A Positive Supercompiler // Journal of Functional Programming, 1993, vol. 6, pp. 465–479.

A Small Positive Supercompiler in Scala (on-line application). Available at http://spsc.appspot.com


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2016 Antonina Nepeivoda

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.