9642 search results - page 1776 / 1929 » Semantics in Multimedia Systems |
115
click to vote
ICFP
2006
ACM
15 years 10 months 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...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
ICFP
2004
ACM
15 years 10 months ago
2004
ACM
We extend Haskell with regular expression patterns. Regular expression patterns provide means for matching and extracting data which goes well beyond ordinary pattern matching as ...
DCC
2002
IEEE
15 years 9 months ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
SDM
2009
SIAM
15 years 7 months ago
2009
SIAM
Query-based web search is an integral part of many people’s daily activities. Most do not realize that their search history can be used to identify them (and their interests). I...