6794 search results - page 204 / 1359 » Semantics of Visual Languages |
CSSW
2007
13 years 12 months ago
2007
Abstract: Semantic wikis have been introduced for collaborative authoring of ontologies as well as for annotating wiki content with semantic meta data. In this paper, we introduce ...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
HOA
1993
14 years 2 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
ENTCS
2002
13 years 10 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
PLDI
2011
ACM
13 years 1 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...