8766 search results - page 316 / 1754 » Functional logic programming |
114
click to vote
ACSC
2003
IEEE
15 years 8 months ago
2003
IEEE
The ability for multiple threads to enter the same graph node without contention and conflict is a necessary component of the graph reduction of functional languages since graph c...
127
click to vote
AFP
1995
Springer
15 years 6 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
136
click to vote
ADC
2006
Springer
15 years 9 months ago
2006
Springer
We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...
165
click to vote
GLVLSI
1996
IEEE
15 years 7 months ago
1996
IEEE
Inthispaperweintroduceanondeterministiccounterpart to Reduced, Ordered Binary Decision Diagrams for the representation and manipulation of logic functions. ROBDDs are conceptually...
117
click to vote
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...