1835 search results - page 21 / 367 » Functional Programming of Behavior-Based Systems |
ISIPTA
2003
IEEE
14 years 19 hour ago
2003
IEEE
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
Workload, platform, and available resources constitute a parallel program’s execution environment. Most parallelization efforts statically target an anticipated range of environ...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
ICFP
2008
ACM
14 years 6 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
ICFP
2008
ACM
14 years 6 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...