290 search results - page 1 / 58 » A Denotational Semantics for Handel-C |
98
Voted
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
107
Voted
ENTCS
2006
15 years 1 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
64
Voted
ENTCS
2002
15 years 27 days ago
2002
129
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
132
Voted
ACL
2011
14 years 4 months ago
2011
Resolving polysemy and synonymy is required for high-quality information extraction. We present ConceptResolver, a component for the Never-Ending Language Learner (NELL) (Carlson ...