3546 search results - page 386 / 710 » A Causal Logic of Logic Programming |
PLPV
2010
ACM
15 years 10 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...
109
click to vote
PEPM
2010
ACM
15 years 10 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...
IISWC
2008
IEEE
15 years 8 months ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
117
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
128
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...