MARC details
000 -LEADER |
fixed length control field |
02606cam a2200409 i 4500 |
001 - CONTROL NUMBER |
control field |
ocn826658056 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240726105330.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
130204s1999 enka ob 001 0 eng d |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
NT |
Language of cataloging |
eng |
Description conventions |
pn |
-- |
rda |
Transcribing agency |
NT |
Modifying agency |
E7B |
-- |
I9W |
-- |
OCLCF |
-- |
YDXCP |
-- |
OCLCQ |
-- |
STF |
-- |
OCLCA |
-- |
UKAHL |
-- |
LEAUB |
-- |
OCLCQ |
-- |
OCLCO |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781848160514 |
Qualifying information |
|
050 04 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76 |
Item number |
.T974 1999 |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Amtoft, Torben. |
Relator term |
Author |
245 10 - TITLE STATEMENT |
Title |
Type and effect systems : |
Remainder of title |
behaviours for concurrency / |
Statement of responsibility, etc. |
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
London : |
Name of publisher, distributor, etc. |
Imperial College Press, |
Date of publication, distribution, etc. |
(c)1999. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (253 pages) : |
Other physical details |
illustrations |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS |
File type |
data file |
Source |
rda |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographies and index. |
505 00 - FORMATTED CONTENTS NOTE |
Formatted contents note |
1. Introduction -- |
Title |
2. The type and effect system -- |
-- |
3. The semantics -- |
-- |
4. The inference algorithm -- |
-- |
5. The inference algorithm: completeness -- |
-- |
6. Post-processing the analysis -- |
-- |
7. A case study. |
520 0# - SUMMARY, ETC. |
Summary, etc. |
Concurrent 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 ## - COPYRIGHT INFORMATION: |
COPYRIGHT INFORMATION |
COPYRIGHT NOT covered - Click this link to request copyright permission: |
Uniform Resource Identifier |
<a href="b">b</a> |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
System analysis. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer multitasking. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer algorithms. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Algorithms. |
655 #1 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic Books. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Nielson, Hanne Riis. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Nielson, Flemming, |
Dates associated with a name |
1955- |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=519129&site=eds-live&custid=s3260518">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=519129&site=eds-live&custid=s3260518</a> |
-- |
Click to access digital title | log in using your CIU ID number and my.ciu.edu password |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
Online Book (LOGIN USING YOUR MY CIU LOGIN AND PASSWORD) |
DONATED BY: |
|
VENDOR |
EBSCO |
Classification part |
QA.. |
PUBLICATION YEAR |
(c)1999 |
LOCATION |
ONLINE |
REQUESTED BY: |
|
-- |
|
-- |
NFIC |
Source of classification or shelving scheme |
|
994 ## - |
-- |
92 |
-- |
NT |
902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) |
a |
1 |
b |
Cynthia Snell |
c |
1 |
d |
Cynthia Snell |