926 search results - page 84 / 186 » Prolog as the First Programming Language |
212
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
149
click to vote
LCR
2000
Springer
15 years 8 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
223
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
107
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
163
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...