7124 search results - page 419 / 1425 » Programming Languages and Operating Systems |
189
click to vote
SCP
2002
15 years 6 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
170
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
This paper presents a new approach to guaranteed state estimation for nonlinear discrete-time systems with a bounded description of noise and parameters. The sets of states that a...
179
click to vote
JFP
2000
15 years 6 months ago
2000
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
150
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
130
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...