找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: ESOP ‘90; 3rd European Symposi Neil Jones Conference proceedings 1990 Springer-Verlag Berlin Heidelberg 1990 Algebra.D programming language

[復制鏈接]
樓主: 使固定
41#
發(fā)表于 2025-3-28 16:32:50 | 只看該作者
42#
發(fā)表于 2025-3-28 22:12:56 | 只看該作者
Michael R. Payne,Suzanne E. Rudnickdata and code, in Lamping‘s programming system can be parameterized, and a parameterized object can be manipulated as if it were a ground object. This blurs the distinction between data and code, allowing one to think of data as code and vice versa.
43#
發(fā)表于 2025-3-29 00:24:47 | 只看該作者
Higher order escape analysis: Optimizing stack allocation in functional program implementations,been described in various data-flow analysis frameworks for a language with complex types. The analysis described here, being higher order, provides more accurate escape information, although for a very simple higher order functional language.
44#
發(fā)表于 2025-3-29 04:58:14 | 只看該作者
45#
發(fā)表于 2025-3-29 09:25:39 | 只看該作者
On the expressive power of programming languages,xpressive power of several extensions of functional languages. Based on these results, we believe that our system correctly captures many of the informal ideas on expressiveness, and that it constitutes a good basis for further research in this direction.
46#
發(fā)表于 2025-3-29 11:31:21 | 只看該作者
Set domains,a set through a predicate. Two constructions, the . and the ., are proposed that support the desired set operations. The big domain is bounded complete, whereas the small one only respects Plotkin‘s SFP-property. Both constructions are free with respect to suitable algebraic theories.
47#
發(fā)表于 2025-3-29 19:35:27 | 只看該作者
48#
發(fā)表于 2025-3-29 23:22:53 | 只看該作者
Graph-based implementation of a functional logic language,en formally specified. A prototype emulator of the machine has been implemented in Occam on a transputer system. Future work is planned for incorporating lazy evaluation and parallelism to the machine.
49#
發(fā)表于 2025-3-30 01:33:19 | 只看該作者
Conference proceedings 1990; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.
50#
發(fā)表于 2025-3-30 07:30:28 | 只看該作者
Symbolic finite differencing - Part I, integration). Because resource utilization is often difficult to predict precisely, the economics of software developement also depends on the risk of the implementation failing to meet its performance requirements. Consequently, complex algorithms are frequently avoided in large systems — even in
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-8 02:46
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復 返回頂部 返回列表
韶关市| 姜堰市| 册亨县| 云梦县| 贺州市| 宿州市| 岑巩县| 富裕县| 格尔木市| 建瓯市| 泽库县| 怀宁县| 江安县| 武平县| 永川市| 宿州市| 平阴县| 乌鲁木齐县| 普格县| 健康| 玉林市| 双流县| 霞浦县| 清新县| 航空| 扬州市| 三河市| 吴桥县| 盘锦市| 周口市| 蓬莱市| 敦化市| 临猗县| 府谷县| 延长县| 湘潭县| 陵川县| 华阴市| 若尔盖县| 邻水| 锡林浩特市|