6794 search results - page 204 / 1359 » Semantics of Visual Languages |
101
Voted
CSSW
2007
15 years 2 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 ...
217
Voted
POPL
2009
ACM
16 years 1 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
15 years 4 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
15 years 17 days 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...
132
Voted
PLDI
2011
ACM
14 years 3 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...