199 search results - page 30 / 40 » Combining Strict and Soft Typing in Functional Programming |
170
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
122
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Peptidases are proteolytic enzymes responsible for fundamental cellular activities in all organisms. Apparently about 2–5% of the genes encode for peptidases, irresp...
175
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
129
click to vote
CTRS
1987
15 years 7 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
149
click to vote
DCC
2005
IEEE
16 years 4 months ago
2005
IEEE
Minimum-entropy decoding is a universal decoding algorithm used in decoding block compression of discrete memoryless sources as well as block transmission of information across di...