9595 search results - page 103 / 1919 » Functional programming in C |
SIGPLAN
2008
15 years 2 months ago
2008
84
Voted
JPL
1998
15 years 2 months ago
1998
106
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
128
click to vote
ML
2006
ACM
15 years 8 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
123
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...