Modification of algebraic specifications based on monads

Bibliographic Information

Other Title
  • モナドに基づく代数仕様の書換え

Search this article

Description

In this paper, we show the formal semantics of modification of algebraic specifications. Moggi showed the monadic structure of the relation between functions from values to values and functions from values to computations. We use this relation to define monad interpretation of specification, which is the extention of usual interpretation. After that, we show how to define syntactic modifiers based on monads. Throughout this paper, we use an example of extending a specification with error handling, but this method is not restricted to error handling.

Journal

Details 詳細情報について

  • CRID
    1573950401960871168
  • NII Article ID
    110002929389
  • NII Book ID
    AN10464060
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top