4690 search results - page 310 / 938 » An operational semantics for Scheme |
166
click to vote
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
We present chaining techniques for signing/verifying multiple packets using a single signing/verification operation. We then present flow signing and verification procedures based...
308
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
184
click to vote
JOCN
2010
15 years 5 months ago
2010
■ Research in psycholinguistics and in the cognitive neuroscience of language has suggested that semantic and syntactic integration are associated with different neurophysiologi...
134
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
159
click to vote
ECLIPSE
2006
ACM
16 years 22 days ago
2006
ACM
Refactoring tools allow programmers to change source code much quicker than before. However, the complexity of these changes cause versioning tools that operate at a file level t...