Sciweavers

8766 search results - page 197 / 1754
» Functional logic programming
Sort
View
90
Voted
ICLP
2005
Springer
15 years 8 months ago
Denotational Semantics Using Horn Concurrent Transaction Logic
Marcus Vinicius Santos
136
Voted
SFP
2003
15 years 4 months ago
Static single information from a functional perspective
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...
Jeremy Singer
117
Voted
ICFP
2007
ACM
16 years 2 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott