4192 search results - page 447 / 839 » Probabilistic Logic Programming |
130
click to vote
FTEDA
2007
15 years 4 months ago
2007
Field-Programmable Gate Arrays (FPGAs) have become one of the key digital circuit implementation media over the last decade. A crucial part of their creation lies in their archite...
246
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
253
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
125
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
143
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...