6794 search results - page 1238 / 1359 » Semantics of Visual Languages |
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
TLDI
2009
ACM
14 years 6 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
IUI
2009
ACM
14 years 6 months ago
2009
ACM
We propose a new document summarization algorithm which is personalized. The key idea is to rely on the attention (reading) time of individual users spent on single words in a doc...
WWW
2010
ACM
14 years 4 months ago
2010
ACM
The Semantic Web community, until now, has used traditional database systems for the storage and querying of RDF data. The SPARQL query language also closely follows SQL syntax. A...