Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Certifying Compilation and Run-Time Code Generation
Higher-Order and Symbolic Computation
Partial Evaluation in Aircraft Crew Planning
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Experience report: functional programming in c-rules
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Towards a jitting VM for prolog execution
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Experience report: Functional programming in c-rules
Journal of Functional Programming
Hi-index | 0.00 |
In this paper we investigate how partial evaluation and program transformations can be used on a real problem, namely that of speeding up airline crew scheduling.Scheduling of crews is subject to many rules and restrictions. These restrictions are expressed in a rule language. However, in a given planning situation much is known to be fixed, so the rule set can be partially evaluated with respect to this known input.The approach is somewhat novel in that it uses truly static input data as well as static input data where the values are known only to belong to a set of values.The results of the partial evaluation is quite satisfactory: both compilation and running times have decreased by using it. The partial evaluator is now part of the crew scheduling system that Carmen Systems AB markets and which is in use at most of the major European airlines and in daily production.