Rewriting Term Systems

Сентябрь 7, 2022

Главная
Алгебра
Rewriting Term Systems

Содержание

2. REWRITING TERM SYSTEMS Term rewriting technique, which is the base of algebraic programming has a long
3. REWRITING TERM SYSTEMS The first language with rewriting for computer algebra was Analitic (1968-70). First implemented
4. APS SYSTEM APS – is a Algebraic Programming System have developed in Glushkov Institute of Cybernetics
5. APS SYSTEM
6. REWRITING TERM SYSTEMS Dealing with non-canonical systems of rewriting rules
7. REWRITING TERM SYSTEMS
8. ALGEBRAIC PROGRAMMING SYSTEM APS Algebraic Programming System APS [1] was developed by the departments 100,105 of
9. ALGEBRAIC PROGRAMMING SYSTEM APS Advantages: Procedural interpretator. Fast rewriting with dynamic updation of s.r.r. APLAN language
11. Скачать презентацию

Слайд 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
Dealing with non-canonical systems
of rewriting rules

Слайд 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