[BOOK][B] Concurrent programming in ML
JH Reppy - 1999 - dl.acm.org
Concurrent programming in ML | Guide books skip to main content ACM Digital Library home
ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced …
ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced …
Implicitly threaded parallelism in Manticore
The increasing availability of commodity multicore processors is making parallel computing
ever more widespread. In order to exploit its potential, programmers need languages that …
ever more widespread. In order to exploit its potential, programmers need languages that …
[BOOK][B] Programming in standard ML
R Harper - 2011 - cs.umbc.edu
This book is an introduction to programming with the Standard ML programming language. It
began life as a set of lecture notes for Computer Science 15–212: Principles of …
began life as a set of lecture notes for Computer Science 15–212: Principles of …
A unified system of type refinements
J Dunfield - 2007 - search.proquest.com
Abstract Types express properties of programs; typechecking is specification checking.
However, the specifications expressed by types in conventional type systems are imprecise …
However, the specifications expressed by types in conventional type systems are imprecise …
The history of Standard ML
The ML family of strict functional languages, which includes F#, OCaml, and Standard ML,
evolved from the Meta Language of the LCF theorem proving system developed by Robin …
evolved from the Meta Language of the LCF theorem proving system developed by Robin …
Implicitly-threaded parallelism in Manticore
The increasing availability of commodity multicore processors is making parallel computing
available to the masses. Traditional parallel languages are largely intended for large-scale …
available to the masses. Traditional parallel languages are largely intended for large-scale …
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
M Elsman - Proceedings of the ACM on Programming Languages, 2023 - dl.acm.org
Region inference offers a mechanism to reduce (and sometimes entirely remove) the need
for reference-tracing garbage collection by inferring where to insert allocation and …
for reference-tracing garbage collection by inferring where to insert allocation and …
Scheduling deterministric parallel programs
DJ Spoonhower - 2009 - search.proquest.com
Deterministic parallel programs yield the same results regardless of how parallel tasks are
interleaved or assigned to processors. This drastically simplifies reasoning about the …
interleaved or assigned to processors. This drastically simplifies reasoning about the …
Automation for interactive proof: First prototype
J Meng, C Quigley, LC Paulson - Information and computation, 2006 - Elsevier
Interactive theorem provers require too much effort from their users. We have been
develo** a system in which Isabelle users obtain automatic support from automatic …
develo** a system in which Isabelle users obtain automatic support from automatic …
[PDF][PDF] A new scheme of BACnet protocol based on HCPN security evaluation method
T Feng, XY Jiang, JL Fang, X Gong - Int. J. Netw. Secur, 2022 - ijns.jalaxy.com.tw
They are building automation or management systems control services such as heating, air
conditioning, and safe aisles in a facility. The standard protocol used to transmit data about …
conditioning, and safe aisles in a facility. The standard protocol used to transmit data about …