PRINCIPLES OF ALGEBRAIC LANGUAGE ASL/*.

Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki

Research output: Contribution to journalArticle

1 Citation (Scopus)

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 languageEnglish
Pages (from-to)11-20
Number of pages10
JournalSystems and Computers in Japan
Volume18
Issue number7
Publication statusPublished - Jul 1987
Externally publishedYes

Fingerprint

Context free grammars
Congruence Relation
Substitution reactions
Context-free Grammar
Specifications
Axioms
Projection
Equivalence relation
Axiom
Substitution
Language
Specification
Closed

ASJC Scopus subject areas

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

Cite this

Kasami, T., Taniguchi, K., Sugiyama, Y., & Seki, H. (1987). PRINCIPLES OF ALGEBRAIC LANGUAGE ASL/*. Systems and Computers in Japan, 18(7), 11-20.

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

In: Systems and Computers in Japan, Vol. 18, No. 7, 07.1987, p. 11-20.

Research output: Contribution to journalArticle

Kasami, T, Taniguchi, K, Sugiyama, Y & Seki, H 1987, 'PRINCIPLES OF ALGEBRAIC LANGUAGE ASL/*.', Systems and Computers in Japan, vol. 18, no. 7, pp. 11-20.
Kasami T, Taniguchi K, Sugiyama Y, Seki H. PRINCIPLES OF ALGEBRAIC LANGUAGE ASL/*. Systems and Computers in Japan. 1987 Jul;18(7):11-20.
Kasami, Tadao ; Taniguchi, Kenichi ; Sugiyama, Yuji ; Seki, Hiroyuki. / PRINCIPLES OF ALGEBRAIC LANGUAGE ASL/*. In: Systems and Computers in Japan. 1987 ; Vol. 18, No. 7. pp. 11-20.
@article{4fb2dc565860432bb7531eec221ddda6,
title = "PRINCIPLES OF ALGEBRAIC LANGUAGE ASL/*.",
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.",
author = "Tadao Kasami and Kenichi Taniguchi and Yuji Sugiyama and Hiroyuki Seki",
year = "1987",
month = "7",
language = "English",
volume = "18",
pages = "11--20",
journal = "Systems and Computers in Japan",
issn = "0882-1666",
publisher = "John Wiley and Sons Inc.",
number = "7",

}

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 -