Entry Jones:1989:FPO from compj1980.bib

Last update: Sat Jan 6 02:03:49 MST 2018                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Jones:1989:FPO,
  author =       "S. B. Jones and A. F. Sinclair",
  title =        "Functional Programming and Operating Systems",
  journal =      j-COMP-J,
  volume =       "32",
  number =       "2",
  pages =        "162--174",
  month =        apr,
  year =         "1989",
  CODEN =        "CMPJA6",
  DOI =          "https://doi.org/10.1093/comjnl/32.2.162",
  ISSN =         "0010-4620 (print), 1460-2067 (electronic)",
  ISSN-L =       "0010-4620",
  bibdate =      "Tue Dec 4 14:48:26 MST 2012",
  bibsource =    "Compendex database;
                 http://comjnl.oxfordjournals.org/content/32/2.toc;
                 http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/;
                 Misc/Functional.bib; Misc/IMMD_IV.bib",
  URL =          "http://comjnl.oxfordjournals.org/content/32/2/162.full.pdf+html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/162.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/163.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/164.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/165.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/166.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/167.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/168.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/169.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/170.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/171.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/172.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/173.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_02/tiff/174.tif",
  abstract =     "There is a large class of programming problems to
                 which, at first sight, functional programming does not
                 seem suited: interactive programs and programs which
                 must access external resources such as file stores or
                 communications systems. We take operating systems as
                 the archetype of this class of problems. We show how
                 the lazy evaluation of functional programs, in
                 particular lazily evaluated infinite lists, or streams,
                 can be exploited to write interactive programs. This
                 extends quite naturally to a software design paradigm
                 comprising processes and networks, to the control of
                 peripheral devices, and hence to the design of
                 operating systems. We present a design for a simple,
                 single user, multiprogramming operating system. This
                 demonstrates workable solutions to operating system
                 structuring, to low level device interfacing, to high
                 level application program interfacing, and to resource
                 management, We examine the paradigm illustrated with
                 reference to alternative approaches which have been
                 proposed.",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Stirling Univ.",
  affiliationaddress = "Stirling, Scotl",
  classcodes =   "C6150J (Operating systems)",
  classification = "723; C6150J (Operating systems)",
  corpsource =   "Dept. of Comput. Sci., Stirling Univ., UK",
  fjournal =     "The Computer Journal",
  journal-URL =  "http://comjnl.oxfordjournals.org/",
  keywords =     "communications; Communications systems; Computer
                 Operating Systems--Design; external resources; External
                 resources; file stores; File stores; functional
                 programming; Functional programming; Functional
                 Programming; high level application; High level
                 application program interfacing; infinite lists;
                 Infinite lists; interactive; interactive programming;
                 Interactive programs; Interactive Programs; lazy
                 evaluation; Lazy Evaluation; Lazy evaluation; low level
                 device interfacing; Low level device interfacing;
                 multiprocessing programs; multiprogramming operating;
                 Multiprogramming operating system; Non determinism,
                 Computer Programming; operating systems; Operating
                 systems; operating systems (computers); paradigm;
                 peripheral devices; Peripheral devices; Process
                 Networks; program interfacing; programs; resource
                 management; Resource management; software design;
                 Software design paradigm; system; systems",
  thesaurus =    "Functional programming; Interactive programming;
                 Multiprocessing programs; Operating systems
                 [computers]",
  treatment =    "P Practical",
}

Related entries