2014, ISBN: 9783319127361
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular … Mehr…
Orellfuessli.ch No. 44356863. Versandkosten:Zzgl. Versandkosten. (EUR 15.61) Details... |
2014, ISBN: 9783319127361
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular … Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783319127361
Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages constraints, dynamic langu… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings - neues Buch
2014, ISBN: 9783319127361
; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, Springer Berlin Heidelberg
hive.co.uk No. 9783319127361. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2014, ISBN: 9783319127361
12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, eBooks, eBook Download (PDF), [PU: Springer International Publishing], Springer International Pu… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 9.95) Details... |
2014, ISBN: 9783319127361
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular … Mehr…
2014, ISBN: 9783319127361
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular … Mehr…
ISBN: 9783319127361
Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages constraints, dynamic langu… Mehr…
2014, ISBN: 9783319127361
12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings, eBooks, eBook Download (PDF), [PU: Springer International Publishing], Springer International Pu… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Programming Languages and Systems
EAN (ISBN-13): 9783319127361
Erscheinungsjahr: 2014
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2016-12-08T16:36:53+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-03-06T11:49:35+01:00 (Vienna)
ISBN/EAN: 9783319127361
ISBN - alternative Schreibweisen:
978-3-319-12736-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: yan
Titel des Buches: programming systems and languages
Daten vom Verlag:
Autor/in: Jacques Garrigue
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Verlag: Springer; Springer International Publishing
490 Seiten
Erscheinungsjahr: 2014-10-13
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVIII, 490 p. 117 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; constraints; dynamic language; logic programming; logics; memory leak; model-checking; operational semantics; packet switching; program analysis; proof theory; term rewriting; type systems; unification; C; Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Compilers and Interpreters; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Software Engineering; Theoretische Informatik; BC
-Calculus.- A Formalized Proof of Strong Normalization for Guarded Recursive Types.- Functional Pearl: Nearest Shelters in Manhattan.- Suppl: A Flexible Language for Policies.- A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.- Model-Checking for Android Malware Detection.- Necessary and Sufficient Preconditions via Eager Abstraction.- Resource Protection Using Atomics: Patterns and Verification.- Resource Analysis of Complex Programs with Cost Equations.- Simple and Efficient Algorithms for Octagons.- Compositional Entailment Checking for a Fragment of Separation Logic.- Automatic Constrained Rewriting Induction towards Verifying Procedural Programs.- A ZDD-Based Efficient Higher-Order Model Checking Algorithm.- Inferring Grammatical Summaries of String Values.- Syntax-Directed Divide-and-Conquer Data-Flow Analysis.- Address Chain: Profiling Java Objects without Overhead in Java Heaps.- Call-by-Value in a Basic Logic for Interaction.- A Precise and Abstract Memory Model for C Using Symbolic Values.- Hereditary History-Preserving Bisimilarity: Logics and Automata.
λμWeitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781013269882 Programming Languages and Systems (Amal Ahmed)
- 9781013269882 Programming Languages and Systems (Amal Ahmed)
- 9781013269899 Programming Languages and Systems (Amal Ahmed)
- 9783319898834 Programming Languages and Systems (Amal Ahmed)
- 9783319898841 Programming Languages and Systems (Amal Ahmed)
- 9780070537088 Programming Systems and Languages. (Rosen, Saul, Comp)
< zum Archiv...