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
  5. Continuation based Programming Language for Embedded Systems Mobile Agent based Web Cache Proxy System
  6. Parallelization of Temporal Logic Verification by Dividing State Set,
  7. 2ITL: Logic which has a Process as a value of a variable
  8. Execution and verification of 2nd order interval temporal logic
  9. Synthesis of Contrllers from Interval Temporal Loigc Specification
  10. A Combination of Clasual and Non Clausal Temporal Logic Program
  11. Synthesis of Contrllers from Interval Temporal Loigc Specification
  12. Automatic Verification of Interval Temporal Logic
  13. Parallel Reflection
  14. Thread Diagram
  15. Object Oriented Load Distribution in DinnerBell
  16. Tokio: Logic Programming Language Based on Temporal Logic and Its compilation to Prolog
  17. TEMPORAL LOGIC PROGRAMMING LANGUAGE Tokio
Kono's home page