3679 search results - page 38 / 736 » Hybrid Semantic Analysis |
CIVR
2006
Springer
15 years 4 months ago
2006
Springer
106
click to vote
JAPLL
2010
14 years 7 months ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
126
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
101
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
ACL
1998
15 years 1 months ago
1998
In this paper, we address the issue of syntagmatic expressions from a computational lexical semantic perspective. From a representational viewpoint, we argue for a hybrid approach...