|
|
|
|
LEADER |
07892cam a22011652 4500 |
001 |
0-1652258310 |
003 |
DE-627 |
005 |
20240122104947.0 |
007 |
cr uuu---uuuuu |
008 |
130415s2013 gw |||||o 00| ||eng c |
020 |
|
|
|a 9783642369469
|9 978-3-642-36946-9
|
024 |
7 |
|
|a 10.1007/978-3-642-36946-9
|2 doi
|
035 |
|
|
|a (DE-627)1652258310
|
035 |
|
|
|a (DE-576)38111807X
|
035 |
|
|
|a (DE-599)BSZ38111807X
|
035 |
|
|
|a (OCoLC)840569313
|
035 |
|
|
|a (OCoLC)874373265
|
035 |
|
|
|a (DE-He213)978-3-642-36946-9
|
035 |
|
|
|a (EBP)040547477
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|
044 |
|
|
|c XA-DE
|c XA-DE-BE
|
050 |
|
0 |
|a QA76.6-76.66
|
072 |
|
7 |
|a UM
|2 bicssc
|
072 |
|
7 |
|a COM051000
|2 bisacsh
|
084 |
|
|
|a SS 4800
|q SEPA
|2 rvk
|0 (DE-625)rvk/143528:
|
084 |
|
|
|a 54.51
|2 bkl
|
084 |
|
|
|a 54.10
|2 bkl
|
100 |
1 |
|
|a Clarke, Dave
|4 aut
|
245 |
1 |
0 |
|a Aliasing in Object-Oriented Programming. Types, Analysis and Verification
|c edited by Dave Clarke, James Noble, Tobias Wrigstad
|
264 |
|
1 |
|a Berlin, Heidelberg
|b Springer
|c 2013
|
300 |
|
|
|a Online-Ressource (VIII, 515 p. 134 illus, digital)
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture Notes in Computer Science
|v 7850
|
490 |
0 |
|
|a SpringerLink
|a Bücher
|
500 |
|
|
|a Literaturangaben
|
505 |
8 |
0 |
|a Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. .
|
520 |
|
|
|a This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Computer Science
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Software engineering
|
650 |
|
0 |
|a Operating systems (Computers)
|
650 |
|
0 |
|a Software engineering
|
650 |
|
0 |
|a Operating systems (Computers)
|
650 |
|
0 |
|a Computer programming.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
|
0 |
|a Computers
|
655 |
|
7 |
|a Aufsatzsammlung
|0 (DE-588)4143413-4
|0 (DE-627)105605727
|0 (DE-576)209726091
|2 gnd-content
|
655 |
|
7 |
|a Konferenzschrift
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4233947-9
|0 (DE-627)104913436
|0 (DE-576)210376465
|a Objektorientierte Programmierung
|2 gnd
|
689 |
0 |
1 |
|D s
|0 (DE-588)4172311-9
|0 (DE-627)105388181
|0 (DE-576)209942630
|a Objektorientierte Programmiersprache
|2 gnd
|
689 |
0 |
2 |
|D s
|0 (DE-588)4586270-9
|0 (DE-627)325273545
|0 (DE-576)213983281
|a Aliasanalyse
|2 gnd
|
689 |
0 |
3 |
|D s
|0 (DE-588)4135576-3
|0 (DE-627)10566409X
|0 (DE-576)209661925
|a Programmverifikation
|2 gnd
|
689 |
0 |
|
|5 DE-101
|
700 |
1 |
|
|a Noble, James
|d 1967-
|0 (DE-588)12110110X
|0 (DE-627)081087136
|0 (DE-576)17548225X
|4 oth
|
700 |
1 |
|
|a Wrigstad, Tobias
|4 oth
|
776 |
1 |
|
|z 9783642369452
|
776 |
0 |
8 |
|i Buchausg. u.d.T.
|t Aliasing in object-oriented programming
|d Berlin : Springer, 2013
|h VIII, 513 S.
|w (DE-627)736567275
|w (DE-576)382737334
|z 3642369456
|z 9783642369452
|
830 |
|
0 |
|a Lecture notes in computer science
|v 7850
|9 7850
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-36946-9
|m X:SPRINGER
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-36946-9
|x Resolving-System
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
2 |
|u https://swbplus.bsz-bw.de/bsz38111807xcov.jpg
|m V:DE-576
|m X:springer
|q image/jpeg
|v 20150316113522
|3 Cover
|
856 |
4 |
2 |
|u http://d-nb.info/1031151125/04
|m B:DE-101
|q application/pdf
|v 2013-05-01
|x Verlag
|3 Inhaltsverzeichnis
|
856 |
4 |
2 |
|u http://deposit.d-nb.de/cgi-bin/dokserv?id=4252349&prov=M&dok_var=1&dok_ext=htm
|m X: MVB
|q text/html
|v 2013-05-01
|x Verlag
|3 Inhaltstext
|
889 |
|
|
|w (DE-627)740858998
|
912 |
|
|
|a ZDB-2-LNC
|b 2013
|
912 |
|
|
|a ZDB-2-SCS
|b 2013
|
912 |
|
|
|a ZDB-2-SEB
|
912 |
|
|
|a ZDB-2-SXCS
|b 2013
|
912 |
|
|
|a ZDB-2-SEB
|b 2013
|
935 |
|
|
|h GBV
|i ExPruef
|
936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
936 |
b |
k |
|a 54.51
|j Programmiermethodik
|q SEPA
|0 (DE-627)106418122
|
936 |
b |
k |
|a 54.10
|j Theoretische Informatik
|q SEPA
|0 (DE-627)106418815
|
951 |
|
|
|a BO
|
900 |
|
|
|a Noble, Robert James
|
950 |
|
|
|a o-o Programmierung
|
950 |
|
|
|a OOP
|
950 |
|
|
|a Programmierung
|
950 |
|
|
|a Objektorientierte Programmiersprache
|
950 |
|
|
|a Programmiersprache
|
950 |
|
|
|a Objektorientierte Programmierung
|
950 |
|
|
|a Verifikation
|
950 |
|
|
|a Hoare-Logik
|
950 |
|
|
|a Aliasing <Informatik>
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-36946-9
|9 DE-14
|
852 |
|
|
|a DE-14
|x epn:3358698769
|z 2013-04-15T08:39:21Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-36946-9
|9 DE-15
|
852 |
|
|
|a DE-15
|x epn:3358698823
|z 2013-04-15T08:39:21Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-36946-9
|9 DE-Ch1
|
852 |
|
|
|a DE-Ch1
|x epn:3358698890
|z 2013-04-15T08:39:21Z
|
976 |
|
|
|h Elektronischer Volltext - Campuslizenz
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-36946-9
|z Zum Online-Dokument
|9 DE-Zi4
|
852 |
|
|
|a DE-Zi4
|x epn:3358698939
|z 2013-04-15T08:39:21Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-36946-9
|9 DE-520
|
852 |
|
|
|a DE-520
|x epn:3358698998
|z 2013-04-15T08:39:21Z
|
980 |
|
|
|a 1652258310
|b 0
|k 1652258310
|o 38111807X
|
SOLR
_version_ |
1792258599489110016 |
access_facet |
Electronic Resources |
author |
Clarke, Dave |
author2 |
Noble, James, Wrigstad, Tobias |
author2_role |
oth, oth |
author2_variant |
j n jn, t w tw |
author_facet |
Clarke, Dave, Noble, James, Wrigstad, Tobias |
author_role |
aut |
author_sort |
Clarke, Dave |
author_variant |
d c dc |
callnumber-first |
Q - Science |
callnumber-label |
QA76 |
callnumber-raw |
QA76.6-76.66 |
callnumber-search |
QA76.6-76.66 |
callnumber-sort |
QA 276.6 276.66 |
callnumber-subject |
QA - Mathematics |
collection |
ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS |
contents |
Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. ., This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions |
ctrlnum |
(DE-627)1652258310, (DE-576)38111807X, (DE-599)BSZ38111807X, (OCoLC)840569313, (OCoLC)874373265, (DE-He213)978-3-642-36946-9, (EBP)040547477 |
de15_date |
2013-04-15T08:39:21Z |
dech1_date |
2013-04-15T08:39:21Z |
doi_str_mv |
10.1007/978-3-642-36946-9 |
facet_912a |
ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS |
facet_avail |
Online |
facet_local_del330 |
Objektorientierte Programmierung, Objektorientierte Programmiersprache, Aliasanalyse, Programmverifikation |
finc_class_facet |
Informatik, Mathematik |
fincclass_txtF_mv |
science-computerscience |
footnote |
Literaturangaben |
format |
eBook, ConferenceProceedings |
format_access_txtF_mv |
Book, E-Book |
format_de105 |
Ebook |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-online-monograph-independent |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book |
format_legacy |
ElectronicBook |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
E-Book |
genre |
Aufsatzsammlung (DE-588)4143413-4 (DE-627)105605727 (DE-576)209726091 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
genre_facet |
Aufsatzsammlung, Konferenzschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
hierarchy_parent_id |
0-316228877 |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_sequence |
7850 |
hierarchy_top_id |
0-316228877 |
hierarchy_top_title |
Lecture notes in computer science |
id |
0-1652258310 |
illustrated |
Not Illustrated |
imprint |
Berlin, Heidelberg, Springer, 2013 |
imprint_str_mv |
Berlin, Heidelberg: Springer, 2013 |
institution |
DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15 |
is_hierarchy_id |
0-1652258310 |
is_hierarchy_title |
Aliasing in Object-Oriented Programming. Types, Analysis and Verification |
isbn |
9783642369469 |
isbn_isn_mv |
9783642369452, 3642369456 |
issn_isn_mv |
1611-3349 |
kxp_id_str |
1652258310 |
language |
English |
last_indexed |
2024-02-29T18:23:11.416Z |
local_heading_facet_dezwi2 |
Computer science, Computer Science, Software engineering, Operating systems (Computers), Computer programming., Compilers (Computer programs)., Computers, Objektorientierte Programmierung, Objektorientierte Programmiersprache, Aliasanalyse, Programmverifikation |
marc024a_ct_mv |
10.1007/978-3-642-36946-9 |
match_str |
clarke2013aliasinginobjectorientedprogrammingtypesanalysisandverification |
mega_collection |
Verbunddaten SWB |
multipart_link |
093890923 |
multipart_part |
(093890923)7850 |
names_id_str_mv |
(DE-588)12110110X, (DE-627)081087136, (DE-576)17548225X |
oclc_num |
840569313, 874373265 |
physical |
Online-Ressource (VIII, 515 p. 134 illus, digital) |
publishDate |
2013 |
publishDateSort |
2013 |
publishPlace |
Berlin, Heidelberg |
publisher |
Springer |
record_format |
marcfinc |
record_id |
38111807X |
recordtype |
marcfinc |
rsn_id_str_mv |
(DE-15)3215962 |
rvk_facet |
SS 4800 |
rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science |
rvk_path |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
rvk_path_str_mv |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
series |
Lecture notes in computer science, 7850 |
series2 |
Lecture Notes in Computer Science ; 7850, SpringerLink ; Bücher |
source_id |
0 |
spelling |
Clarke, Dave aut, Aliasing in Object-Oriented Programming. Types, Analysis and Verification edited by Dave Clarke, James Noble, Tobias Wrigstad, Berlin, Heidelberg Springer 2013, Online-Ressource (VIII, 515 p. 134 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7850, SpringerLink Bücher, Literaturangaben, Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. ., This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions, Computer science, Computer Science, Software engineering, Operating systems (Computers), Computer programming., Compilers (Computer programs)., Computers, Aufsatzsammlung (DE-588)4143413-4 (DE-627)105605727 (DE-576)209726091 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4233947-9 (DE-627)104913436 (DE-576)210376465 Objektorientierte Programmierung gnd, s (DE-588)4172311-9 (DE-627)105388181 (DE-576)209942630 Objektorientierte Programmiersprache gnd, s (DE-588)4586270-9 (DE-627)325273545 (DE-576)213983281 Aliasanalyse gnd, s (DE-588)4135576-3 (DE-627)10566409X (DE-576)209661925 Programmverifikation gnd, DE-101, Noble, James 1967- (DE-588)12110110X (DE-627)081087136 (DE-576)17548225X oth, Wrigstad, Tobias oth, 9783642369452, Buchausg. u.d.T. Aliasing in object-oriented programming Berlin : Springer, 2013 VIII, 513 S. (DE-627)736567275 (DE-576)382737334 3642369456 9783642369452, Lecture notes in computer science 7850 7850 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-36946-9 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-36946-9 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz38111807xcov.jpg V:DE-576 X:springer image/jpeg 20150316113522 Cover, http://d-nb.info/1031151125/04 B:DE-101 application/pdf 2013-05-01 Verlag Inhaltsverzeichnis, http://deposit.d-nb.de/cgi-bin/dokserv?id=4252349&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)740858998, http://dx.doi.org/10.1007/978-3-642-36946-9 DE-14, DE-14 epn:3358698769 2013-04-15T08:39:21Z, http://dx.doi.org/10.1007/978-3-642-36946-9 DE-15, DE-15 epn:3358698823 2013-04-15T08:39:21Z, http://dx.doi.org/10.1007/978-3-642-36946-9 DE-Ch1, DE-Ch1 epn:3358698890 2013-04-15T08:39:21Z, http://dx.doi.org/10.1007/978-3-642-36946-9 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3358698939 2013-04-15T08:39:21Z, http://dx.doi.org/10.1007/978-3-642-36946-9 DE-520, DE-520 epn:3358698998 2013-04-15T08:39:21Z |
spellingShingle |
Clarke, Dave, Aliasing in Object-Oriented Programming. Types, Analysis and Verification, Lecture notes in computer science, 7850, Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. ., This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions, Computer science, Computer Science, Software engineering, Operating systems (Computers), Computer programming., Compilers (Computer programs)., Computers, Aufsatzsammlung, Konferenzschrift, Objektorientierte Programmierung, Objektorientierte Programmiersprache, Aliasanalyse, Programmverifikation |
swb_id_str |
38111807X |
title |
Aliasing in Object-Oriented Programming. Types, Analysis and Verification |
title_auth |
Aliasing in Object-Oriented Programming. Types, Analysis and Verification |
title_full |
Aliasing in Object-Oriented Programming. Types, Analysis and Verification edited by Dave Clarke, James Noble, Tobias Wrigstad |
title_fullStr |
Aliasing in Object-Oriented Programming. Types, Analysis and Verification edited by Dave Clarke, James Noble, Tobias Wrigstad |
title_full_unstemmed |
Aliasing in Object-Oriented Programming. Types, Analysis and Verification edited by Dave Clarke, James Noble, Tobias Wrigstad |
title_in_hierarchy |
7850. Aliasing in Object-Oriented Programming. Types, Analysis and Verification (2013) |
title_short |
Aliasing in Object-Oriented Programming. Types, Analysis and Verification |
title_sort |
aliasing in object oriented programming types analysis and verification |
title_unstemmed |
Aliasing in Object-Oriented Programming. Types, Analysis and Verification |
topic |
Computer science, Computer Science, Software engineering, Operating systems (Computers), Computer programming., Compilers (Computer programs)., Computers, Aufsatzsammlung, Konferenzschrift, Objektorientierte Programmierung, Objektorientierte Programmiersprache, Aliasanalyse, Programmverifikation |
topic_facet |
Computer science, Computer Science, Software engineering, Operating systems (Computers), Computer programming., Compilers (Computer programs)., Computers, Aufsatzsammlung, Konferenzschrift, Objektorientierte Programmierung, Objektorientierte Programmiersprache, Aliasanalyse, Programmverifikation |
url |
https://doi.org/10.1007/978-3-642-36946-9, http://dx.doi.org/10.1007/978-3-642-36946-9, https://swbplus.bsz-bw.de/bsz38111807xcov.jpg, http://d-nb.info/1031151125/04, http://deposit.d-nb.de/cgi-bin/dokserv?id=4252349&prov=M&dok_var=1&dok_ext=htm |