大森Atsushi Ohori
人员信息
优化列表
2020年–今天
2022 [公元45年] 上野胜弘 , 大森Atsushi Ohori :
多核处理器上轻量级线程的并发和并行垃圾收集。 ISMM公司 2022 : 29-42 2021 [公元44年] 大森Atsushi Ohori , 上野胜弘 :
ML中动态键入的编译方法。 阿普拉斯 2021 : 140-159
2010 – 2019
2018 [公元16年] 大森Atsushi Ohori , 上野胜弘 , Hisayuki Mima公司 :
用于优化类型定向编译的金融多态性。 程序。 ACM计划。 语言。 2 ( ICFP公司 ) : 81:1-81:29 ( 2018 ) 2016 [公元15年] 上野胜弘 , 大森Atsushi Ohori :
从函数语言对键值存储的类型安全访问。 J.信息处理。 24 ( 1 ) : 141-151 ( 2016 ) [公元14年] 上野胜弘 , 大森Atsushi Ohori :
从ML到Shell的外语接口。 新一代。 计算。 34 ( 三 ) : 239-256 ( 2016 ) [公元43年] 大森Atsushi Ohori , 上野胜弘 , 佐佐木友弘 , 菊池大辅 :
JSON对象类型化操作的部分动态记录微积分。 ECOOP公司 2016 : 18:1-18:25 [公元42年] 上野胜弘 , 大里Atsushi :
多核处理器上功能程序的完全并发垃圾收集器。 ICFP公司 2016 : 421-433 2014 [公元41年] 上野胜弘 , 藤泽裕隆(Yutaka Fukasawa) , 森喜昭惠 , 大里Atsushi :
红宝石的本质。 阿普拉斯 2014 : 78-98 [公元40年] 森喜昭惠 , Masato Koishi先生 , 大森Atsushi Ohori :
通过细化和增量实现动态编程。 FLOPS(浮动) 2014 : 186-202 [公元39年] 大森Atsushi Ohori , 上野胜弘 , Kazunori Hoshi先生 , 野崎信治 , 佐藤隆志 , Tasuku Makabe公司 , 伊藤由纪夫 :
SML#在业界:一个实用的ERP系统开发。 ICFP公司 2014 : 167-173 2013 [公元38年] 大森Atsushi Ohori :
记录多态性:它的发展和应用。 在计算理论与实践中寻求优雅 2013 : 432-444 2011 [公元37年] 上野胜弘 , 大森Atsushi Ohori , Toshiaki Otomo公司 :
函数式语言的高效非移动垃圾收集器。 ICFP公司 2011 : 196-208 [公元36年] 大森Atsushi Ohori , 上野胜弘 :
使标准ML成为一种实用的数据库编程语言。 ICFP公司 2011 : 307-319
2000 – 2009
2007 [j13] 铃木裕久(Tomoyuki Higuchi) , 大森Atsushi Ohori :
用于JVM访问控制的静态类型系统。 ACM事务处理。 程序。 语言系统。 29 ( 1 ) : 4 ( 2007 ) [公元12年] 大森Atsushi Ohori :
机器代码的证明理论。 ACM事务处理。 程序。 语言系统。 29 ( 6 ) : 36 ( 2007 ) [公元35年] 大森Atsushi Ohori , 伊索·萨萨诺 :
通过定点提升实现轻质融合。 POPL公司 2007 : 143-154 2006 [公元34年] 胡德阮 , 大森Atsushi Ohori :
使用显式布局位图编译ML多态性。 PPDP公司 2006 : 237-248 [公元33年] 松野裕隆 , 大森Atsushi Ohori :
一种等价于静态单个赋值的类型系统。 PPDP公司 2006 : 249-260 2004 [公元11年] 大森Atsushi Ohori :
通过证明转换进行寄存器分配。 科学。 计算。 程序。 50 ( 1-3 ) : 161-187 ( 2004 ) [公元32年] Choi光勋 , 大森Atsushi Ohori :
Krivine风格评估和编译的类型理论。 阿普拉斯 2004 : 213-228 2003 [公元31年] 大森Atsushi Ohori :
通过证明转换进行寄存器分配。 员工持股计划 2003 : 399-413 [c30] 铃木裕久(Tomoyuki Higuchi) , 大森Atsushi Ohori :
用于JVM访问控制的静态类型系统。 ICFP公司 2003 : 227-237 [电子5] 大森Atsushi Ohori :
《程序设计语言与系统》,第一届亚洲研讨会,2003年APLAS,中国北京,2003年11月27日至29日,会议记录。 计算机科学课堂讲稿 2895, 施普林格 2003 ,十亿 3-540-20536-5 [目录] 2002 [公元29年] 大森Atsushi Ohori , 山本清彦 :
外部对象访问的可互操作微积分。 阿普拉斯 2002 : 127 [公元28年] 大森Atsushi Ohori , 山本清彦 :
用于外部对象访问的可互操作演算。 ICFP公司 2002 : 60-71 [公元27年] 铃木裕久(Tomoyuki Higuchi) , 大森Atsushi Ohori :
Java字节码作为类型化术语演算。 PPDP公司 2002 : 201-211 2001 [公元10年] 桥本正太郎 , 大森Atsushi Ohori :
类型化上下文演算。 西奥。 计算。 科学。 266 ( 1-2 ) : 249-272 ( 2001 ) [公元26年] 大森Atsushi Ohori :
互操作语言的校对编译。 阿普拉斯 2001 : 301-311 [公元25年] Shin-ya胜本 , 大森Atsushi Ohori :
低层代码的校对定向反编译。 员工持股计划 2001 : 352-366 [公元24年] 艾伦·迈克罗夫特 , 大森Atsushi Ohori , Shin-ya胜本 :
比较基于类型和校对的反编译。 WCRE公司 2001 : 362-367 2000 【c23】 大森Atsushi Ohori :
汇编语言的逻辑分析。 阿普拉斯 2000 : 179
1990 – 1999
1999 [公元9年] 大森Atsushi Ohori :
多态性的类型定向专门化。 Inf.计算。 155 ( 1-2 ) : 64-107 ( 1999 ) [j8] 西村素素木 , 大森Atsushi Ohori :
通过数据并行递归对递归定义数据进行并行函数编程。 J.功能。 程序。 9 ( 4 ) : 427-462 ( 1999 ) [公元22年] 大森Atsushi Ohori :
逻辑抽象机器:机器代码的Curry-Howard同构。 富士国际函数和逻辑编程研讨会 1999 : 300-318 【c21】 大森Atsushi Ohori , 吉田信树 :
ML的类型定向编译中的秩1多态性类型推断。 ICFP公司 1999 : 160-171 [公元20年] 大森Atsushi Ohori :
编译和程序执行的Curry-Howard同构。 薄层色谱分析 1999 : 280-294 1998 [电子4] 杰祥 , 大森Atsushi Ohori :
《计算科学进展——1998年亚洲》,第四届亚洲计算科学会议,菲律宾马尼拉,1998年12月8日至10日,会议记录。 计算机科学课堂讲稿 1538, 施普林格 1998 ,十亿 3-540-65388-0 [目录] [电子3] 泽维尔·勒罗伊 , 大森Atsushi Ohori :
编译类型,第二次国际研讨会,TIC’98,日本京都,1998年3月25日至27日,会议记录。 计算机科学课堂讲稿 1473, 施普林格 1998 ,十亿 3-540-64925-5 [目录] 1997 [j7] 大森Atsushi Ohori , Tomonobu Takamizawa公司 :
ML多态性的无框操作语义。 LISP符号。 计算。 10 ( 1 ) : 61-91 ( 1997 ) [第19条] 大森Atsushi Ohori :
专门化多态性的类型系统。 节气门执行器控制系统 1997 : 107-137 [电子2] 铁雄艾达 , 大森Atsushi Ohori , Masato Takeichi :
功能和逻辑编程,第二届富士国际研讨会论文集,日本松南村中心,1996年11月1日至4日。 世界科学 1997 ,十亿 981-02-2923-2 [目录] 1996 [j6] 彼得·布内曼 , 大森Atsushi Ohori :
数据库编程中的多态性和类型推断。 ACM事务处理。 数据库系统。 21 ( 1 ) : 30-76 ( 1996 ) [第18条] 西村素素木 , 大森Atsushi Ohori , Keishi Tajima先生 :
一种面向对象的等式数据模型及其数据并行查询语言。 乌普斯拉 1996 : 1-17 1995 [j5] 大森Atsushi Ohori :
多态记录演算及其编译。 ACM事务处理。 程序。 语言系统。 17 ( 6 ) : 844-895 ( 1995 ) 1994 [第17条] 大森Atsushi Ohori , Keishi Tajima先生 :
用于视图和对象共享的多态微积分。 豆荚 1994 : 255-266 [第16条] 西村素素木 , 大森Atsushi Ohori :
在递归定义数据上利用数据并行性的一种算法。 并行程序设计的理论与实践 1994 : 413-432 [电子1] 卡特里尔·比里 , 大森Atsushi Ohori , 丹尼斯·沙沙 :
数据库编程语言(DBPL-4),第四届数据库编程语言-对象模型和语言国际研讨会论文集,美国纽约市曼哈顿,1993年8月30日至9月1日。 计算机研讨会 , 施普林格 1994 ,十亿 3-540-19853-9 [目录] 1993 [第15条] 大森Atsushi Ohori , 加藤和彦 :
多形语言中交际原语的语义。 POPL公司 1993 : 99-112 1992 [第14条] 大森Atsushi Ohori :
ML型多态记录演算的一种编译方法。 POPL公司 1992 : 154-165 [第13条] 理查德·康纳 , 马尔科姆·P·阿特金森 , 乔治·盖利 , 大森Atsushi Ohori :
关于持久型系统的主题讨论会。 销售时点情报系统 1992 : 216-221 1991 【j4】 瓦尔·坦宁 , 彼得·布内曼 , 大森Atsushi Ohori :
面向对象数据库的数据结构和数据类型。 IEEE数据工程牛。 14 ( 2 ) : 23-27 ( 1991 ) [j3] 彼得·布内曼 , 阿奇姆·荣格 , 大森Atsushi Ohori :
使用Powerdomains泛化关系数据库。 西奥。 计算。 科学。 91 ( 1 ) : 23-55 ( 1991 ) [第12条] 彼得·布内曼 , 大森Atsushi Ohori :
重新构造类和范围的类型系统。 DBPL公司 1991 : 191-202 1990 [注2] 大森Atsushi Ohori :
数据库对象的类型语义。 西奥。 计算。 科学。 76 ( 1 ) : 53-91 ( 1990 ) [第11条] 弗洛里安·马特斯 , 大森Atsushi Ohori , 约阿希姆·施密特 :
为具有位置的对象键入方案。 东西方数据库研讨会 1990 : 106-123 [第10条] 大森Atsushi Ohori :
用纯函数语言表示对象标识。 国际协调委员会 1990 : 41-55 【c9】 大森Atsushi Ohori , 伊万·塔布卡 , 理查德·康纳 , 保罗·菲尔布朗 :
重新审视持久性和类型抽象。 销售时点情报系统 1990 : 141-153
1980 – 1989
1989 [j1] 瓦尔·坦宁 , 彼得·布内曼 , 大森Atsushi Ohori :
面向对象数据库中的静态类型检查。 IEEE数据工程牛。 12 ( 三 ) : 5-12 ( 1989 ) 【c8】 瓦尔·坦宁 , 彼得·布内曼 , 大森Atsushi Ohori :
面向对象数据库可以静态类型化吗? DBPL公司 1989 : 226-237 【c7】 大森Atsushi Ohori :
ML多态性的一个简单语义。 FPCA公司 1989 : 281-292 【c6】 大森Atsushi Ohori , 彼得·布内曼 :
参数类的静态类型推断。 乌普斯拉 1989 : 445-456 【c5】 大森Atsushi Ohori , 彼得·布内曼 , 瓦尔·坦宁 :
马基雅维利数据库编程——一种带有静态类型推断的多态语言。 SIGMOD会议 1989 : 46-57 1988 【c4】 大森Atsushi Ohori :
数据库对象的类型语义。 国际协调委员会 1988 : 239-251 【c3】 大森Atsushi Ohori , 彼得·布内曼 :
数据库编程语言中的类型推断。 LISP与函数编程 1988 : 174-183 1987 【c2】 大森Atsushi Ohori :
数据库中的顺序和类型。 DBPL公司 1987 : 97-116 1986 【c1】 彼得·布内曼 , 大里Atsushi :
高阶关系的领域理论方法。 国际协调委员会 1986 : 91-104