仕訳帳情報
ACM Transactions on Programming Languages and Systems (TOPLAS)
http://toplas.acm.org/出版社: |
ACM |
ISSN: |
0164-0925 |
閲覧: |
14198 |
追跡: |
15 |
論文募集
ACM Transactions on Programming Languages and Systems (TOPLAS) is the premier journal for reporting recent research advances in the areas of programming languages, and systems to assist the task of programming.
The scope of TOPLAS includes, but is not limited to, the following subjects:
language design for sequential and parallel programming
programming language implementation
programming language semantics
compilers and interpreters
runtime systems for program execution
storage allocation and garbage collection
languages and methods for writing program specifications
languages and methods for secure and reliable programs
testing and verification of programs
Papers can be either theoretical or experimental in style, but in either case, they must contain innovative and novel content that advances the state of the art of programming languages and systems. We also invite strictly experimental papers that compare existing approaches, tutorial, and survey papers.
最終更新 Dou Sun 2013-10-03
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| International Journal of Programming Languages and Applications | AIRCC | 1839-6291 | ||
| c | IEEE Transactions on Circuits and Systems I: Regular Papers | 4.140 | IEEE | 1549-8328 |
| Programming and Computer Software | 0.105 | Springer | 0361-7688 | |
| c | Computer Languages, Systems and Structures | 0.915 | Elsevier | 1477-8424 |
| International Journal of Database Management Systems | AIRCC | 0975-5985 | ||
| a | ACM Transactions on Database Systems | ACM | 0362-5915 | |
| c | Theory of Computing Systems | 0.477 | Springer | 1432-4350 |
| International Journal of Communication Systems | 1.278 | Wiley-Blackwell | 1074-5351 | |
| Journal of Signal Processing Systems | 0.551 | Springer | 1939-8018 | |
| Journal of Logic, Language and Information | Springer | 0925-8531 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| International Journal of Programming Languages and Applications | AIRCC | |
| IEEE Transactions on Circuits and Systems I: Regular Papers | 4.140 | IEEE |
| Programming and Computer Software | 0.105 | Springer |
| Computer Languages, Systems and Structures | 0.915 | Elsevier |
| International Journal of Database Management Systems | AIRCC | |
| ACM Transactions on Database Systems | ACM | |
| Theory of Computing Systems | 0.477 | Springer |
| International Journal of Communication Systems | 1.278 | Wiley-Blackwell |
| Journal of Signal Processing Systems | 0.551 | Springer |
| Journal of Logic, Language and Information | Springer |
関連会議
| 省略名 | 完全な名前 | 提出日 | 会議日 |
|---|---|---|---|
| SBAC-PAD | International Symposium on Computer Architecture and High Performance Computing | 2022-07-01 | 2022-11-02 |
| ICINT | International Conference on Information and Network Technologies | 2018-04-05 | 2018-05-24 |
| PAAP | International Symposium on Parallel Architectures, Algorithms and Programming | 2022-07-30 | 2022-11-04 |
| ICBAT | International Conference on Biotechnology and Agroforestry Technology | 2020-04-15 | 2020-04-17 |
| MODELS | International Conference on Model Driven Engineering Languages and Systems | 2024-03-21 | 2024-09-22 |
| ISCA | International Symposium on Computer Architecture | 2023-11-14 | 2024-06-29 |
| PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2023-11-16 | 2024-06-24 |
| ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-12-19 |
| ICCMIT | International Conference on Communication, Management and Information Technology | 2018-12-31 | 2019-03-26 |
| ICCCEEE | International Conference on Computer, Control, Electrical, and Electronics Engineering | 2019-07-31 | 2019-09-21 |
おすすめ