Proceedings of the 7th Symposium on Dynamic Languages
Author : Theo D'Hondt
Publisher :
Page : 108 pages
File Size : 17,95 MB
Release : 2011
Category : Computer science
ISBN : 9781450309394
Author : Theo D'Hondt
Publisher :
Page : 108 pages
File Size : 17,95 MB
Release : 2011
Category : Computer science
ISBN : 9781450309394
Author :
Publisher :
Page : 107 pages
File Size : 16,69 MB
Release : 2012
Category :
ISBN :
Author :
Publisher :
Page : 107 pages
File Size : 40,18 MB
Release : 2011
Category :
ISBN :
Author : Association for Computing Machinery (ACM)
Publisher :
Page : pages
File Size : 11,58 MB
Release : 2011
Category :
ISBN :
Author : Association for Computing Machinery Special Interest Group on Programming Languages
Publisher :
Page : 106 pages
File Size : 12,40 MB
Release : 2012
Category :
ISBN :
Author : William D. Clinger
Publisher :
Page : 114 pages
File Size : 22,66 MB
Release : 2010
Category :
ISBN :
Author :
Publisher : SIAM
Page : 608 pages
File Size : 10,19 MB
Release : 1996-01-01
Category : Mathematics
ISBN : 9780898713664
This text covers the proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, which was held in Atlanta, Georgia, in January 1996.
Author : Association for Computing Machinery
Publisher :
Page : 27 pages
File Size : 14,18 MB
Release : 2013
Category : Computer programs
ISBN :
Author :
Publisher :
Page : pages
File Size : 11,8 MB
Release : 2007
Category : Programming languages (Electronic computers)
ISBN :
Author : Chung-Kil Hur
Publisher : Springer Nature
Page : 337 pages
File Size : 30,27 MB
Release : 2023-11-22
Category : Computers
ISBN : 9819983118
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023. The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: 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 and environments for programming and implementation; and applications of SAT/SMT to programming and implementation.