Лични средства
Вие сте тук: Начало Members triffon's Home MLFD The MinLog For Dialectica Page maintained by Dan HERNEST

The MinLog For Dialectica Page maintained by Dan HERNEST

The MinLog For Dialectica Page

[ last updated on 13 September 2015, first created on 20 May 2006]

We here provide the full MinLog of August 2015 plus `etsmdA.scm', `mdiphVB.scm' and `initDan.scm' in the "minlog" root folder. The Scheme program extraction from a classical proof of Unbounded Pigeonhole Principle (UPP) by means of an implementation of Kreisel implication is presented in our paper. File mdiphVB.scm is for UPP, file etsmdA.scm adapts MinLog's native `pairs' Dialectica module etsd.scm by interpreting `-->' (impnc) as Kreisel implication, while initDan.scm is MinLog's `init.scm' for Windows pathnames. Simply replace "C:\\minlog" in the file minlog/initDan.scm with your actual minlogpath, like "~/minlog". Also replace "C:\\minlog\\initDan.scm" with `minlogpath/initDan.scm' and "C:\\minlog\\etsmdA.scm" with `minlogpath/etsmdA.scm' in the file minlog/mdiphVB.scm If you work under (any) version of Windows (hopefully XP Professional, or at least 7 Home Premium) and unzip in the root folder "C:\" then you are done.

In March 2008, the light (monotone) Dialectica with tuples was part of the main MinLog distribution (in parallel with the variant with pairs, develloped and maintained by Schwichtenberg and Trifonov). At this moment the `diatup' module is no longer present in the latest MinLog distribution, due to (backwards) syntax compatibility. Nonetheless we here provide the half-MegaByte full MinLog of 2008. The extraction module is "modules/diatup.scm" and the examples are under "examples/diatup/*". The older development snapshots (previous to March 2008) are here. Check 080303 for the historically first `tuples' variant integrated with mainstream MinLog.

Installation Instructions

It is assumed that you have (Petite) Chez Scheme installed on your Computer. A very useful option, particularly when working with the Petite Interpreter is to also have Emacs installed on your Computer.
Each snapshots is a ZIP archive of the "minlog" folder and the relevant part of its contents. Simply replace "C:\\minlog" in the file minlog/init.scm with your actual minlogpath, like "~/minlog". Also replace "C:\\minlog\\init.scm" with `minlogpath/init.scm' in all example files. If you work under (any) version of Windows (hopefully XP Professional, or at least 7 Home Premium) and unzip in the root folder "C:\" then you are done. Enjoy!

Contact and Technical Support

Should you have any questions about Installation or about Dialectica interpretations, it is O.K. to write me at danhernest yahoo com . I promise to do my best to answer as soon as possible ...
Действия към документ
Новини
Jul 28, 2017 Прием на докторанти във ФМИ, държавна поръчка, 2017/2018 уч.г.
Jul 23, 2017 Прием за ОКС "Магистър", 2017/2018 уч.г., инструкция за кандидат-магистрите, за провеждане на кампанията
Jul 21, 2017 Квалификационни курсове за учителите по информатика и ИТ в 8. клас, м. август и м. септември 2017
Jul 14, 2017 Проект Докторантски център "Св. Климент Охридски", започва набиране на кандидатури за участие в дейностите по работен пакет "Мобилност"
Jul 12, 2017 Държавен изпит за ОКС "Бакалавър" м. юли 2017, резултати, нанасяне на оценки
Jul 11, 2017 Важно за новозаписалите се във ФМИ студенти, тест по английски
Jul 10, 2017 Държавен изпит за ОКС "Бакалавър", 11 и 12 юли 2017, разпределение на студентите за провеждането му
Jul 10, 2017 Отворени врати за магистърските програми във ФМИ, 2017/2018 уч. г., 12 юли 2017
Jul 10, 2017 Записване или потвърждаване на новоприетите студенти във ФМИ, ОКС "Бакалавър", 2017/18 уч.г.
Jul 05, 2017 Поправителна изпитна сесия, учебна 2016/2017 г., задочно обучение
Jun 29, 2017 Веселин Райчев, завършил ФМИ е носител на наградата "2016 ACM Doctoral Dissertation Honorable Mention Award"
Още новини...