🗊Презентация Rewriting Term Systems

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Rewriting Term Systems, слайд №1Rewriting Term Systems, слайд №2Rewriting Term Systems, слайд №3Rewriting Term Systems, слайд №4Rewriting Term Systems, слайд №5Rewriting Term Systems, слайд №6Rewriting Term Systems, слайд №7Rewriting Term Systems, слайд №8Rewriting Term Systems, слайд №9Rewriting Term Systems, слайд №10
Скачать
Вы можете ознакомиться и скачать презентацию на тему Rewriting Term Systems. Доклад-сообщение содержит 10 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1


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

Слайд 6


REWRITING TERM SYSTEMS
Описание слайда:
REWRITING TERM SYSTEMS

Слайд 7


REWRITING TERM SYSTEMS
Описание слайда:
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).
Описание слайда:
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
Описание слайда:
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)
Описание слайда:
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)

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию