Muutke küpsiste eelistusi

Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 December 2, 2020, Proceedings 1st ed. 2020 [Pehme köide]

Edited by
  • Formaat: Paperback / softback, 374 pages, kõrgus x laius: 235x155 mm, kaal: 599 g, 88 Illustrations, color; 99 Illustrations, black and white; XVI, 374 p. 187 illus., 88 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 12470
  • Ilmumisaeg: 27-Nov-2020
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030644367
  • ISBN-13: 9783030644369
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 December 2, 2020, Proceedings 1st ed. 2020Suurem pilt
  • Formaat: Paperback / softback, 374 pages, kõrgus x laius: 235x155 mm, kaal: 599 g, 88 Illustrations, color; 99 Illustrations, black and white; XVI, 374 p. 187 illus., 88 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 12470
  • Ilmumisaeg: 27-Nov-2020
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030644367
  • ISBN-13: 9783030644369
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783030644369.html
Märksõnad:
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.





* The conference was held virtually due to the COVID-19 pandemic.
Program Analysis and Verification.- A Set-Based Context Model for Program Analysis.- Declarative Stream Runtime Verification (hLola).- Formal Verification of Atomicity Requirements for Smart Contracts.- Types.- Neural Networks, Secure by Construction: An Exploration of Refinement Types.- A New Refinement Type System for Automated nu-HFLZ Validity Checking.- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.- Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.- Semantics.- An Abstract Machine for Strong Call by Value.- Certified Semantics for Relational Programming.- Algebraic and Coalgebraic Perspectives on Interaction Laws.- Program Generation, Transactions and Automation.- Stack-Driven Program Generation of WebAssembly.- Banyan: Coordination-free Transactions over Mergeable Replicated Data Types.- Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?.- Synthesis and Program Transformation.- Synthesis and Program Transformation.- Relational Synthesis for Pattern Matching.- REFINITY to Model and Prove Program Transformation Rules.- Debugging, Profiling and Constraint Solving.- A Counterexample-Guided Debugger for Non-Recursive Datalog.- A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving.- P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine.