简·海林
人员信息
附属: Centrum Wiskunde&Informatica,荷兰阿姆斯特丹
其他同名人员
优化列表
2020年–今天
2022 [i5] Krzysztof R.Apt公司 , 简·海林 :
重新审视激励相容单参数机制的特征。 CoRR公司 abs/2212.02344 ( 2022 )
2010 – 2019
2015 [公元18年] 简·海林 :
生成性软件复杂性和软件理解。 科学。 计算。 程序。 97 : 82-85 ( 2015 )
2000 – 2009
2008 【c7】 简·海林 , 马尔扬·默尼克 :
特定领域语言是ulsis工程的关键工具。 ULSSIS@ICSE公司 2008 : 1-2 2005 [公元17年] 马尔扬·默尼克 , 简·海林 , 安东尼·斯隆 :
何时以及如何开发特定领域的语言。 ACM计算机。 Surv公司。 37 ( 4 ) : 316-344 ( 2005 ) 2003 [公元16年] 简·海林 :
结构信息的量化:关于布鲁克斯提出的一个问题。 ACM SIGSOFT软件。 工程注释 28 ( 三 ) : 6 ( 2003 ) 【c6】 简·海林 , 马尔扬·默尼克 , 安东尼·斯隆 :
领域特定语言迷你轨道介绍。 HICSS公司 2003 : 323 2002 [公元15年] 马克·范登·布兰德 , 简·海林 , 保罗·克林特 , 彼得·奥利维尔 :
编译语言定义:ASF+SDF编译器。 ACM事务处理。 程序。 语言系统。 24 ( 4 ) : 334-368 ( 2002 ) 【c5】 简·海林 , 马尔扬·默尼克 :
迷你轨道介绍。 HICSS公司 2002 : 279 2001 【c4】 马克·范登布兰德 , 阿里·范·德森 , 简·海林 , 德容先生 , 梅里恩·德琼格 , 托拜厄斯·库伊珀斯 , 保罗·克林特 , 莱昂·穆南 , 彼得·奥利维尔 , 杰伦·谢尔德 , 尤尔根·J·文居 , 埃尔科·维瑟 , Joost遮阳板 :
ASF+SDF元环境:基于组件的语言开发环境。 科科斯群岛 2001 : 365-370 【c3】 马克·范登·布兰德 , 阿里·范·德乌森 , 简·海林 , 海科·德容 , 梅里恩·德琼格 , 托比亚斯·库佩斯 , 保罗·克林特 , 莱昂·穆南 , 彼得·奥利维尔 , 杰伦·谢尔德 , 尤尔根·J·文居 , 埃尔科·维瑟 , Joost遮阳板 :
Asf+Sdf元环境:基于组件的语言开发环境。 LDTA@ETAPS(预计到达时间) 2001 : 3-8 2000 [公元14年] 简·海林 , 保罗·克林特 :
编程语言的语义:一种面向工具的方法。 ACM SIGPLAN通知 35 ( 三 ) : 39-48 ( 2000 ) [j13] T.B.迪内什 , Magne Haveraen公司 , 简·海林 :
数值软件的代数编程风格及其优化。 科学。 程序。 8 ( 4 ) : 247-259 ( 2000 ) [i4] 简·海林 :
应用软件、领域特定语言和语言设计助理。 CoRR公司 反恐精英。 PL/0005002 ( 2000 ) [i3] 马克·范登·布兰德 , 简·海林 , 保罗·克林特 , 彼得·奥利维尔 :
编译语言定义:ASF+SDF编译器。 CoRR公司 反恐精英。 PL/0007008 ( 2000 )
1990 – 1999
1999 [i2] 简·海林 , 保罗·克林特 :
编程语言的语义:一种面向工具的方法。 CoRR公司 反恐精英。 PL/9911001 ( 1999 ) [i1] T.B.迪内什 , Magne Haveraaen公司 , 简·海林 :
数值软件的代数编程风格及其优化。 CoRR公司 反恐精英。 序列号:9903002 ( 1999 ) 1998 [j12] 约翰·菲尔德 , 简·海林 , T.B.迪内什 :
方程作为部分评估和抽象解释的统一框架。 ACM计算机。 Surv公司。 30 ( 3秒 ) : 2 ( 1998 ) 1997 [公元11年] 简·A·伯格斯特拉 , T.B.迪内什 , 约翰·菲尔德 , 简·海林 :
面向编译器的完整转换工具包。 ACM事务处理。 程序。 语言系统。 19 ( 5 ) : 639-684 ( 1997 ) [电子3] 迈克尔·哈纳斯 , 简·海林 , 卡尔·梅恩克 :
代数和逻辑编程,第六届国际联合会议,ALP’97-HOA’97,英国南安普敦,1997年9月3-5日,会议记录。 计算机科学课堂讲稿 1298, 施普林格 1997 ,国际标准图书编号 3-540-63459-2 [目录] 1996 【b1】 阿里·范·德森 , 简·海林 , 保罗·克林特 :
语言原型:代数规范方法。 AMAST系列计算机 5, 世界科学 1996 ,国际标准图书编号 978-981-02-2732-6 ,第1-376页 【c2】 简·A·伯格斯特拉 , T.B.迪内什 , 约翰·菲尔德 , 简·海林 :
编译器的完整转换工具包。 员工持股计划 1996 : 92-107 [电子2] 吉尔斯·道克 , 简·海林 , 卡尔·梅恩克 , 伯恩哈德·莫勒 :
《高阶代数、逻辑和术语重写》,第二届国际研讨会,1995年9月21日至22日,德国帕德博恩,1995年HOA'95,论文集。 计算机科学课堂讲稿 1074, 施普林格 1996 ,国际标准图书编号 3-540-61254-8 [目录] 1995 [公元10年] 简·A·伯格斯特拉 , 简·海林 :
保持同态的代数规范需要隐藏排序。 Inf.计算。 119 ( 1 ) : 119-123 ( 1995 ) 1994 [公元9年] 简·A·伯格斯特拉 , 简·海林 :
哪些数据类型具有欧米伽完备的初始代数规范? 西奥。 计算。 科学。 124 ( 1 ) : 149-168 ( 1994 ) [j8] 简·海林 , 保罗·克林特 , J.雷克斯 :
惰性和增量程序生成。 ACM事务处理。 程序。 语言系统。 16 ( 三 ) : 1010-1023 ( 1994 ) [电子1] 简·海林 , 卡尔·梅恩克 , 伯恩哈德·莫勒 , 托比亚斯·尼普科 :
《高阶代数、逻辑和术语重写》,第一届国际研讨会,1993年9月23日至24日,荷兰阿姆斯特丹,HOA'93,论文集。 计算机科学课堂讲稿 816, 施普林格 1994 ,国际标准图书编号 3-540-58233-9 [目录] 1992 [j7] 简·海林 , 保罗·克林特 , J.雷克斯 :
词汇扫描器的增量生成。 ACM事务处理。 程序。 语言系统。 14 ( 4 ) : 490-520 ( 1992 ) 1990 [j6] 简·A·伯格斯特拉 , 简·海林 , 保罗·克林特 :
模块代数。 美国临床医学杂志 37 ( 2 ) : 335-372 ( 1990 ) [j5] 简·海林 , 保罗·克林特 , J.雷克斯 :
分析器的增量生成。 IEEE传输。 软件工程师。 16 ( 12 ) : 1344-1351 ( 1990 )
1980 – 1989
1989 【j4】 简·海林 , P.R.H.亨德里克斯 , 保罗·克林特 , J.雷克斯 :
语法定义形式主义SDF-参考手册。 ACM SIGPLAN通知 24 ( 11 ) : 43-75 ( 1989 ) 【c1】 简·海林 , 保罗·克林特 , J.雷克斯 :
分析器的增量生成。 PLDI公司 1989 : 179-191 1986 [j3] 简·海林 , 保罗·克林特 :
与UNH Prolog解释器相比,方程式解释器的效率更高。 ACM SIGPLAN通知 21 ( 2 ) : 18-21 ( 1986 ) [注2] 简·海林 :
代数规格说明的部分求值和欧米伽完备。 西奥。 计算。 科学。 43 : 149-167 ( 1986 ) 1985 [j1] 简·海林 , 保罗·克林特 :
走向单语编程环境。 ACM事务处理。 程序。 语言系统。 7 ( 2 ) : 183-213 ( 1985 )