NixOS: A purely functional Linux distribution

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 367-378

  Dolstra, Eelco ^a   Löh, Andres ^b  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

General terms experimentation; Languages; Reliability

Indexed keywords

CONFIGURATION FILES; ENTIRE SYSTEMS; FUNCTIONAL SPECIFICATIONS; FUNCTIONAL SYSTEMS; GENERAL TERMS EXPERIMENTATION; LANGUAGES; LINUX DISTRIBUTIONS; NON-TRIVIAL; RELIABILITY; ROLL BACKS; SYSTEM ADMINISTRATIONS; SYSTEM CONFIGURATIONS;

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING; LINGUISTICS; PROBABILITY DENSITY FUNCTION; PROGRAMMING THEORY; QUERY LANGUAGES;

FUNCTIONAL PROGRAMMING;

EID: 59349121043     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411255     Document Type: Conference Paper

References (16)

1. Rick Anderson. The end of DLL hell. MSDN, http://msdn2.microsoft. com/en-us/library/ms811694.aspx, January 2000.
2. Clifford Beshers, David Fox, and Jeremy Shaw. Experience report: using functional programming to manage a Linux distribution. In ICFP '07: Proc. 2007 ACM SIGPLAN Intl. Conf. on Functional Programming, pages 213-218, New York, NY, USA, 2007. ACM.
3. Hans-Juergen Boehm. Space efficient conservative garbage collection. In Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation, number 28/6 in SIGPLAN Notices, pages 197-206, June 1993.
4. Mark Burgess. Cfengine: a site configuration engine. Computing Systems, 8(3), 1995.
5. Geoffrey Clemm. The Odin System -An Object Manager for Extensible Software Environments. PhD thesis, University of Colorado at Boulder, February 1986.
6. John DeTreville. Making system configuration more declarative. In HotOS X: 10th Workshop on Hot Topics in Operating Systems. USENIX, 2005.
7. Eelco Dolstra. Secure sharing between untrusted users in a transparent source/binary deployment model. In 20th IEEE/ACM Intl. Conf. on Automated Software Engineering (ASE 2005), pages 154-163, Long Beach, California, USA, November 2005.
8. Eelco Dolstra. The Purely Functional Software Deployment Model. PhD thesis, Faculty of Science, Utrecht University, The Netherlands, 2006.
9. Eelco Dolstra, Eelco Visser, and Merijn de Jonge. Imposing a memory management discipline on software deployment. In Proc. 26th Intl. Conf. on Software Engineering (ICSE 2004), pages 583-592. IEEE Computer Society, May 2004.
10. Stuart I. Feldman. Make - a program for maintaining computer programs. Software-Practice and Experience, 9(4):255-65, 1979.
11. Eric Foster-Johnson. Red Hat RPM Guide. John Wiley & Sons, 2003. Also at http://fedora.redhat.com/docs/drafts/rpm-guide-en/.
12. Thomas Hallgren, Mark P. Jones, Rebekah Leslie, and Andrew 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.
13. Paul Hudak. Conception, evolution, and application of functional programming languages. ACM Computing Surveys, 21(3):359-411, 1989.
14. Anthony M. Sloane. Post-design domain-specific language embedding: A case study in the software engineering domain. In Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02), Washington, DC, USA, 2002. IEEE Computer Society.
15. TIS Committee. Tool Interface Specification (TIS) Executable and Linking Format (ELF) Specification, Version 1.2, May 1995.
16. David B. Tucker and Shriram Krishnamurthi. Applying module system research to package management. In Tenth International Workshop on Software Configuration Management (SCM-10), 2001.