MARC Record from marc_columbia

LEADER: 04633cam a2200625Ma 4500
001 4243367
005 20221111173216.0
006 m o d
007 cr cn|||||||||
008 001114s1997 maua ob 001 0 eng d
010 $a 97000059
035 $a(OCoLC)ocm45728591
035 $a(NNC)4243367
040 $aN$T$beng$epn$cN$T$dOCL$dOCLCQ$dYDXCP$dOCLCG$dOCLCQ$dOCLCA$dOCLCQ$dOCLCO$dOCLCQ$dIEEEE$dZCU$dOCLCF$dOCLCQ$dN$T$dOCLCQ$dOCLCO$dOCLCQ$dHRM$dOCLCQ$dMERER$dOCLCQ$dWYU$dMITPR$dYDX$dSFB$dPTL$dEUX$dOCLCQ$dVT2$dOCLCO
019 $a827013001$a1150181192$a1163314148$a1188983368$a1203269985$a1280245072$a1281460506$a1286908218
020 $a0585312095$q(electronic bk.)
020 $a9780585312095$q(electronic bk.)
020 $a0262287005$q(electronic bk.)
020 $a9780262287005$q(electronic bk.)
020 $a0262296993
020 $a9780262296991
020 $z0262631814
020 $z9780262631815
035 $a(OCoLC)45728591$z(OCoLC)827013001$z(OCoLC)1150181192$z(OCoLC)1163314148$z(OCoLC)1188983368$z(OCoLC)1203269985$z(OCoLC)1280245072$z(OCoLC)1281460506$z(OCoLC)1286908218
037 $a2319$bMIT Press
037 $a9780262287005$bMIT Press
050 4 $aQA76.73.M6$bD44 1997eb
072 7 $aCOM$x051310$2bisacsh
072 7 $aCOM$x051280$2bisacsh
072 7 $aCOM$x051130$2bisacsh
082 04 $a005.13/3$221
049 $aZCUA
245 04 $aThe definition of standard ML :$brevised /$cRobin Milner, Mads Tofte, Robert Harper and David MacQueen.
260 $aCambridge, Mass. :$bMIT Press,$c1997.
300 $a1 online resource (xiii, 114 pages) :$billustrations
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
504 $aIncludes bibliographical references and index.
505 2 $a1. Introduction -- 2. Syntax of the core -- 3. Syntax of the modules -- 4. Static semantics of the core -- 5. Static semantics for modules -- 6. Dynamic semantics for the core -- 7. Dynamic semantics for modules -- 8. Programs -- A appendix. Derived forms -- B appendix. full grammar -- C appendix. The initial static basis -- D appendix. The initial dynamic basis -- E [appendix]. overloading -- F appendix. The development of ML -- G appendix. What is new?
520 3 $a"Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML. In defining a language one must also define the rules of evaluation precisely--that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation. The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition."
588 0 $aPrint version record.
546 $aEnglish.
650 0 $aML (Computer program language)
650 7 $aCOMPUTERS$xProgramming Languages$xC♯$2bisacsh
650 7 $aCOMPUTERS$xProgramming Languages$xJava.$2bisacsh
650 7 $aCOMPUTERS$xProgramming Languages$xPascal.$2bisacsh
650 7 $aML (Computer program language)$2fast$0(OCoLC)fst01004562
650 7 $aStandard ML$2gnd
653 $aCOMPUTER SCIENCE/Programming Languages
655 4 $aElectronic books.
700 1 $aMilner, R.$q(Robin),$d1934-2010.
776 08 $iPrint version:$tDefinition of standard ML.$dCambridge, Mass. : MIT Press, 1997$z0262631814$w(DLC) 97000059$w(OCoLC)36219304
856 40 $uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio4243367$zAll EBSCO eBooks
852 8 $blweb$hEBOOKS