Partial evaluation in aircraft crew planning

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 1997, Pages 127-136

  Augustsson, Lennart ^a,b  

^a Carlstedt Research and Technology   (Sweden)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Airline crew scheduling; Generalized constant propagation; Partial evaluation; Program transformation

Indexed keywords

AIR TRANSPORTATION; COMPUTER PROGRAMMING LANGUAGES; INPUT OUTPUT PROGRAMS; SEMANTICS; AIRCRAFT; COMPUTATIONAL LINGUISTICS; PERSONNEL; SCHEDULING;

AIRLINE CREW SCHEDULING; CONSTANT PROPAGATION; CREW SCHEDULING; DAILY PRODUCTION; EUROPEAN AIRLINES; PARTIAL EVALUATION; PROGRAM TRANSFORMATIONS; REAL PROBLEMS;

SCHEDULING; COMPUTER SOFTWARE;

AIRCRAFT CREW PLANNING; PARTIAL EVALUATION;

EID: 0030706368     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258993.259012     Document Type: Conference Paper

References (10)

1. R. Anbil, E. Gelman, B. Patty, and R. Tanga. Recent Advances in Crew-Pairing Optimization at American Airlines. Interfaces, 21(l):62-74, 1991.
2. E. Andersson, E. Housos, N. Kohl, and D. Wedelin. Crew Pairing Optimization. In OR in Airline Industry. Kluwer Academic Press, 1997.
3. L. Augustsson. HBC User's Manual. Programming Methodology Group, Department of Computer Sciences, Chalmers, S-412 96 Göteborg, Sweden, 1993. Distributed with the HBC compiler.
4. Erik Hasselberg. The Carmen Rule Language. Technical report, Carmen Systems AB, 1990.
5. Paul Hudak et al. Report on the Programming Language Haskell: A Non-Strict, Purely Functional Language, March 1992. Version 1.2. Also in Sigplan Notices, May 1992.
6. Mark P. Jones. Hugs 1.3 user manual. Technical Report NOTTCS-TR-96-2, Department of Computer Science, University of Nottingham, August 1996.
7. Mark P. Jones. The Hugs distribution. Currently available from http://www.cs.nott.ac.uk/Department/Staff/mpj/hugs.html, 1996.
8. Colin Runciman and David Wakeling. Heap profiling of lazy functional programs. Journal of Functional Programming, 3(2):217-245, April 1993.
9. E. Housos T. Elmroth. Automatic Subproblem Optimisation for Airline Crew Scheduling. In-terfaces(to appear), 1996.
10. D. Wedelin. An algorith for large scale 0-1 integer programming with application to airline crew scheduling. Annals of Operations Research, 57:283-301, 1995.