5451 search results - page 91 / 1091 » Typed Operational Semantics |
143
click to vote
C3S2E
2008
ACM
15 years 8 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
145
click to vote
ICFP
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
163
click to vote
POPL
1992
ACM
15 years 10 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
148
click to vote
FLAIRS
2008
15 years 8 months ago
2008
This paper shows that semantic role labeling is a consequence of accurate verbal predicate labeling. In doing so, the paper presents a novel type of semantic feature for verbal pr...
156
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...