1636 search results - page 29 / 328 » Type-Theoretic Functional Semantics |
ROOM
2000
15 years 1 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...
118
click to vote
FDL
2006
IEEE
15 years 5 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...
CORR
2010
Springer
14 years 9 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...
109
click to vote
SMC
2010
IEEE
14 years 10 months 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...
LCTRTS
2000
Springer
15 years 3 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...