The Resource Algol-like Languages, edited by Peter W. O'Hearn, Robert D. Tennent, (electronic resource)

Algol-like Languages, edited by Peter W. O'Hearn, Robert D. Tennent, (electronic resource)

Label
Algol-like Languages
Title
Algol-like Languages
Statement of responsibility
edited by Peter W. O'Hearn, Robert D. Tennent
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
AU@
http://library.link/vocab/creatorName
O'Hearn, Peter W
Dewey number
004.0151
Index
no index present
LC call number
QA76.9.M35
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Tennent, Robert D
Series statement
Progress in Theoretical Computer Science
http://library.link/vocab/subjectName
  • Computer science
  • Mathematics
  • Computer science
  • Mathematics
Label
Algol-like Languages, edited by Peter W. O'Hearn, Robert D. Tennent, (electronic resource)
Link
http://dx.doi.org/10.1007/978-1-4757-3851-3
Instantiates
Publication
Antecedent source
file reproduced from original
Color
mixed
Contents
11 Functor Categories and Store Shapes -- 12 Using Functor Categories to Generate Intermediate Code -- 13 Semantical Analysis of Specification Logic -- 14 Semantical Analysis of Specification Logic, 2 -- 15 Full Abstraction for the Second-Order Subset -- 16 Parametricity and Local Variables -- 17 Operationally-Based Reasoning About Local Variables -- 18 Syntactic Control of Interference Revisited -- 19 Global State Considered Unnecessary -- 20 Linearity, Sharing and State -- 21 The Essence of Parallel Algol -- of Volume 1
Dimensions
unknown
Extent
1 online resource (vii, 349 p.)
File format
unknown
Form of item
online
Isbn
9781475738513
Isbn Type
(electronic bk.)
Level of compression
uncompressed
Other control number
10.1007/978-1-4757-3851-3
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)851824041
  • (OCoLC)ocn851824041
Label
Algol-like Languages, edited by Peter W. O'Hearn, Robert D. Tennent, (electronic resource)
Link
http://dx.doi.org/10.1007/978-1-4757-3851-3
Publication
Antecedent source
file reproduced from original
Color
mixed
Contents
11 Functor Categories and Store Shapes -- 12 Using Functor Categories to Generate Intermediate Code -- 13 Semantical Analysis of Specification Logic -- 14 Semantical Analysis of Specification Logic, 2 -- 15 Full Abstraction for the Second-Order Subset -- 16 Parametricity and Local Variables -- 17 Operationally-Based Reasoning About Local Variables -- 18 Syntactic Control of Interference Revisited -- 19 Global State Considered Unnecessary -- 20 Linearity, Sharing and State -- 21 The Essence of Parallel Algol -- of Volume 1
Dimensions
unknown
Extent
1 online resource (vii, 349 p.)
File format
unknown
Form of item
online
Isbn
9781475738513
Isbn Type
(electronic bk.)
Level of compression
uncompressed
Other control number
10.1007/978-1-4757-3851-3
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)851824041
  • (OCoLC)ocn851824041

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...