Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Static analysis = 25th International...
~
Workshop on the Preservation of Stability under Discretization ((2001 :)
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Static analysis/ edited by Andreas Podelski.
Reminder of title:
25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
remainder title:
SAS 2018
other author:
Podelski, Andreas.
corporate name:
Workshop on the Preservation of Stability under Discretization
Published:
Cham :Springer International Publishing : : 2018.,
Description:
x, 445 p. :ill., digital ; : 24 cm.;
Contained By:
Springer eBooks
Subject:
Computer programming - Congresses. -
Online resource:
https://doi.org/10.1007/978-3-319-99725-4
ISBN:
9783319997254
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
Static analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /[electronic resource] :SAS 2018edited by Andreas Podelski. - Cham :Springer International Publishing :2018. - x, 445 p. :ill., digital ;24 cm. - Lecture notes in computer science,110020302-9743 ;. - Lecture notes in computer science ;6140..
Static Analysis -- Program Verification -- Bug Detection -- Compiler Organization -- Program Understanding -- Software Maintenance.
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
ISBN: 9783319997254
Standard No.: 10.1007/978-3-319-99725-4doiSubjects--Topical Terms:
528620
Computer programming
--Congresses.
LC Class. No.: QA76.6
Dewey Class. No.: 005.1
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
LDR
:01754nam a2200373 a 4500
001
928392
003
DE-He213
005
20180829123322.0
006
m d
007
cr nn 008maaau
008
190626s2018 gw s 0 eng d
020
$a
9783319997254
$q
(electronic bk.)
020
$a
9783319997247
$q
(paper)
024
7
$a
10.1007/978-3-319-99725-4
$2
doi
035
$a
978-3-319-99725-4
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.6
072
7
$a
UM
$2
bicssc
072
7
$a
COM051000
$2
bisacsh
072
7
$a
UM
$2
thema
072
7
$a
UYF
$2
thema
082
0 4
$a
005.1
$2
23
090
$a
QA76.6
$b
.I61 2018
111
2
$a
Workshop on the Preservation of Stability under Discretization
$d
(2001 :
$c
Fort Collins, Colo.)
$3
527686
245
1 0
$a
Static analysis
$h
[electronic resource] :
$b
25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
$c
edited by Andreas Podelski.
246
3
$a
SAS 2018
260
$a
Cham :
$c
2018.
$b
Springer International Publishing :
$b
Imprint: Springer,
300
$a
x, 445 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
11002
490
1
$a
Programming and software engineering
505
0
$a
Static Analysis -- Program Verification -- Bug Detection -- Compiler Organization -- Program Understanding -- Software Maintenance.
520
$a
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
650
0
$a
Computer programming
$v
Congresses.
$3
528620
650
0
$a
Software engineering
$v
Congresses.
$3
528500
650
1 4
$a
Logics and Meanings of Programs.
$3
670058
650
2 4
$a
Software Engineering.
$3
669632
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
669782
650
2 4
$a
Programming Techniques.
$3
669781
650
2 4
$a
System Performance and Evaluation.
$3
669346
650
2 4
$a
The Computing Profession.
$3
669954
700
1
$a
Podelski, Andreas.
$3
889767
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
6140.
$3
744199
830
0
$a
Programming and software engineering.
$3
1208283
856
4 0
$u
https://doi.org/10.1007/978-3-319-99725-4
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login