1054 search results - page 82 / 211 » Guarded Expressions in Practice |
101
click to vote
MKM
2007
Springer
15 years 6 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
103
click to vote
ODBIS
2007
Springer
15 years 6 months ago
2007
Springer
Supporting SPARQL queries over relational databases becomes an active topic recently. However, it has not received enough consideration when SPARQL queries include restrictions on...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Nominal subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express de...
108
click to vote
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
ICPP
2005
IEEE
15 years 5 months ago
2005
IEEE
Slowdown, defined as the ratio of a request’s queueing delay to its service time, is accepted as an important quality of service metric of Internet servers. In this paper, we i...