950 search results - page 59 / 190 » Machine semantics |
130
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
152
click to vote
INFORMATICALT
2008
15 years 4 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
126
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
121
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
The production process of multimedia learning material includes many participants, tasks, and tools. The system described in this paper combines all data from the development and ...
121
click to vote
COLING
2002
15 years 4 months ago
2002
In this paper we show to what degree the countability of English nouns is predictable from their semantics. We found that at 78% of nouns' countability could be predicted usi...