643 search results - page 95 / 129 » Semantic Determinism and Functional Logic Program Properties |
136
click to vote
CSL
1999
Springer
15 years 8 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 ¡¢¥¤Â...
129
Voted
FOAL
2007
ACM
15 years 7 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...
155
Voted
AC
2000
Springer
15 years 8 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. ...
234
Voted
POPL
2006
ACM
16 years 3 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...
133
Voted
SEMCO
2007
IEEE
15 years 10 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...