10575 search results - page 233 / 2115 » T2Script Programming Language |
136
click to vote
VLDB
1993
ACM
15 years 7 months ago
1993
ACM
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 ...
167
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
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...
152
Voted
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
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...
135
click to vote
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
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...
135
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...