Sciweavers

8766 search results - page 827 / 1754
» Functional logic programming
Sort
View
ICFP
2008
ACM
16 years 7 months ago
Report on the tenth ICFP programming contest
The Tenth Annual ICFP Programming Contest was a 72-hour contest held July 20?23 2007 and organised in conjunction with the 12th ACM SIGPLAN International Conference on Functional ...
Alexey Rodriguez, Andres Löh, Arie Middelkoop...
165
Voted
CIE
2009
Springer
16 years 2 months ago
Program Self-reference in Constructive Scott Subdomains
Abstract. Intuitively, a recursion theorem asserts the existence of selfreferential programs. Two well-known recursion theorems are Kleene’s Recursion Theorem (krt) and Rogers’...
John Case, Samuel E. Moelius
ACSC
2006
IEEE
16 years 1 months ago
Programming with heterogeneous structures: manipulating XML data using bondi
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
F. Y. Huang, C. B. Jay, David B. Skillicorn
INFOSCALE
2006
ACM
16 years 1 months ago
A library of constructive skeletons for sequential style of parallel programming
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Z...
IPSN
2005
Springer
16 years 1 months ago
Beyond event handlers: programming wireless sensors with attributed state machines
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...
Oliver Kasten, Kay Römer