000			02606cam a2200409 i 4500
001			ocn826658056
003			OCoLC
005			20240726105330.0
008			130204s1999 enka ob 001 0 eng d
040			_aNT _beng _epn _erda _cNT _dE7B _dI9W _dOCLCF _dYDXCP _dOCLCQ _dSTF _dOCLCA _dUKAHL _dLEAUB _dOCLCQ _dOCLCO
020			_a9781848160514 _q((electronic)l(electronic)ctronic)
050	0	4	_aQA76 _b.T974 1999
049			_aMAIN
100	1		_aAmtoft, Torben. _e1
245	1	0	_aType and effect systems : _bbehaviours for concurrency / _cTorben Amtoft, Flemming Nielson, Hanne Riis Nielson.
260			_aLondon : _bImperial College Press, _c(c)1999.
300			_a1 online resource (253 pages) : _billustrations
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_adata file _2rda
504			_a2
505	0	0	_a1. Introduction -- _t2. The type and effect system -- _t3. The semantics -- _t4. The inference algorithm -- _t5. The inference algorithm: completeness -- _t6. Post-processing the analysis -- _t7. A case study.
520	0		_aConcurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web. This book presents and develops state-of-the-art validation techniques for detecting safety violations; the focus is on the correctness of techniques that suffice for fully automatic validation of key components of such systems. It builds on and extends the notion of types, popular in many sequential programming languages as a technique for catching certain kinds of errors already at program development time, by incorporating behaviours (or structured effects) that are able to track the information flow in the presence of procedures, channel based communication, and the dynamic creation of network topologies. The technical development is performed for a language based on Concurrent ML.
530			_a2 _ub
650		0	_aSystem analysis.
650		0	_aComputer multitasking.
650		0	_aComputer algorithms.
650		0	_aAlgorithms.
655		1	_aElectronic Books.
700	1		_aNielson, Hanne Riis.
700	1		_aNielson, Flemming, _d1955-
856	4	0	_uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=519129&site=eds-live&custid=s3260518 _zClick to access digital title | log in using your CIU ID number and my.ciu.edu password
942			_cOB _D _eEB _hQA.. _m(c)1999 _QOL _R _x _8NFIC _2LOC
994			_a92 _bNT
999			_c96866 _d96866
902			_a1 _bCynthia Snell _c1 _dCynthia Snell