Items related to Programming Languages and Systems: 14th Asian Symposium,...

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings - Softcover

 
9783319479590: Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Softcover
ISBN 10: 3319479598 ISBN 13: 9783319479590
Publisher: Springer, 2016

This specific ISBN edition is currently not available.

Synopsis

Semantics, logics, and foundational theory.- Design of languages type systems, and foundational calculi.- Domain-specific languages.-Compilers, interpreters, and abstract machines.- Program derivation, synthesis and transformation.- Program analysis, verification, and model-checking.- Logic, constraint, probabilistic and quantum programming.- Software security; concurrency and parallelism.- Tools for programming and implementation

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2016
  • ISBN 10 3319479598
  • ISBN 13 9783319479590
  • BindingPaperback
  • LanguageEnglish
  • Number of pages484
  • EditorIgarashi Atsushi

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319479576: Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings: 10017 (Lecture Notes in Computer Science, 10017)

Featured Edition

ISBN 10:  3319479571 ISBN 13:  9783319479576
Publisher: Springer, 2016
Softcover