Purely functional system configuration management

Proceedings of HotOS 2007 - 11th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2007, Pages

  Dolstra, Eelco ^a   Hemel, Armijn ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b Loohuis Consulting

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; SOFTWARE PACKAGES;

CONFIGURATION FILES; CONFIGURATION SOFTWARE; HASKELL; PURELY FUNCTIONAL; SYSTEM ADMINISTRATION; SYSTEM CONFIGURATIONS; SYSTEM DISTRIBUTION;

INFORMATION MANAGEMENT;

EID: 84939835501     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. P. Anderson and A. Scobie. LCFG: The next generation. In UKUUG Winter Conference, Feb. 2002.
2. M. Burgess. Cfengine: a site configuration engine. Computing Systems, 8(3), 1995.
3. J. DeTreville. Making system configuration more declarative. In HotOS X, Tenth Workshop on Hot Topics in Operating Systems. USENIX, June 2005.
4. E. Dolstra, M. Bravenboer, and E. Visser. Service configuration management. In 12th Intl. Workshop on Software Configuration Management (SCM-12), Sept. 2005.
5. E. Dolstra, M. de Jonge, and E. Visser. Nix: A safe and policy-free system for software deployment. In L. Damon, editor, 18th Large Installation System Administration Conference (LISA'04), pages 79-92, Atlanta, Georgia, USA, Nov. 2004. USENIX.
6. E. Dolstra, E. Visser, and M. de Jonge. Imposing a memory management discipline on software deployment. In 26th Intl. Conf. on Software Engineering (ICSE 2004), pages 583-592. IEEE Computer Society, May 2004.
7. E. Foster-Johnson. Red Hat RPM Guide. John Wiley & Sons, 2003. Also at http://fedora.redhat.com/docs/drafts/rpm-guide-en/.
8. T. Hallgren, M. P. Jones, R. Leslie, and A. Tolmach. A principled approach to operating system construction in Haskell. In ICFP'05: Tenth ACM SIGPLAN Intl. Conf. on Functional Programming, pages 116-128. ACM Press, 2005.
9. A. Hemel. NixOS: the Nix based operating system. Master's thesis, Dept. of Information and Computing Sciences, Utrecht University, Aug. 2006. INF/SCR-2005-091.
10. A. Heydon, R. Levin, and Y. Yu. Caching function calls using precise dependencies. In ACM SIGPLAN'00 Conf. on Programming Language Design and Implementation, pages 311-320. ACM Press, 2000.
11. P. Hudak. Conception, evolution, and application of functional programming languages. ACM Computing Surveys, 21(3):359-411, 1989.
12. S. Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Apr. 2004.