Searching for authors named Naoki Kobayashi – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
Type-Based Useless Variable Elimination
- …TECHNICAL REPORT TR99-02 Type-Based Useless Variable Elimination Naoki Kobayashi July 1999…
- Cited by 18 (4 self) – Add To MetaCart
-
Type systems for concurrent programs
- …Type Systems for Concurrent Programs Naoki Kobayashi Department of Computer Science Tokyo…
- Cited by 7 (2 self) – Add To MetaCart
-
Time Regions and Effects for Resource Usage Analysis
- …Time Regions and Effects for Resource Usage Analysis Naoki Kobayashi Tokyo Institute of Technology…
- Cited by 3 (0 self) – Add To MetaCart
-
Useless-Code Elimination and Program Slicing for the Pi-Calculus
- …Useless-Code Elimination and Program Slicing for the Pi-Calculus Naoki Kobayashi Department…
- Cited by 1 (0 self) – Add To MetaCart
-
A Type System for Lock-Free Processes
- …A Type System for Lock-Free Processes 1 Naoki Kobayashi Department of Computer Science, Graduate…
- Cited by 20 (6 self) – Add To MetaCart
-
A new type system for deadlock-free processes
- …A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information…
- Cited by 14 (2 self) – Add To MetaCart
-
Type-Based Useless-Variable Elimination
- …Type-Based Useless-Variable Elimination y Naoki Kobayashi (koba@(email omitted);) Department…
- Add To MetaCart
-
Quasi-Linear Types
- …Quasi-Linear Types 3 Naoki Kobayashi Department of Information Science, University of Tokyo 7…
- Cited by 51 (5 self) – Add To MetaCart
-
A Partially Deadlock-free Typed Process Calculus (I) -- A Simple System --
- … -- Naoki Kobayashi September 1996 T Department of Information Science Faculty of Science, University…
- Cited by 68 (12 self) – Add To MetaCart
-
Type-Based Information Flow Analysis for the Pi-Calculus
- …Type-Based Information Flow Analysis for the Pi-Calculus Naoki Kobayashi Tokyo Institute…
- Cited by 17 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
