000 01692nam a22003498i 4500
001 CR9780511569814
003 UkCbUP
005 20200124160238.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 090520s1991||||enk o ||1 0|eng|d
020 _a9780511569814 (ebook)
020 _z9780521414975 (hardback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 0 0 _aQA76.6
_b.L3486 1991
082 0 0 _a005.4/5
_220
100 1 _aLaunchbury, John,
_eauthor.
245 1 0 _aProjection factorisations in partial evaluation /
_cJohn Launchbury.
264 1 _aCambridge :
_bCambridge University Press,
_c1991.
300 _a1 online resource (xii, 163 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aDistinguished dissertations in computer science
500 _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
520 _aProgramming frequently requires that problems are broken down into subproblems and then each subproblem solved independently. These solutions may then be combined to provide a solution to the original problem. Partial evaluation is a serious attempt to tackle this issue, allowing the programmer to write programs in a highly interpretive style without paying the price in efficiency. This thesis covers the theory and practice behind practical evaluation.
650 0 _aComputer programming.
650 0 _aFactorization (Mathematics)
776 0 8 _iPrint version:
_z9780521414975
830 0 _aDistinguished dissertations in computer science.
856 4 0 _uhttps://doi.org/10.1017/CBO9780511569814
999 _c518268
_d518266