Kashirin.net

Layout variation Left | Center | Right

This is pretty “old-fashioned” 3 columns layout with content presented at center. On side columns you can present modules with equal importance. The width of side columns can be adjusted conveniently via template parameters.

See all module positions outline

Программные машины

Формализм программных машин дает возможность математически строго описать понятие концептуальной целостности языков программирования. Формализм ориентирован на анализ базовых структур алгоритмического языка. Давайте рассмотрим структурные компоненты некоторого абстрактного языка программирования.

Читать...

ВЗАИМОДЕЙСТВИЕ

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

Читать...

Языки программирования

Рассмотрим использование алгебраической интерпретации языковых конструкций для PL, C, Lisp и Prolog как известных алгоритмических языков, являющихся представителями языков универсального, функционального и логического типа соответственно. Возможны оптимизирующие преобразования.

Читать...

УНИФИКАЦИЯ

Excelsior

Go to top