MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed programming in Argus
Communications of the ACM
Communications in the mercury system
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
ARGUS REFERENCE MANUAL
Asynchronous communication on Occam
ACM SIGPLAN Notices
FUTURES: a mechanism for concurrency among objects
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Transaction processing monitors
Communications of the ACM
Communication with directed logic variables
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
User-level interprocess communication for shared memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
A survey of asynchronous remote procedure calls
ACM SIGOPS Operating Systems Review
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Parallel Virtual Machine for Programs Composed of Abstract Data Types
IEEE Transactions on Computers
Reducing cross domain call overhead using batched futures
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Rover: a toolkit for mobile information access
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
The APOSTLE simulation language: granularity control and performance data
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Mobile Computing with the Rover Toolkit
IEEE Transactions on Computers - Special issue on mobile computing
Boundary analysis in the instructional footprint model: an implementation in Linda
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Towards distributed programming paradigms in Ada 9X
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
The design and performance of a scable ORB architecture for COBRA asynchronous messaging
IFIP/ACM International Conference on Distributed systems platforms
Designing an Efficient and Scalable Server-side Asynchrony Model for CORBA
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Designing an Agent Synthesis System for Cross-RPC Communication
IEEE Transactions on Software Engineering
Derivatives: A Construct for Internet Programming
ICCL'98 Workshop on Internet Programming Languages
HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
A Program Generator for Real-Time Remote Procedure Call Communication
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Design and Performance of Asynchronous Method Handling for CORBA
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Are CORBA Services Ready to Support Resource Management Middleware for Heterogeneous Computing?
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
A source-level transformation framework for RPC-based distributed programs
HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
A C toolkit to support parallel programming
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Transparent proxies for java futures
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The ABC adaptive fusion architecture
Proceedings of the 4th international workshop on Middleware for Pervasive and Ad-Hoc Computing (MPAC 2006)
Ambient references: addressing objects in mobile networks
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Adding group communication and fault-tolerance to CORBA
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
XML messaging for mobile devices: From requirements to implementation
Computer Networks: The International Journal of Computer and Telecommunications Networking
ELECTRA: making distributed programs object-oriented
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Mirages: behavioral intercession in a mirror-based architecture
Proceedings of the 2007 symposium on Dynamic languages
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates
IEEE Transactions on Software Engineering
Linguistic symbiosis between actors and threads
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Linguistic symbiosis between event loop actors and threads
Computer Languages, Systems and Structures
Optimising Java RMI programs by communication restructuring
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Deadlock freedom through object ownership
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Flexibility and coordination in event-based, loosely coupled, distributed systems
Computer Languages, Systems and Structures
A Verification System for Distributed Objects with Asynchronous Method Calls
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
Object-oriented coordination in mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Checking concurrent contracts with aspects
Proceedings of the 2010 ACM Symposium on Applied Computing
DOLCLAN: middleware support for peer-to-peer distributed shared objects
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Controlling dynamic module composition through an extensible meta-level API
Proceedings of the 6th symposium on Dynamic languages
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A programming language approach for context-aware mashups
Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups
Concurrency among strangers: programming in E as plan coordination
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Orleans: cloud computing for everyone
Proceedings of the 2nd ACM Symposium on Cloud Computing
Emerson: accessible scripting for applications in an extensible virtual world
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Comparing service-oriented and distributed object architectures
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Handling multiple concurrent exceptions in c++ using futures
Advanced Topics in Exception Handling Techniques
Ambient-Oriented exception handling
Advanced Topics in Exception Handling Techniques
A concurrent lambda calculus with futures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Dependence analysis for safe futures
Science of Computer Programming
Ambient-Oriented programming in ambienttalk
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Batching: a design pattern for efficient and flexible client/server interaction
Transactions on Pattern Languages of Programming I
Concurrency, Compositionality, and Correctness
Research: Client-server based ray-tracer using ASTRA: an asynchronous RPC mechanism
Computer Communications
A reliable asynchronous RPC architecture for wireless networks
Computer Communications
Isolating determinism in multi-threaded programs
RV'11 Proceedings of the Second international conference on Runtime verification
A system for compositional verification of asynchronous objects
Science of Computer Programming
PaCE: a data-flow coordination language for asynchronous network-based applications
SC'12 Proceedings of the 11th international conference on Software Composition
Improving communication latency with the write-only architecture
Journal of Parallel and Distributed Computing
Compositional reasoning about shared futures
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Distributed electronic rights in javascript
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
| Hi-index | 0.02 |
This paper deals with the integration of an efficient asynchronous remote procedure call mechanism into a programming language. It describes a new data type called a promise that was designed to support asynchronous calls. Promises allow a caller to run in parallel with a call and to pick up the results of the call, including any exceptions it raises, in a convenient and type-safe manner. The paper also discusses efficient composition of sequences of asynchronous calls to different locations in a network.