Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Recovery management in QuickSilver
ACM Transactions on Computer Systems (TOCS)
The definition of Standard ML
Proceedings of the US/Japan workshop on Parallel Lisp on Parallel Lisp: languages and systems
Debuggable concurrency extensions for standard ML
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Camelot and Avalon: a distributed transaction facility
Camelot and Avalon: a distributed transaction facility
Procs and locks: a portable multiprocessing platform for standard ML of New Jersey
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Lightweight recoverable virtual memory
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Concurrent compacting garbage collection of a persistent heap
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computation and communication in R*: a distributed database manager
ACM Transactions on Computer Systems (TOCS)
A real-time garbage collector based on the lifetimes of objects
Communications of the ACM
The scheme of things: the June 1992 meeting
ACM SIGPLAN Lisp Pointers
Generation Scavenging: A non-disruptive high performance storage reclamation algorithm
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Venari/ML Interfaces and Examples
Venari/ML Interfaces and Examples
Class Library Support for Workflow Environments and Applications
IEEE Transactions on Computers
Mostly-copying reachability-based orthogonal persistence
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Implementing transactions using Ada exceptions: which features are missing?
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
PM3: An Orthogonal Persistent Systems Programming Language - Design, Implementation, Performance
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Isolation-only transactions by typing and versioning
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A transactional object calculus
Science of Computer Programming
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
User-level transactional programming in Haskell
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Modular Checkpointing for Atomicity
Electronic Notes in Theoretical Computer Science (ENTCS)
The transactional memory / garbage collection analogy
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
High-level small-step operational semantics for transactions
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
A theory of nested speculative execution
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Undoing dynamic typing (declarative pearl)
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
Atomic boxes: coordinated exception handling with transactional memory
Proceedings of the 25th European conference on Object-oriented programming
Hi-index | 0.00 |