### Abstract

This paper discusses the problems and basic principles in the design of the algebraic language ASL/*. A text of ASL/* is composed of a context-free grammar and a set of (conditional, in general) axioms, and specifies the set of expressions and the congruence relation on the set. The set of expressions and the syntax of each expression are specified by the context-free grammar. The congruence relation on the set of expressions is defined as the minimal equivalence relation, which satisfies the axioms and is closed under the 'operations', i. e. , the substitution into a 'subexpression'. The value of an expression and the concept of the realization are defined based on the congruence relation. The 'projection' is a special case of the conditional axiom, which is a facility to include only the expressions satisfying the specified syntactical condition. Projection is useful for including primitive functions and procedures with parameter passing of call-by-value in a text, and also for description of a specification of a realization in a simple way.

Original language | English |
---|---|

Pages (from-to) | 11-20 |

Number of pages | 10 |

Journal | Systems and Computers in Japan |

Volume | 18 |

Issue number | 7 |

Publication status | Published - Jul 1987 |

Externally published | Yes |

### Fingerprint

### ASJC Scopus subject areas

- Computational Theory and Mathematics
- Hardware and Architecture
- Information Systems
- Theoretical Computer Science

### Cite this

*Systems and Computers in Japan*,

*18*(7), 11-20.

**PRINCIPLES OF ALGEBRAIC LANGUAGE ASL/*.** / Kasami, Tadao; Taniguchi, Kenichi; Sugiyama, Yuji; Seki, Hiroyuki.

Research output: Contribution to journal › Article

*Systems and Computers in Japan*, vol. 18, no. 7, pp. 11-20.

}

TY - JOUR

T1 - PRINCIPLES OF ALGEBRAIC LANGUAGE ASL/*.

AU - Kasami, Tadao

AU - Taniguchi, Kenichi

AU - Sugiyama, Yuji

AU - Seki, Hiroyuki

PY - 1987/7

Y1 - 1987/7

N2 - This paper discusses the problems and basic principles in the design of the algebraic language ASL/*. A text of ASL/* is composed of a context-free grammar and a set of (conditional, in general) axioms, and specifies the set of expressions and the congruence relation on the set. The set of expressions and the syntax of each expression are specified by the context-free grammar. The congruence relation on the set of expressions is defined as the minimal equivalence relation, which satisfies the axioms and is closed under the 'operations', i. e. , the substitution into a 'subexpression'. The value of an expression and the concept of the realization are defined based on the congruence relation. The 'projection' is a special case of the conditional axiom, which is a facility to include only the expressions satisfying the specified syntactical condition. Projection is useful for including primitive functions and procedures with parameter passing of call-by-value in a text, and also for description of a specification of a realization in a simple way.

AB - This paper discusses the problems and basic principles in the design of the algebraic language ASL/*. A text of ASL/* is composed of a context-free grammar and a set of (conditional, in general) axioms, and specifies the set of expressions and the congruence relation on the set. The set of expressions and the syntax of each expression are specified by the context-free grammar. The congruence relation on the set of expressions is defined as the minimal equivalence relation, which satisfies the axioms and is closed under the 'operations', i. e. , the substitution into a 'subexpression'. The value of an expression and the concept of the realization are defined based on the congruence relation. The 'projection' is a special case of the conditional axiom, which is a facility to include only the expressions satisfying the specified syntactical condition. Projection is useful for including primitive functions and procedures with parameter passing of call-by-value in a text, and also for description of a specification of a realization in a simple way.

UR - http://www.scopus.com/inward/record.url?scp=0023368790&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023368790&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0023368790

VL - 18

SP - 11

EP - 20

JO - Systems and Computers in Japan

JF - Systems and Computers in Japan

SN - 0882-1666

IS - 7

ER -