Rewriting Term Systems - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Rewriting Term Systems. Доклад-сообщение содержит 10 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

ЛЕКЦИЯ №2 СИСТЕМЫ ПЕРЕПИСЫВАНИЯ ТЕРМОВ доц. Песчаненко В.С. Херсонский государственный университет Кафедра информатики Научно-исследовательский институт информационных технологий Лаборатория по разработке и внедрению педагогических программных средств 2008

Слайд 2

Описание слайда:

REWRITING TERM SYSTEMS Term rewriting technique, which is the base of algebraic programming has a long history starting from 60-th but only recently programming systems supporting rewriting and rewriting logic become popular. MOUDE developed in CSL of Stanford Research Institute (H.Meseguer); ELAN developed in INRIA Nancy (K.Kirchner) KAFE-OBJ developed in JAIST, Japan (Kokichi Futatsugi) ATERM and STRATEGO developed in Programming Research Group, University of Amsterdam

Слайд 3

Описание слайда:

REWRITING TERM SYSTEMS The first language with rewriting for computer algebra was Analitic (1968-70). First implemented in computers MIR.

Слайд 4

Описание слайда:

APS SYSTEM APS – is a Algebraic Programming System have developed in Glushkov Institute of Cybernetics (dep. 100,105). The author of idia is prof. Alexander Letichevsky. APS – is a first system which have used separately the notions Strategy with System of Rewrite Rules. APS – is one of system of rewriting term which have procedural part, self-modification, dynamic creation of procedures and system of rewriting rules, possibilities to adding new language extensions.

Слайд 5

Описание слайда:

APS SYSTEM

Слайд 6

Описание слайда:

REWRITING TERM SYSTEMS

Слайд 7

Описание слайда:

REWRITING TERM SYSTEMS

Слайд 8

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Algebraic Programming System APS [1] was developed by the departments 100,105 of Glushkov Institute of Cybernetics of the National Academy of Science of Ukraine [2] in 1987. APS is the first system of term rewriting which used the RRS and strategies separately. APLAN – is the language of APS (Algebraic Programming LANguage).

Слайд 9

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Advantages: Procedural interpretator. Fast rewriting with dynamic updation of s.r.r. APLAN language is look’s like С++. Possibilities of realization own strategies. Possibilities of language enhancements. Possibilities of integration with external tools. Self modification of any parts of a APLAN program. Dynamical creation of procedures and s.r.r. etc

Слайд 10

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Application: Rewriting in APS Insertion Modelling System IMS School Systems of Computer Algebra (KSU,TerM) Verification of Requirement Specification (ICYB, ISS, UniqueSoft LLC, VRS)