2661 search results - page 38 / 533 » A Semantics for Abstraction |
160
click to vote
AC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
180
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...
143
click to vote
PEPM
1991
ACM
15 years 9 months ago
1991
ACM
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
159
click to vote
ECOOPW
1994
Springer
15 years 10 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
175
click to vote
SEMWIKI
2008
15 years 7 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...