1636 search results - page 74 / 328 » Type-Theoretic Functional Semantics |
136
Voted
BIBM
2008
IEEE
15 years 10 months ago
2008
IEEE
In the post-genomic era, the organization of genes into networks has played an important role in characterizing the functions of individual genes and the interplay between them. I...
127
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
124
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
221
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Conditional functional dependencies (CFDs) have recently been proposed as extensions of classical functional dependencies that apply to a certain subset of the relation, as specif...
138
Voted
ENTCS
2006
15 years 3 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...