Back to Results
First PageMeta Content
Subroutines / Procedural programming languages / Tree traversal / Stack / Pointer / Closure / ALGOL 68 / SECD machine / Tree / Software engineering / Computing / Computer programming


Towards native higher-order remote procedure calls Olle Fredriksson Dan R. Ghica Bertram Wheen
Add to Reading List

Document Date: 2015-02-17 11:40:06

Open Document

File Size: 348,22 KB

Share Result on Facebook

City

Boston / /

Country

United States / /

Currency

USD / /

/

Facility

MPI library / Olle Fredriksson Dan R. Ghica Bertram Wheen University of Birmingham / /

IndustryTerm

static networks / function applications / printing results / client server / asynchronous network / asynchronous networks / run-time infrastructure / synchronous and asynchronous networks / degenerate network / heartbeat network / distributed computing / simpler synchronous networks / communication protocols / computing / synchronous network / transition systems / helpful tool / similar solutions / /

Organization

U.S. Securities and Exchange Commission / University of Birmingham / /

Person

Floskel / Agda / Dan R. Ghica Bertram / /

/

Position

interactive proof assistant / model / proof assistant / programmer / General / /

ProgrammingLanguage

Haskell / Erlang / C / ML / /

Technology

functional programming / load balancing / simulation / communication protocols / /

URL

http /

SocialTag