首页期刊浏览 2024年12月13日星期五

登录注册

高级检索

专家检索

全文

	有本地全文	8篇
	有全文链接	2篇

出版年度

	2005	5篇
	2004	1篇
	2003	3篇
	2002	1篇

作者

	Henning Korsholm Rohde	10篇
	Olivier Danvy	6篇
	Mads Sig Ager	4篇
	Andrzej Filinski	2篇

文章类型

Research Article

10篇

来源期刊

BRICS Report Series

10篇

学科主题

计算技术、计算机技术

10篇

语种

英文

10篇

国别/地区

丹麦

10篇

检索条件:"( ( 高级检索(( ((AU:(("Henning Korsholm Rohde")))) )) ) )"

共 10 条记录

排序：全选导出：

1.On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation

作　　者：Mads Sig Ager ;Olivier Danvy ;Henning Korsholm Rohde

出　　处：BRICS Report Series. 2002 ;9(32).

出版社：Aarhus University

文章 ID：186804801

文章详细全文下载
2.Fast Partial Evaluation of Pattern Matching in Strings

作　　者：Mads Sig Ager ;Olivier Danvy ;Henning Korsholm Rohde

出　　处：BRICS Report Series. 2003 ;10(20).

出版社：Aarhus University

文章 ID：186804841

文章详细全文下载
3.A Denotational Account of Untyped Normalization by Evaluation

作　　者：Andrzej Filinski ;Henning Korsholm Rohde

出　　处：BRICS Report Series. 2003 ;10(40).

出版社：Aarhus University

文章 ID：186804859

文章详细全文下载
4.Fast Partial Evaluation of Pattern Matching in Strings

作　　者：Mads Sig Ager ;Olivier Danvy ;Henning Korsholm Rohde

出　　处：BRICS Report Series. 2004 ;11(40).

出版社：Aarhus University

文章 ID：186804912

文章详细全文下载
5.Denotational Aspects of Untyped Normalization by Evaluation

作　　者：Andrzej Filinski ;Henning Korsholm Rohde

出　　处：BRICS Report Series. 2005 ;12(4).

出版社：Aarhus University

文章 ID：186804917

文章详细全文下载
6.On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation

作　　者：Olivier Danvy ;Henning Korsholm Rohde

出　　处：BRICS Report Series. 2005 ;12(14).

出版社：Aarhus University

文章 ID：186804927

文章详细全文下载
7.Measuring the Propagation of Information in Partial Evaluation

作　　者：Henning Korsholm Rohde

出　　处：BRICS Report Series. 2005 ;12(26).

出版社：Aarhus University

文章 ID：186804939

文章详细全文下载
8.On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation

作　　者：Olivier Danvy ;Henning Korsholm Rohde

出　　处：BRICS Report Series. 2005 ;12(29).

出版社：Aarhus University

文章 ID：186804942

文章详细
9.Formal Aspects of Polyvariant Specialization

作　　者：Henning Korsholm Rohde

出　　处：BRICS Report Series. 2005 ;12(34).

出版社：Aarhus University

文章 ID：186804947

文章详细全文下载
10.Fast Partial Evaluation of Pattern Matching in Strings

作　　者：Mads Sig Ager ;Olivier Danvy ;Henning Korsholm Rohde

出　　处：BRICS Report Series. 2003 ;10(11).

出版社：Aarhus University

文章 ID：186804991

文章详细

1

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有