Технологии Microsoft в теории и практике программирования


Технологии Microsoft в теории и практике программирования - стр. 57


С другой стороны, эффективность реализаций языков функционального программирования возрастает, что позволяет говорить о практических приложениях.

Языком реализации стал Scheme (современный диалект Лиспа), а точнее, один из самых эффективных компиляторов языка Scheme – Bigloo, который обладает несколькими несомненными достоинствами. Во-первых, в отличие от многих других реализаций Лиспа и Scheme, Bigloo является компилятором. Во-вторых, он позволяет создавать исполняемые файлы для различных платформ, в том числе Windows 2000, XP (без использования Cygwin) и .NET.

Система связана с СУБД SQLite по принципу 'слабого связывания', через стандартный интерфейс Дейталог-система просто выкачивает кортежи из базы данных, а потом обрабатывает. Таким образом, выбор именно СУБД SQLite не имеет принципиального значения. Дейталог-система может быть связана и с другими СУБД, такими как MySQL, PostgreSQL, Oracle и другими.

Экпериментальность, открытость и расширяемость Дейталог-системы делают ее интересным продуктом для научной общественности, позволяя использовать во многих областях научных и технических исследований.

 

Корректность графических программ на C#

Столяров Денис Игоревич.

Тверской Государственный Университет, ф – т прикладной математики и кибернетики

Научный руководитель: Биллиг Владимир Арнольдович.

г. Тверь.

 

В докладе рассматривается корректность графических программ на C#. Обсуждаются следующие вопросы:

·             Корректность как контракт, которому удовлетворяет программа.

·             Будет рассмотрен математический аппарат для записи контрактов и доказательства корректности классов. За основу берётся математическая база, предложенная в статье Бертранда Мейера (Bertrand Meyer) “Towards practical proofs of class correctness”.

·             Атрибуты C# как средство записи контрактов и доказательства корректности.


- Начало -  - Назад -  - Вперед -