Sciweavers

10871 search results - page 270 / 2175
» A stable programming language
Sort
View
LPNMR
1995
Springer
15 years 9 months ago
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
Dov M. Gabbay, Laura Giordano, Alberto Martelli, N...
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
Failure Handling in a Network-Transparent Distributed Programming Language
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
Raphaël Collet, Peter Van Roy
OOPSLA
2005
Springer
15 years 11 months ago
Io: a small programming language
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
Steve Dekorte

Lab
597views
17 years 6 months ago
Programming Languages Team (PLT)
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
ECOOPW
2004
Springer
15 years 11 months ago
Programming Languages and Operating Systems
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report pres...
Olaf Spinczyk, Michael Schoettner, Andreas Gal