1835 search results - page 21 / 367 » Functional Programming of Behavior-Based Systems |
103
click to vote
ISIPTA
2003
IEEE
15 years 6 months 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...
117
Voted
PLDI
2012
ACM
13 years 3 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...
199
Voted
POPL
2006
ACM
16 years 1 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
16 years 23 days 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...
113
Voted
ICFP
2008
ACM
16 years 23 days 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...