5415 search results - page 888 / 1083 » The Implementation of Functional Programming Languages |
200
click to vote
SIAMJO
2002
15 years 6 months ago
2002
Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...
198
click to vote
PPPJ
2006
ACM
16 years 15 days ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
318
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
155
click to vote
ECOOP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The authors of this paper have all developed a framework that allows runtime adaptation of software systems. Based on our experiences, we wish to summarize common pitfall...
191
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...