5451 search results - page 91 / 1091 » Typed Operational Semantics |
107
click to vote
C3S2E
2008
ACM
15 years 4 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...
110
Voted
ICFP
1998
ACM
15 years 6 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...
130
Voted
POPL
1992
ACM
15 years 6 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...
106
Voted
FLAIRS
2008
15 years 5 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...
114
Voted
CCS
2004
ACM
15 years 8 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...