5451 search results - page 41 / 1091 » Typed Operational Semantics |
115
click to vote
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
134
click to vote
JOLLI
2010
15 years 23 days ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
197
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
A windowed query operator breaks a data stream into possibly overlapping subsets of data and computes results over each. Many stream systems can evaluate window aggregate queries....
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
104
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...