LMNtal: The unifying programming language based on hierarchical graph rewriting

被引：0
|
作者：
Inui, Atsuyuki [1 ]
Kudo, Shintaro [1 ]
Hara, Koji [1 ]
Mizuno, Ken [1 ]
Kato, Norio [2 ]
Ueda, Kazunori [3 ]
机构：
[1] Dept. of Computer Science, Waseda University
[2] Research Center for Verification and Semantics, AIST
[3] Dept. of Computer Science and Engineering, Waseda University
来源：
Computer Software | 2008年 / 25卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer programming languages
引用
收藏
页码：124 / 150
相关论文
共 50 条
  • [1] LMNtal as a hierarchical logic programming language
    Ueda, Kazunori
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (46) : 4784 - 4800
  • [2] A graph rewriting programming language for graph drawing
    Rodgers, PJ
    1998 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1998, : 32 - 39
  • [3] LMNtal as a unifying declarative language: Live demonstration
    Ueda, Kazunori
    Kato, Norio
    Hara, Koji
    Mizuno, Ken
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 457 - 458
  • [4] Introducing Quantification into a Hierarchical Graph Rewriting Language
    Mishina, Haruto
    Ueda, Kazunori
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2024, 2024, 14919 : 220 - 239
  • [5] A demonstration of the Grrr graph rewriting programming language
    Rodgers, PJ
    Vidal, N
    APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 473 - 480
  • [6] Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems
    Ueda, Kazunori
    Ayano, Takayuki
    Hori, Taisuke
    Iwasawa, Hiroki
    Ogawa, Seiji
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2009, 2009, 5684 : 349 - 355
  • [7] A graph-rewriting visual language for database programming
    Rodgers, PJ
    King, PJH
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1997, 8 (5-6): : 641 - 674
  • [8] JALPA: a functional modular programming language with dynamic optimization based on term graph rewriting
    Yamanaka, Hideki
    Fujitsu Scientific and Technical Journal, 1994, 30 (01): : 112 - 125
  • [9] LEAN: An intermediate language based on graph rewriting
    Barendregt, H.P.
    Van Eekelen, M.C.J.D.
    Plasmeijer, M.J.
    Glauert, J.R.W.
    Kennaway, J.R.
    Sleep, M.R.
    Parallel Computing, 1988, 9 (02): : 163 - 177
  • [10] TOWARDS AN INTERMEDIATE LANGUAGE BASED ON GRAPH REWRITING
    BARENDREGT, HP
    VANEEKELEN, MCJD
    GLAUERT, JRW
    KENNAWAY, JR
    PLASMEIJER, MJ
    SLEEP, MR
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 159 - 175
12345