Sciweavers

10585 search results - page 258 / 2117
» The Orc Programming Language
Sort
View
ICFP
2005
ACM
14 years 9 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
VLDB
1993
ACM
94views Database» more  VLDB 1993»
14 years 1 months ago
Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation
If persistent programming languages are to be accepted they must provide many of the standard features of traditional database systems, including resilience in the face of system ...
Antony L. Hosking, Eric W. Brown, J. Eliot B. Moss
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
14 years 2 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir
BIRTHDAY
2000
Springer
14 years 1 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
ACSC
2005
IEEE
14 years 2 months ago
A Programming Language for Web Service Development
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
Dominic Cooney, Marlon Dumas, Paul Roe