Search Results1-20 of  63

  • 1 / 4
  • Sakabe Toshiki ID: 9000018949208

    Articles in CiNii:1

    • A Sound Type System for Typing Runtime Errors (プログラミング Vol.5 No.2) (2012)
  • SAKABE Toshiki ID: 1000060111829

    Graduate School of Information Science, Nagoya University (2015 from CiNii)

    Articles in CiNii:175

    • Implementing Visualization of Term Rewriting Computation in Standard ML (1995)
    • Cover Set Induction for Verifying Algebraic Specifications (1992)
    • On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability (2005)
  • SAKABE Toshiki ID: 9000004801508

    Department of Information Engineering, Nagoya University (2001 from CiNii)

    Articles in CiNii:3

    • Mechanizing Explicit Inductive Equational Reasoning by DTRC (1995)
    • Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus (1997)
    • An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems (2001)
  • SAKABE Toshiki ID: 9000006562370

    Department of Electrical Engineering, Faculty of Engineering, Nagoya University (1985 from CiNii)

    Articles in CiNii:1

    • Algebraic Specification Method of Programming Languages(Software Science and Engineering) (1985)
  • SAKABE Toshiki ID: 9000017683068

    Graduate School of Information Science, Nagoya University (2010 from CiNii)

    Articles in CiNii:1

    • Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs (2010)
  • SAKABE Toshiki ID: 9000024021618

    Articles in CiNii:1

    • Automating Commutative Law Based Transformation of TRS (1994)
  • SAKABE Toshiki ID: 9000107316445

    Graduate School of Information Science, Nagoya University (2012 from CiNii)

    Articles in CiNii:1

    • Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls (2012)
  • SAKABE Toshiki ID: 9000107357029

    Nagoya University, Graduate School of Information Science (2012 from CiNii)

    Articles in CiNii:1

    • On Usable Rules under Argument Filterings in Higher-Order Rewrite Systems (2012)
  • SAKABE Toshiki ID: 9000107359874

    Graduate School of Information Science, Nagoya University (2012 from CiNii)

    Articles in CiNii:1

    • On class of equation sets whose word problems are reducible to those of ground equation sets (2012)
  • SAKABE Toshiki ID: 9000107367100

    Articles in CiNii:1

    • On non-termination proof of right-linear and right-shallow term rewriting systems based on forward narrowing (2010)
  • SAKABE Toshiki ID: 9000107392131

    Articles in CiNii:1

    • Argument Filtering and Usable Rules in Higher-Order Rewrite Systems (2009)
  • SAKABE Toshiki ID: 9000107392192

    Articles in CiNii:1

    • On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems (2009)
  • SAKABE Toshiki ID: 9000238780893

    Articles in CiNii:1

    • Generation of Inverse Computation Programs for Constructor Term Rewriting Systems (2005)
  • SAKABE Toshiki ID: 9000258237591

    Graduate School of Engineering, Nagoya University (2003 from CiNii)

    Articles in CiNii:1

    • Typing Exceptions in an Object calculus (2003)
  • SAKABE Toshiki ID: 9000258237615

    Graduate School of Engineering, Nagoya University (2003 from CiNii)

    Articles in CiNii:1

    • Computation Model of Term Rewriting Systems with Extra Variables (2003)
  • SAKABE Toshiki ID: 9000258237693

    Graduate School of Information Science, Nagoya University (2004 from CiNii)

    Articles in CiNii:1

    • Program Generation by Transformation from Quantified Equational Specifications (2004)
  • SAKABE Toshiki ID: 9000258570954

    Graduate School of Information Science, Nagoya University (2003 from CiNii)

    Articles in CiNii:1

    • Program Generation by Transformation from Quantified Equational Specifications (2003)
  • SAKABE Toshiki ID: 9000277863399

    Articles in CiNii:1

    • Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs (2010)
  • SAKABE Toshiki ID: 9000283468050

    Graduate School of Information Science, Nagoya University (2011 from CiNii)

    Articles in CiNii:1

    • Lemma Generation Method in Rewriting Induction for Constrained Term Rewriting Systems (2011)
  • SAKABE Toshiki ID: 9000304970966

    Graduate School of Information Science, Nagoya University (2014 from CiNii)

    Articles in CiNii:1

    • Deciding Code Allocation on Malbolge Low-Level Assembler (2014)
  • 1 / 4
Page Top