Sciweavers

7124 search results - page 82 / 1425
» Programming Languages and Operating Systems
Sort
View
POPL
2005
ACM
16 years 2 months ago
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
John Field, Carlos A. Varela
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
15 years 11 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
DLS
2010
146views Languages» more  DLS 2010»
15 years 14 days ago
Experiences with an icon-like expression evaluation system
The design of the Icon programming language's expression evaluation system, which can perform limited backtracking, was unique amongst imperative programming languages when c...
Laurence Tratt
POPL
1994
ACM
15 years 6 months ago
Formally Optimal Boxing
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
Fritz Henglein, Jesper Jørgensen
103
Voted
SOSP
2001
ACM
15 years 11 months ago
Untrusted Hosts and Confidentiality: Secure Program Partitioning
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,...