Resultados de 1 a 10 de 22 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
ACM Digital Library
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, ProceedingsNoble, JamesBerlin, Heidelberg: Springer Berlin / Heidelberg 2012Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
DeepBugs: a learning approach to name-based bug detectionPradel, Michael ; Sen, KoushikProceedings of ACM on programming languages, 2018-10, Vol.2 (OOPSLA), p.1-25 [Periódico revisado por pares]ACMTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
A Survey of Dynamic Analysis and Test Generation for JavaScriptAndreasen, Esben ; Gong, Liang ; Møller, Anders ; Pradel, Michael ; Selakovic, Marija ; Sen, Koushik ; Staicu, Cristian-AlexandruACM computing surveys, 2017-11, Vol.50 (5), p.1-36, Article 66 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Analysis of JavaScript Programs: Challenges and Research TrendsSun, Kwangwon ; Ryu, SukyoungACM computing surveys, 2017-11, Vol.50 (4), p.1-34 [Periódico revisado por pares]Baltimore: ACMTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Proceedings of the 6th symposium on Dynamic languagesNew York, NY, USA: ACM 2010Texto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
JEST: N+1-Version Differential Testing of Both JavaScript Engines and SpecificationPark, Jihyeok ; An, Seungmin ; Youn, Dongjun ; Kim, Gyeongwon ; Ryu, Sukyoung2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.13-24IEEETexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScriptPradel, Michael ; Schuh, Parker ; Sen, Koushik2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.314-324IEEETexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Understanding JavaScript Event-Based Interactions with ClematisAlimadadi, Saba ; Sequeira, Sheldon ; Mesbah, Ali ; Pattabiraman, KarthikACM transactions on software engineering and methodology, 2016-05, Vol.25 (2), p.1-38 [Periódico revisado por pares]ACMTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
JavaScript as an embedded DSLKossakowski, Grzegorz ; Amin, Nada ; Rompf, Tiark ; Odersky, Martin Noble, JamesECOOP 2012 – Object-Oriented Programming, 2012, p.409-434 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Gillian, part i: a multi-language platform for symbolic executionFragoso Santos, José ; Maksimović, Petar ; Ayoun, Sacha-Élie ; Gardner, PhilippaProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, p.927-942New York, NY, USA: ACMTexto completo disponível |
Resultados de 1 a 10 de 22 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Science (20)
- Javascript (19)
- Science & Technology (19)
- Technology (19)
- Computer Science, Software Engineering (17)
- Theory Of Computation -- Semantics And Reasoning (8)
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics (6)
- Programming Languages (6)
- Computer Science, Theory & Methods (5)
- Java (5)
- Applications Programs (4)
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning (3)
- Software And Its Engineering (3)
- Software Engineering (3)
- Engineering (3)
- Html (3)
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification (3)
- Web Applications (3)
- Runtime (3)
- Software And Its Engineering -- Software Notations And Tools -- General Programming Languages (3)
-
Mais opções
Data de Publicação
- Antes de2009 (5)
- 2009Até2012 (5)
- 2013Até2015 (5)
- 2016Até2019 (6)
- Após 2019 (2)
-
Mais opções
Base de Dados/Biblioteca
- ACM Digital Library Complete (22)
- Science Citation Index Expanded (Web of Science) (6)
- EBSCOhost Computers and Applied Sciences Complete (5)
- IEEE Electronic Library (IEL) Conference Proceedings (3)
- Springer Nature - Springer Computer Science eBooks 2012 English International (2)
- Lecture Notes in Computer Science Archive (through to 1996) (2)
- Gale Academic OneFile Select (2)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2)
- Springer Books (2)
- Business Source Complete (BSC) 商管财经类全文数据库(完整版) (2)
- SpringerLINK Lecture Notes in Computer Science (2015) (2)
- SpringerLINK Lecture Notes in Computer Science (2012) (2)
- ROAD: Directory of Open Access Scholarly Resources (1)
- EZB Electronic Journals Library (1)
-
Mais opções
Nome da Publicação
- Acm Computing Surveys (2)
- Symposium On Principles Of Programming Languages; Nice; France; 17-19 Jan. 2007 (1)
- Acm Transactions On Software Engineering And Methodology (1)
- Sigplan Notices (1)
- Proceedings Of Acm On Programming Languages (1)
- Acm Sigplan Notices (1)
- Proceedings Of The Acm On Programming Languages (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 