Author: Theo D'Hondt
Publisher:
ISBN: 9781450309394
Category : Computer science
Languages : en
Pages : 108
Book Description
Proceedings of the 7th Symposium on Dynamic Languages
Author: Theo D'Hondt
Publisher:
ISBN: 9781450309394
Category : Computer science
Languages : en
Pages : 108
Book Description
Publisher:
ISBN: 9781450309394
Category : Computer science
Languages : en
Pages : 108
Book Description
DLS'11
Proceedings of the 7th Symposium Dynamic Languages
Proceedings of the 7th Symposium on Dynamic Languages (DSL'11), October 24, 2011, Portland, Oregon, USA.
Author: Association for Computing Machinery (ACM)
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Proceedings of the 7th Symposium on Dynamic Languages ; October 24, 2011 ; Portland, Oregon, USA ; [... Nine Papers]
Author: Association for Computing Machinery Special Interest Group on Programming Languages
Publisher:
ISBN:
Category :
Languages : en
Pages : 106
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 106
Book Description
Proceedings of the 6th Symposium on Dynamic Languages
Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms
Author:
Publisher: SIAM
ISBN: 9780898713664
Category : Mathematics
Languages : en
Pages : 608
Book Description
This text covers the proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, which was held in Atlanta, Georgia, in January 1996.
Publisher: SIAM
ISBN: 9780898713664
Category : Mathematics
Languages : en
Pages : 608
Book Description
This text covers the proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, which was held in Atlanta, Georgia, in January 1996.
Proceedings of the 7th Workshop on Dynamic Languages and Applications
Author: Association for Computing Machinery
Publisher:
ISBN:
Category : Computer programs
Languages : en
Pages : 27
Book Description
Publisher:
ISBN:
Category : Computer programs
Languages : en
Pages : 27
Book Description
DLS '07
Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages :
Book Description
Programming Languages and Systems
Author: Chung-Kil Hur
Publisher: Springer Nature
ISBN: 9819983118
Category : Computers
Languages : en
Pages : 337
Book Description
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.
Publisher: Springer Nature
ISBN: 9819983118
Category : Computers
Languages : en
Pages : 337
Book Description
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.