<--- Back to Details
First PageDocument Content
Computing / Inter-process communication / Computer architecture / Computer programming / Distributed computing architecture / Concurrent ML / Concurrent computing / Message passing / SIMPL / Synchronous programming language / Channel / Multi-core processor
Date: 2016-01-29 21:36:03
Computing
Inter-process communication
Computer architecture
Computer programming
Distributed computing architecture
Concurrent ML
Concurrent computing
Message passing
SIMPL
Synchronous programming language
Channel
Multi-core processor

Add to Reading List

Source URL: kcsrk.info

Download Document from Source Website

File Size: 460,66 KB

Share Document on Facebook

Similar Documents

Channels, Concurrency, and Cores A story of Concurrent ML Andy Wingo ~ wingolog.org ~ @andywingo

DocID: 1tvlQ - View Document

Computing / Software / Embedded operating systems / System software / TinyOS / Scheduling / Wireless sensor network / Thread / Windows Task Scheduler / Concurrent computing

Word-Dokumentvorlage Version 1.2 (ML)

DocID: 1rofT - View Document

Functional languages / Procedural programming languages / Concurrent programming languages / XS / ML / Oz

Krajowa Izba Rozliczeniowa S.A. Schema XSD opisująca typy dokumentów obsługiwane w Systemie invooclip

DocID: 1p9Qd - View Document

Theoretical computer science / Logic in computer science / Software engineering / Formal methods / Programming language semantics / Models of computation / Operational semantics / Semantics / Bisimulation / Process calculus / Programming language / Transition system

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

DocID: 1jR2Y - View Document

Toward a parallel implementation of Concurrent ML John Reppy and Yingqi Xiao University of Chicago Abstract. Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class sync

DocID: 1jQ1x - View Document