2139 search results - page 12 / 428 » Connecting language to the world |
SCAI
2001
13 years 8 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
DBA
2004
13 years 8 months ago
2004
This paper discusses how to extend the applicability of the recursive cascade update command of the Xplain query language. This command guarantees termination because cycle detect...
IFIP
2003
Springer
14 years 18 days ago
2003
Springer
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
ICCL
1998
IEEE
13 years 11 months ago
1998
IEEE
Millions of computers are now connected together by the Internet. At a fast pace, applications are taking advantage of these new capabilities, and are becoming parallel and distri...