The design and implementatIon of a program development system based on rewriting method

Sun Yongqiang, Lin Kai, Shen Li

Research output: Contribution to journalArticle

3 Scopus citations


In this paper, we present a program development system based on rewriting method with the goal of providing an powerful tool for automatic software development and rapid prototyping. New mechanisms for defining constrained types and optimal rules are introduced to functional programming languages to achieve strong expressiveness. The enhanced functional programming language is combined with an algebraic specification language. Thus, the design from specification to program can be supported, and the efficiency and flexibility of programming can also be improved. In this system, both static and dynamic techniques are used to deal with constrained type check. All function definitions, computation constraints and optimal rules are regarded as rewriting rules. In order to provide a strong support for a large group of TRSs which may be neither terminating nor orthogonal, we propose a method using structure measure to decide TRSs' confluences. Based on this method, we present a partial completion algorithm to generate a rewriting model from a specification. Depending on term rewriting system, the mixed language system computes with parallel outermost and needed reduction. We explain the principles and implementation techniques in detail, some examples are provided.

Original languageEnglish (US)
Pages (from-to)27-34
Number of pages8
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Issue number2
StatePublished - Feb 1 1997
Externally publishedYes


  • Algebraic specification
  • Constrained type
  • Functional programming language
  • Mixed language
  • Optimal rule
  • Rewriting system
  • Structure measure

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

Fingerprint Dive into the research topics of 'The design and implementatIon of a program development system based on rewriting method'. Together they form a unique fingerprint.

  • Cite this