Search Results1-16 of  16

  • AOTANI TOMOYUKI ID: 9000241495082

    Articles in CiNii:1

    • Introducing Composite Layers in EventCJ (プログラミング Vol.6 No.1) (2013)
  • Aotani Tomoyuki ID: 9000304614045

    Articles in CiNii:1

    • Nataly : A Framework For Translating Named-based Pointcuts to Analysis-based Pointcuts (2012)
  • Tomoyuki Aotani ID: 9000347540459

    Articles in CiNii:1

    • Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq (2015)
  • AOTANI TOMOYUKI ID: 9000004391383

    Dept, Information Sciences, Hosei University (2002 from CiNii)

    Articles in CiNii:2

    • Boundary Edge Antialiasing Circuit (2002)
    • 単一パス多角形境界アンチエリアス (2002)
  • AOTANI Tomoyuki ID: 9000017341860

    Japan Advanced Institute of Science and Technology (2012 from CiNii)

    Articles in CiNii:5

    • EventCJ : a context-oriented language with declarative per-object layer transitions (2011)
    • Practical User-Defined Analysis-Based Pointcuts in an Aspect-Oriented Programming Language(<Series>Quick Report on Doctoral Theses Recommended by IPSJ SIGs) (2010)
    • MODULARITY:aosd.2012参加報告 (2012)
  • AOTANI Tomoyuki ID: 9000258238542

    Japan Advanced Institute of Science and Technology (2013 from CiNii)

    Articles in CiNii:1

    • EventCJ: A Context-Oriented Language with Declarative Per-object Layer Transitions (2013)
  • AOTANI Tomoyuki ID: 9000283467765

    Graduate School of Arts and Sciences, University of Tokyo (2006 from CiNii)

    Articles in CiNii:1

    • A Framework for Defining and Compiling User-Defined Program Analysis in AOP (2006)
  • AOTANI Tomoyuki ID: 9000318138102

    Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology (2016 from CiNii)

    Articles in CiNii:1

    • Report on ECOOP 2015 (2016)
  • Aotani Tomoyuki ID: 9000240062924

    Japan Advanced Institute of Science and Technology (2013 from CiNii)

    Articles in CiNii:1

    • Introducing Composite Layers in EventCJ (2013)
  • Aotani Tomoyuki ID: 9000240073225

    Japan Advanced Institute of Science and Technology (2013 from CiNii)

    Articles in CiNii:1

    • Introducing Composite Layers in EventCJ (2013)
  • Aotani Tomoyuki ID: 9000313615973

    Department of Mathematical and Computing Sciences, Tokyo Institute of Technology (2016 from CiNii)

    Articles in CiNii:1

    • Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq (2016)
  • Tomoyuki Aotani ID: 9000019243745

    Articles in CiNii:3

    • Introducing Composite Layers in EventCJ (2013)
    • Activation Order Analysis of Context-oriented Programs Based on Resource Usage Analysis (2013)
    • Aspect Interfaces: Towards Separate Type-checking of Aspect-oriented Programs with Inter-type Declarations (2013)
  • Tomoyuki Aotani ID: 9000348891230

    Department of Mathematical and Computing Sciences, Tokyo Institute of Technology (2014 from CiNii)

    Articles in CiNii:2

    • A Framework for Defining and Compiling User-Defined Program Analysis in AOP (2006)
    • OCommand: A Domain Specific Language for Type Safe Shell Programming in OCaml (2014)
  • Tomoyuki Aotani ID: 9000348891232

    Articles in CiNii:1

    • A Framework for Defining and Compiling User-Defined Program Analysis in AOP (2006)
Page Top