Static Analysis / Lecture Notes in Computer Science Bd.1824 (PDF)
7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.The 20 revised full papers presented were carefully reviewed and selected from 52 submissions....
Leider schon ausverkauft
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Static Analysis / Lecture Notes in Computer Science Bd.1824 (PDF)“
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.
Bibliographische Angaben
- 2004, 2000, 433 Seiten, Englisch
- Herausgegeben: Jens Palsberg
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540450998
- ISBN-13: 9783540450993
- Erscheinungsdatum: 02.02.2004
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.81 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Static Analysis / Lecture Notes in Computer Science Bd.1824"
Schreiben Sie einen Kommentar zu "Static Analysis / Lecture Notes in Computer Science Bd.1824".
Kommentar verfassen