Search Results1-20 of  49

  • 1 / 3
  • 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:174

    • 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: 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: 9000024021618

    Articles in CiNii:1

    • Automating Commutative Law Based Transformation of TRS (1994)
  • 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)
  • SAKABE Toshiki ID: 9000304972247

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

    Articles in CiNii:1

    • Deciding Code Allocation on Malbolge Low-Level Assembler (2014)
  • SAKABE Toshiki ID: 9000315139323

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

    Articles in CiNii:1

    • On Efficacy of Narrowing in Proving Termination of Constrained Term Rewriting Systems (2015)
  • SAKABE Toshiki ID: 9000316617280

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

    Articles in CiNii:1

    • On Efficacy of Narrowing in Proving Termination of Constrained Term Rewriting Systems (2015)
  • SAKABE Toshiki ID: 9000391780289

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

    Articles in CiNii:1

    • Typing Exceptions in an Object calculus (2002)
  • SAKABE Toshiki ID: 9000391780440

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

    Articles in CiNii:1

    • A computation model of term rewriting systems with extra variables (2002)
  • Sakabe Toshiki ID: 9000005885281

    Information Engineering Department, Nagoya University (1997 from CiNii)

    Articles in CiNii:1

    • Symbolic Alternative Characterizations of Testing Preorder for Regular Timed Processes(Concurrency Theory and Applications '96) (1997)
  • Sakabe Toshiki ID: 9000019950673

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

    Articles in CiNii:1

    • Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems (2011)
  • Sakabe Toshiki ID: 9000019954112

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

    Articles in CiNii:1

    • A Sound Type System for Typing Runtime Errors (2012)
  • 1 / 3
Page Top