 | total:45
[2011]
| 1. | [O] From Applicative to Environmental Bisimulation.[Proceedings of Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science,(276),(2011),215-235]Vasileios Koutavas, Paul Blain Levy, and Eijiro Sumii
10.1016/j.entcs.2011.09.023 |
| |
| 2. | [O] Sound Bisimulations for Higher-Order Distributed Process Calculus.[Proceedings of 14th International Conference on Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science,6604,(2011),123-137]Adrien Piérard and Eijiro Sumii
10.1007/978-3-642-19805-2_9 |
| |
| 3. | [O] Environmental Bisimulations for Higher-Order Languages.[ACM Transactions on Programming Languages and Systems,33(1),(2011),5:1-5:69]Davide Sangiorgi, Naoki Kobayashi, and Eijiro Sumii
10.1145/1889997.1890002 |
| |
[2010]
| 4. | [O] A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation.[Theoretical Computer Science,411(51-52),(2010),4358-4378]Eijiro Sumii
10.1016/j.tcs.2010.09.009 |
| |
| 5. | [O] Limitations of Applicative Bisimulation.[Modelling, Controlling and Reasoning About State, Dagstuhl Seminar Proceedings,10351,(2010),1-9]Vasileios Koutavas, Paul Blain Levy, and Eijiro Sumii |
| |
| 6. | [B] Formal Approach to Information Security.[Kyoritsu Shuppan (Publisher),(2010)]Masami Hagiya and Yasuyuki Tsukada ed., Eijiro Sumii et al. |
| |
[2009]
| 7. | [O] The Higher-Order, Call-by-Value Applied Pi-Calculus.[Proceedings of the 7th Asian Symposium on Programming Languages and Systems (APLAS'09), Lecture Notes in Computer Science,5904,(2009),311-326]Nobuyuki Sato and Eijiro Sumii
10.1007/978-3-642-10672-9_22 |
| |
| 8. | [O] A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References.[Proceedings of 18th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science,5771,(2009),455-469]Eijiro Sumii
10.1007/978-3-642-04027-6_33 |
| |
| 9. | [O] A Theory of Non-Monotone Memory.[Proceedings of the 18th European Symposium on Programming (ESOP'09), Lecture Notes in Computer Science,5502,(2009)]Eijiro Sumii |
| |
[2008]
| 10. | [O] The MinCaml Compiler.[Computer Software,25(2),(2008),28-38]Eijiro Sumii |
| |
[2007]
| 11. | [R] Formal Verification of Cryptographic Protocols in the Spi Calculus.[Iwanami Shoten (Publisher) Bulletin of the Japan Society for Industrial and Applied Mathematics,17(4), (2007)]Eijiro Sumii |
| |
| 12. | [O] A Bisimulation for Type Abstraction and Recursion.[Journal of the ACM,54(5-26),(2007),1-43]Eijiro Sumii and Benjamin C. Pierce
10.1145/1284320.1284325 |
| |
| 13. | [O] Environmental Bisimulations for Higher-Order Languages.[Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07),(2007),293-302]Davide Sangiorgi, Naoki Kobayashi and Eijiro Sumii
10.1109/LICS.2007.17 |
| |
| 14. | [O] A Bisimulation for Dynamic Sealing.[Theoretical Computer Science,375(1-3),(2007),169-192]Eijiro Sumii and Benjamin C. Pierce
10.1016/j.tcs.2006.12.032 |
| |
| 15. | [O] Logical Bisimulations and Functional Languages.[Post-Proceedings of the IPM International Symposium on Fundamentals of Software Engineering,4767,(2007),364-379]Davide Sangiorgi, Naoki Kobayashi and Eijiro Sumii
10.1007/978-3-540-75698-9_24 |
| |
| 16. | [O] A Safe Implementation of the C Language by Translation into Java.[Proceedings of JSSST Workshop on Programming and Programming Languages (PPL'07),(2007),52-66]Yuhki Kamijima and Eijiro Sumii |
| |
| 17. | [O] The Quicksilver Type-Safe Communication Library and its Improvements.[Proceedings of JSSST Workshop on Programming and Programming Languages (PPL'07),(2007),39-51]Hisatoshi Sutou and Eijiro Sumii |
| |
[2005]
| 18. | [O] MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language.[Proceedings of the 2005 Workshop on Functional and Declarative Programming in Education (FDPE'05),(2005),27-38]Eijiro Sumii
10.1145/1085114.1085122 |
| |
| 19. | [O] A Bisimulation for Type Abstraction and Recursion.[Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05),40(1),(2005),63-74]Eijiro Sumii and Benjamin C. Pierce
10.1145/1040305.1040311 |
| |
[2004]
| 20. | [O] CPS Conversion of Imperative Language with Exception Handling and its Formalization.[IPSJ Transactions on Programming,45(SIG12),(2004),67-82]Eijiro Sumii, Yuichi Oneda and Akinori Yonezawa |
| |
| |
