首页期刊浏览 2024年12月04日星期三

登录注册

高级检索

专家检索

全文

	有本地全文	10篇
	有全文链接	1篇

出版年度

	2004	4篇
	2003	5篇
	2002	2篇

作者

	Mads Sig Ager	11篇
	Olivier Danvy	10篇
	Jan Midtgaard	5篇
	Henning Korsholm Rohde	4篇
	Dariusz Biernacki	2篇

Mayer Goldberg

1篇

文章类型

Research Article

11篇

来源期刊

BRICS Report Series

11篇

学科主题

计算技术、计算机技术

11篇

语种

英文

11篇

国别/地区

丹麦

11篇

检索条件:"( ( 高级检索(( ((AU:(("Mads Sig Ager")))) )) ) )"

共 11 条记录

排序：全选导出：

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.A Symmetric Approach to Compilation and Decompilation

作　　者：Mads Sig Ager ;Olivier Danvy ;Mayer Goldberg

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

出版社：Aarhus University

文章 ID：186804806

文章详细全文下载
3.A Functional Correspondence between Evaluators and Abstract Machines

作　　者：Mads Sig Ager ;Dariusz Biernacki ;Olivier Danvy 等

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

出版社：Aarhus University

文章 ID：186804834

文章详细全文下载
4.From Interpreter to Compiler and Virtual Machine: A Functional Derivation

作　　者：Mads Sig Ager ;Dariusz Biernacki ;Olivier Danvy 等

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

出版社：Aarhus University

文章 ID：186804835

文章详细全文下载
5.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

文章详细全文下载
6.A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects

作　　者：Mads Sig Ager ;Olivier Danvy ;Jan Midtgaard

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

出版社：Aarhus University

文章 ID：186804854

文章详细全文下载
7.A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

作　　者：Mads Sig Ager ;Olivier Danvy ;Jan Midtgaard

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

出版社：Aarhus University

文章 ID：186804875

文章详细全文下载
8.From Natural Semantics to Abstract Machines

作　　者：Mads Sig Ager

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

出版社：Aarhus University

文章 ID：186804892

文章详细全文下载
9.A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects

作　　者：Mads Sig Ager ;Olivier Danvy ;Jan Midtgaard

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

出版社：Aarhus University

文章 ID：186804900

文章详细全文下载
10.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

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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