Control flow semantics /
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Cambridge, Mass. :
MIT Press,
[1996], ©1996
Cambridge, Mass. : c1996 Cambridge, Mass. : ©1996 Cambridge, Mass.A : 1996 Cambridge, Mass. : [1996] |
Series: | Foundations of computing
Foundations of computing |
Subjects: |
LEADER | 08765nam a2201321 a 4500 | ||
---|---|---|---|
001 | 99ef19d9-72b3-494a-8034-a6873c160ffa | ||
005 | 20240927000000.0 | ||
008 | 980219t19961996maua b 001 0 eng | ||
010 | |a 95047439 | ||
010 | |a 95047439 | ||
010 | |a 95047439 | ||
010 | |a 95047439 | ||
020 | |a 0262041545 (hc : alk. paper) | ||
020 | |a 0262041545 |q (hc : alk. paper) | ||
020 | |a 0262041545 |q hardcover |q alkaline paper | ||
020 | |a 9780262041546 |q (hc : alk. paper) | ||
035 | |9 ALL7676CU | ||
035 | |9 CCE4686TS | ||
035 | |9 FKK2414YL | ||
035 | |a (CStRLIN)NJPG96-B35609 | ||
035 | |a (ICU)BID21919675 | ||
035 | |a (MCM)000796631 | ||
035 | |a (MCM)000796631MIT01 | ||
035 | |a (MdBJ)1765658 | ||
035 | |a (NIC)notisANV0143 | ||
035 | |a (NNC)1789727 | ||
035 | |a (NcD)002124827DUK01 | ||
035 | |a (NhD)b23780010-01dcl_inst | ||
035 | |a (NjP)1065612-princetondb | ||
035 | |a (OCoLC)33439651 | ||
035 | |a (OCoLC)ocm33439651 |9 ExL | ||
035 | |a (OCoLC)ocm33439651 | ||
035 | |a (OCoLC)ocn685872697 | ||
035 | |a (PU)2262511-penndb-Voyager | ||
035 | |a 1765658 | ||
035 | |a 1789727 | ||
035 | |a 2262511 | ||
035 | |a 2802378 | ||
035 | |a 33439651 | ||
035 | |a 3943407 | ||
035 | |a AHJ9204EI | ||
035 | |a DCLC9547439-B | ||
035 | |b b23780010 | ||
035 | |z (NjP)Voyager1065612 | ||
040 | |a DLC |b eng |c DLC |d DLC | ||
040 | |a DLC |b eng |c DLC |d NDD | ||
040 | |a DLC |c DLC |d DLC |d OrLoB-B |d OCoLC | ||
040 | |a DLC |c DLC |d DLC | ||
040 | |a DLC |c DLC |d MYG | ||
040 | |a DLC |c DLC |d MdBJ |d OrLoB-B | ||
040 | |a DLC |c DLC |d NIC | ||
040 | |a DLC |c DLC |d OrLoB-B | ||
041 | 0 | |a eng | |
049 | |a JHEE | ||
049 | |a MYGG | ||
050 | 4 | |a QA76.7 |b .B352 1996 | |
050 | 0 | 0 | |a QA76.7 |b .B352 1996 |
050 | 9 | 9 | |a QA76.7 |b .B352 1996 |
079 | |a ocm33439651 | ||
082 | 0 | 0 | |a 005.13/1 |2 20 |
092 | |a 005.131 |b B168, C764, 1996 | ||
100 | 1 | |a Bakker, J. W. de |q (Jacobus Willem), |d 1939- |1 http://viaf.org/viaf/95095 | |
100 | 1 | |a Bakker, J. W. de |q (Jacobus Willem), |d 1939- | |
245 | 1 | 0 | |a Control flow semantics / |c Jaco de Bakker and Erik de Vink |
260 | |a Cambridge, Mass. : |b MIT Press, |c [1996], ©1996 | ||
260 | |a Cambridge, Mass. : |b MIT Press, |c c1996 | ||
260 | |a Cambridge, Mass. : |b MIT Press, |c ©1996 | ||
260 | |a Cambridge, Mass.A : |b MIT Press, |c 1996 | ||
264 | 1 | |a Cambridge, Mass. : |b MIT Press, |c [1996] | |
264 | 4 | |c ©1996 | |
300 | |a xvii, 564 p. : |b ill. ; |c 24 cm | ||
300 | |a xvii, 564 p. ; |c 24 cm | ||
300 | |a xvii, 564 pages : |b illustrations ; |c 24 cm | ||
336 | |a text |2 rdacontent | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a unmediated |2 rdamedia | ||
337 | |a unmediated |b n |2 rdamedia | ||
338 | |a volume |2 rdacarrier | ||
338 | |a volume |b nc |2 rdacarrier | ||
440 | 0 | |a Foundations of computing | |
490 | 1 | |a Foundations of computing series | |
490 | 1 | |a Foundations of computing | |
500 | |a This WorldCat-derived record is shareable under Open Data Commons ODC-BY, with attribution to OCLC |5 CTY | ||
504 | |a Includes bibliographical references (p. [543]-556) and indexes | ||
504 | |a Includes bibliographical references (p.[543]-556) and indexes | ||
504 | |a Includes bibliographical references (pages [543]-556) and indexes | ||
505 | 0 | |a The 27 Languages -- 1. Recursion and Iteration -- 2. Nondeterminacy -- 3. Variations -- 4. Uniform Parallelism -- 5. Unbounded Nondeterminism -- 6. Locality -- 7. Nonuniform Parallelism -- 8. Recursion Revisited -- 9. Nested Resumptions -- 10. Domain Equations and Bisimulation -- 11. Branching Domains at Work -- 12. Extensions of Nonuniform Parallelism -- 13. Concurrent Object-oriented Programming -- 14. Atomization, Commit, and Action Refinement -- 15. The Control Flow Kernel of Logic Programming -- 16. True Concurrency -- 17. Full Abstractness -- 18. Second-order Assignment -- A Proofs of Topological Theorems -- B Direct Operational Semantics -- C Domain Equations | |
505 | 0 | 0 | |t The 27 Languages -- |g 1 |t Recursion and Iteration -- |g 2. |t Nondeterminacy -- |g 3. |t Variations -- |g 4. |t Uniform Parallelism -- |g 5. |t Unbounded Nondeterminism -- |g 6. |t Locality -- |g 7. |t Nonuniform Parallelism -- |g 8. |t Recursion Revisited -- |g 9. |t Nested Resumptions -- |g 10. |t Domain Equations and Bisimulation -- |g 11. |t Branching Domains at Work -- |g 12. |t Extensions of Nonuniform Parallelism -- |g 13. |t Concurrent Object-oriented Programming -- |g 14. |t Atomization, Commit, and Action Refinement -- |g 15. |t The Control Flow Kernel of Logic Programming -- |g 16. |t True Concurrency -- |g 17. |t Full Abstractness -- |g 18. |t Second-order Assignment -- |t A Proofs of Topological Theorems -- |t B Direct Operational Semantics -- |t C Domain Equations. |
650 | 0 | |a Programming languages (Electronic computers) |x Semantics | |
650 | 7 | |a Programming languages (Electronic computers) |x Semantics |2 fast | |
700 | 1 | |a Vink, Erik de |1 http://viaf.org/viaf/29711637 | |
700 | 1 | |a Vink, Erik de | |
830 | 0 | |a Foundations of computing | |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 3943407 |s US-CTY |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 2458825 |s US-ICU |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 990007966310106761 |s US-MCM |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 991007166189707861 |s US-MDBJ |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 990021248270108501 |s US-NCD |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 991010439529705706 |s US-NHD |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 2802378 |s US-NIC |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 9910656123506421 |s US-NJP |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 1789727 |s US-NNC |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 0 | |i 99ef19d9-72b3-494a-8034-a6873c160ffa |l 9922625113503681 |s US-PU |m control_flow_semantics_____________________________________________________1996_______mitpra________________________________________bakker__j__w__de___________________p |
999 | 1 | 1 | |l 3943407 |s ISIL:US-CTY |t BKS |a lsfeng |b 39002032048168 |c QA76.7 B352X 1996 (LC) |g 1 |v 1 piece |x lsfc |y 3013793 |p LOANABLE |
999 | 1 | 1 | |l 2458825 |s ISIL:US-ICU |t BKS |a ASR-SciASR |b 43504252 |c QA76.7.B3520 1996 |d Library of Congress classification |y 4624765 |p LOANABLE |
999 | 1 | 1 | |l 990007966310106761 |s ISIL:US-MCM |t BKS |a ENG MOLDREMEDY |b 39080013691511 |c QA76.7.B352 1996 |d 0 |x BOOK |y 23470577230006761 |p UNLOANABLE |
999 | 1 | 1 | |l 991007166189707861 |s ISIL:US-MDBJ |t BKS |a LSC shmoffs |b 31151036252355 |c QA 76.7 .B352 1996 |d 0 |x jhbooks |y 23425566540007861 |p LOANABLE |
999 | 1 | 1 | |l 990021248270108501 |s ISIL:US-NCD |t BKS |a PERKN PK |b D00855707W |c QA76.7 .B352 1996 |d 0 |x BOOK |y 23670982540008501 |p LOANABLE |
999 | 1 | 1 | |l 991010439529705706 |s ISIL:US-NHD |t BKS |a BAKER COOK |b 33311011093541 |c QA76.7 .B352 1996 |d 0 |x BOOK |y 23131300700005706 |p LOANABLE |
999 | 1 | 1 | |l 2802378 |s ISIL:US-NIC |t BKS |a uris |b 31924077782757 |c QA76.7 .B352x 1996 |d lc |k 1 |x Book |y 739f437b-fb47-4bb8-b0d2-20228d2e2803 |p LOANABLE |
999 | 1 | 1 | |l 9910656123506421 |s ISIL:US-NJP |t BKS |a recap pa |b 32101050841988 |c QA76.7 .B352 1996 |d 0 |x Gen |y 23588961870006421 |p LOANABLE |
999 | 1 | 1 | |l 1789727 |s ISIL:US-NNC |t BKS |a off,eng |b CU72066342 |c QA76.7 .B352 1996 |y 2258808 |p LOANABLE |
999 | 1 | 1 | |l 9922625113503681 |s ISIL:US-PU |t BKS |a Libra stor |b 31198022386648 |c QA76.7 .B352 1996 |d 0 |x BOOK |y 23322296130003681 |p LOANABLE |