首页 | 本学科首页   官方微博 | 高级检索  
     


LPS: A Language Prototyping System Using Modular Monadic Semantics
Authors:JE Labra Gayo  MC Luengo Díez  JM Cueva Lovelle  A Cernuda del Río  
Abstract:This paper describes LPS, a Language Prototyping System that facilitates the modular development of interpreters from semantic building blocks. The system is based on the integration of ideas from Modular Monadic Semantics and Generic Programming.To define a new programming language, the abstract syntax is described as the fixpoint of non-recursive pattern functors. For each functor an algebra is defined whose carrier is the computational monad obtained from the application of several monad transformers to a base monad. The interpreter is automatically generated by a catamorphism or, in some special cases, a monadic catamorphism.The system has been implemented as a domain-specific language embedded in Haskell and we have also implemented an interactive framework for language testing.
Keywords:
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号