1636 search results - page 29 / 328 » Type-Theoretic Functional Semantics |
104
click to vote
ROOM
2000
15 years 3 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
133
click to vote
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
112
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
127
click to vote
SMC
2010
IEEE
15 years 9 days ago
2010
IEEE
—This study examines the ability of nonnegative matrix factorization (NMF) as a method for constructing semantic spaces, in which the meaning of each word is represented by a hig...
117
click to vote
LCTRTS
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...