找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

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

[復(fù)制鏈接]
樓主: 使固定
31#
發(fā)表于 2025-3-26 21:19:33 | 只看該作者
32#
發(fā)表于 2025-3-27 02:32:53 | 只看該作者
Conference proceedings 1990fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time
33#
發(fā)表于 2025-3-27 08:03:57 | 只看該作者
34#
發(fā)表于 2025-3-27 13:27:43 | 只看該作者
35#
發(fā)表于 2025-3-27 17:34:11 | 只看該作者
36#
發(fā)表于 2025-3-27 21:03:34 | 只看該作者
37#
發(fā)表于 2025-3-28 01:38:19 | 只看該作者
Douglas A. Cotanche,Anne K. Henniga 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.
38#
發(fā)表于 2025-3-28 03:24:30 | 只看該作者
39#
發(fā)表于 2025-3-28 06:50:10 | 只看該作者
https://doi.org/10.1007/978-3-642-77817-9en 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.
40#
發(fā)表于 2025-3-28 12:52:53 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-8 02:47
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
开原市| 云霄县| 庄浪县| 和平县| 信阳市| 宝清县| 富民县| 南开区| 兰西县| 庐江县| 托里县| 香格里拉县| 区。| 昌都县| 措美县| 长沙县| 大田县| 邳州市| 宽城| 玉门市| 郸城县| 三都| 元阳县| 永定县| 宁强县| 巴中市| 临城县| 西昌市| 横峰县| 商洛市| 辛集市| 剑阁县| 丹东市| 陆川县| 清河县| 时尚| 琼海市| 叙永县| 石阡县| 南溪县| 略阳县|