6794 search results - page 214 / 1359 » Semantics of Visual Languages |
76
Voted
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
94
Voted
ICFP
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
116
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
142
Voted
NAACL
2007
15 years 2 months ago
2007
We present our work on using Wikipedia as a knowledge source for Natural Language Processing. We first describe our previous work on computing semantic relatedness from Wikipedia...
117
click to vote
EJC
2008
15 years 2 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...