Sciweavers

290 search results - page 1 / 58
» A Denotational Semantics for Handel-C
Sort
View
BIRTHDAY
2007
Springer
13 years 9 months ago
A Denotational Semantics for Handel-C
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...
Andrew Butterfield
ENTCS
2006
136views more  ENTCS 2006»
13 years 3 months ago
A "Hardware Compiler" Semantics for Handel-C
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...
Andrew Butterfield, Jim Woodcock
ENTCS
2002
97views more  ENTCS 2002»
13 years 3 months ago
Semantic domains for Handel-C
Andrew Butterfield, Jim Woodcock
CORR
2011
Springer
207views Education» more  CORR 2011»
12 years 10 months ago
DB Category: Denotational Semantics for View-based Database Mappings
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...
Zoran Majkic
ACL
2011
12 years 7 months ago
Which Noun Phrases Denote Which Concepts?
Resolving polysemy and synonymy is required for high-quality information extraction. We present ConceptResolver, a component for the Never-Ending Language Learner (NELL) (Carlson ...
Jayant Krishnamurthy, Tom Mitchell