Resultados de 1 a 10 de 55 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:
Springer Nature - Springer Lecture Notes in Computer Science eBooks
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Application-Only call graph constructionAli, Karim ; Lhoták, Ondřej Noble, JamesECOOP 2012 – Object-Oriented Programming, 2012, p.688-712 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
Correlation tracking for points-to analysis of javascriptSridharan, Manu ; Dolby, Julian ; Chandra, Satish ; Schäfer, Max ; Tip, Frank Noble, JamesECOOP 2012 – Object-Oriented Programming, 2012, p.435-458 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Scalable flow-sensitive pointer analysis for java with strong updatesDe, Arnab ; D'Souza, Deepak Noble, JamesECOOP 2012 – Object-Oriented Programming, 2012, p.665-687 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Static detection of loop-invariant data structuresXu, Guoqing ; Yan, Dacong ; Rountev, Atanas Noble, JamesECOOP 2012 – Object-Oriented Programming, 2012, p.738-763 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Automated verification of higher-order functional programsTerauchi, Tachio Schrijvers, Tom ; Thiemann, PeterFunctional and Logic Programming, 2012, p.2-2 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Program development using abstract interpretation (and the ciao system preprocessor)Hermenegildo, Manuel V. ; Puebla, Germán ; Bueno, Francisco ; López-García, Pedro Cousot, RadhiaLecture notes in computer science, 2003, p.127-152 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Static analysis of accessed regions in recursive data structuresChong, Stephen ; Rugina, Radu Cousot, RadhiaLecture notes in computer science, 2003, p.463-482 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Normal form bisimulations for delimited-control operatorsBiernacki, Dariusz ; Lenglet, Sergueï Schrijvers, Tom ; Thiemann, PeterFunctional and Logic Programming, 2012, p.47-61 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Exact flow analysis by higher-order model checkingTobita, Yoshihiro ; Tsukada, Takeshi ; Kobayashi, Naoki Schrijvers, Tom ; Thiemann, PeterFunctional and Logic Programming, 2012, p.275-289 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
Contracts and specifications for functional logic programmingAntoy, Sergio ; Hanus, Michael Russo, Claudio ; Zhou, Neng-FaPractical Aspects of Declarative Languages, 2012, p.33-47 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
Resultados de 1 a 10 de 55 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
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (44)
- Livros (7)
- Book Chapters (4)
-
Mais opções
Assunto
- Computer Science (47)
- Science & Technology (41)
- Technology (41)
- Computer Science, Software Engineering (38)
- Computer Science, Theory & Methods (38)
- Theory Of Computation (35)
- Theory Of Computation -- Semantics And Reasoning (31)
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics (30)
- Software (24)
- Applied Sciences (24)
- Exact Sciences And Technology (24)
- Computer Science; Control Theory; Systems (24)
- Software Engineering (15)
- Logic (14)
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning (12)
- Science & Technology - Other Topics (12)
- Artificial Intelligence (11)
- Software And Its Engineering (10)
- Computer Science, Hardware & Architecture (10)
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification (9)
-
Mais opções
Data de Publicação
- Antes de1999 (3)
- 1999Até2001 (10)
- 2002Até2003 (13)
- 2004Até2015 (26)
- Após 2015 (5)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (55)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (54)
- SpringerLINK Lecture Notes in Computer Science (2015) (54)
- ACM Digital Library Complete (42)
- SpringerLink Books Lecture Notes in Computer Science Archive (27)
- Springer Books Online Archive (27)
- Science Citation Index Expanded (Web of Science) (21)
- SpringerLINK Lecture Notes in Computer Science (2012) (20)
- Springer Nature - Springer Computer Science eBooks 2012 English International (20)
- IngentaConnect Journals (6)
- SpringerLink Fully Open Access Books (4)
- DOAB: Directory of Open Access Books (3)
- Springer Nature - Springer Computer Science eBooks 2015 English International (3)
- SpringerLINK Lecture Notes in Computer Science (2014) (3)
- OAPEN (3)
- Springer Nature - Springer Computer Science eBooks 2016 English International (2)
- SpringerLINK Lecture Notes in Computer Science (2016) (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 