9595 search results - page 184 / 1919 » Functional programming in C |
147
Voted
TYPES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
136
click to vote
DEXA
1994
Springer
15 years 9 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
169
click to vote
JSA
2010
14 years 12 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
148
click to vote
GI
1999
Springer
15 years 9 months ago
1999
Springer
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
131
Voted
ACSC
2003
IEEE
15 years 10 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...