1131 search results - page 143 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
130
click to vote
JSW
2006
15 years 16 days ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
103
Voted
CHI
2005
ACM
16 years 29 days ago
2005
ACM
Recent years have seen the evolution of networks of tiny low power computing blocks, known as sensor networks. In one class of sensor networks, a non-expert user, who has little o...
131
click to vote
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
240
Voted
POPL
2006
ACM
16 years 27 days ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
100
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...