230 search results - page 27 / 46 » Automation for Dependently Typed Functional Programming |
112
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...
125
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
140
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
125
click to vote
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
119
Voted
ESORICS
2004
Springer
15 years 8 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...