1131 search results - page 111 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
84
Voted
ICFP
2005
ACM
16 years 16 days ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
185
Voted
POPL
2006
ACM
16 years 27 days ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
123
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
94
Voted
SIAMJO
2010
14 years 7 months ago
2010
Abstract. We consider a Newton-CG augmented Lagrangian method for solving semidefinite programming (SDP) problems from the perspective of approximate semismooth Newton methods. In ...
129
click to vote
STVR
2010
14 years 7 months ago
2010
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...