Limerick
发表于 2025-3-23 13:00:40
Preserving Sharing in the Partial Evaluation of Lazy Functional Programscceptable from a performance point of view. In this work, we present the basis of a new partial evaluation scheme for first-order lazy functional programs that preserves sharing through the specialization process and still allows the unfolding of arbitrary function calls.
方舟
发表于 2025-3-23 16:32:56
http://reply.papertrans.cn/59/5882/588107/588107_12.png
Immunoglobulin
发表于 2025-3-23 19:36:44
http://reply.papertrans.cn/59/5882/588107/588107_13.png
meritorious
发表于 2025-3-24 00:29:53
Logic-Based Program Synthesis and Transformation978-3-540-78769-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
轻浮思想
发表于 2025-3-24 04:55:09
0302-9743 Overview: 978-3-540-78768-6978-3-540-78769-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
使苦恼
发表于 2025-3-24 06:58:11
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588107.jpg
doxazosin
发表于 2025-3-24 12:54:25
Synthesis of Data Views for Communicating Processesal programs. Various authors have adapted the proofs-as-programs to other logics and programming paradigms. This paper presents an adaptation of proofs-as-programs for the synthesis of . program protocols with ., from proofs in a constructive proof-system for Hennessy-Milner logic.
Anonymous
发表于 2025-3-24 15:06:12
ined by physical spaces, the OSNs offer to web users new interesting means to communicate, interact, and socialize. The OSNs exhibit many of the characteristics of human societies in terms of forming relationships and how those relationships are used for personal information disclosure. However, cur
optional
发表于 2025-3-24 19:32:00
http://reply.papertrans.cn/59/5882/588107/588107_19.png
狗窝
发表于 2025-3-24 23:22:14
http://reply.papertrans.cn/59/5882/588107/588107_20.png