Papers


Publlished and unpublished papers (English only)
Japanse Page is here
  1. Implementing Continuation based language in LLVM and Clang Kaito TOKUMORI, Shinji KONO, LOLA 2015,Kyoto, July, 2015
  2. Demonstration of Continuation based C on GCC Shinji KONO, Continuation Workshop Sep, 2011
  3. Implementing Continuation based language in GCC , Shinji KONO, Kento YOGI, Continuation Festa 2008, April, 2008
  4. Continuation based Programming Language for Embedded Systems Mobile Agent based Web Cache Proxy System
  5. Parallelization of Temporal Logic Verification by Dividing State Set,
  6. 2ITL: Logic which has a Process as a value of a variable
  7. Execution and verification of 2nd order interval temporal logic
  8. Synthesis of Contrllers from Interval Temporal Loigc Specification
  9. A Combination of Clasual and Non Clausal Temporal Logic Program
  10. Synthesis of Contrllers from Interval Temporal Loigc Specification
  11. Automatic Verification of Interval Temporal Logic
  12. Parallel Reflection
  13. Thread Diagram
  14. Object Oriented Load Distribution in DinnerBell
  15. Tokio: Logic Programming Language Based on Temporal Logic and Its compilation to Prolog
  16. TEMPORAL LOGIC PROGRAMMING LANGUAGE Tokio
Kono's home page