 | 件数：42件
[2011]
| 1. | 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. | 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. | 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. | 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. | 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 |
| |
[2009]
| 6. | 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 |
| |
| 7. | 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 |
| |
| 8. | 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]
| 9. | MinCamlコンパイラ.[コンピュータソフトウェア,25(2),(2008),28-38]住井英二郎 |
| |
[2007]
| 10. | 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 |
| |
| 11. | 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 |
| |
| 12. | 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 |
| |
| 13. | 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 |
| |
| 14. | Javaへの変換による安全なＣ言語の実装.[第９回プログラミングおよびプログラミング言語ワークショップ,(2007),52-66]上嶋祐紀, 住井英二郎 |
| |
| 15. | 型安全な通信ライブラリQuicksilverとその改良.[第９回プログラミングおよびプログラミング言語ワークショップ,(2007),39-51]須藤尚稔, 住井英二郎 |
| |
[2005]
| 16. | 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 |
| |
| 17. | 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]
| 18. | 例外処理機構を備えた命令型言語のCPS変換とその定式化.[情報処理学会論文誌,45(SIG12),(2004),67-82]住井 英二郎, 大根田 裕一, 米澤 明憲 |
| |
| 19. | セキュリティプロトコルの略式記法からspi計算への変換.[情報処理学会論文誌,45(SIG12),(2004),1-10]住井 英二郎, 立沢 秀晃, 米澤 明憲 |
| |
| 20. | A Bisimulation for Dynamic Sealing.[Proceedings of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langeages (POPL'04),(2004),161-172]Eijiro Sumii and Benjamin C.Pierce
10.1145/964001.964015 |
| |
| |
