1746 search results - page 267 / 350 » A Constructive Semantics for ALC |
196
click to vote
SIGMOD
2009
ACM
16 years 26 days ago
2009
ACM
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
123
click to vote
SIGMOD
2003
ACM
16 years 24 days ago
2003
ACM
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
106
Voted
ICFP
2008
ACM
16 years 18 days ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
107
Voted
ICFP
2007
ACM
16 years 18 days ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
140
click to vote
ICFP
2006
ACM
16 years 18 days ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...