643 search results - page 95 / 129 » Semantic Determinism and Functional Logic Program Properties |
123
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤Â...
118
Voted
FOAL
2007
ACM
15 years 5 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
142
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
220
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
113
Voted
SEMCO
2007
IEEE
15 years 8 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...