Resultados de 1 a 10 de 120 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
- Recursos Online (100)
- Revistas revisadas por pares (31)
Refinado por:
autor:
Tanter, Éric
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Transactions on Aspect-Oriented Software Development XIIChiba, Shigeru ; Tanter, Eric ; Ernst, Erik ; Hirschfeld, Robert Hirschfeld, Robert ; Tanter, 'ric ; Chiba, Shigeru ; Ernst, ErikBerlin, Heidelberg: Springer Nature 2015Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Transactions on Aspect-Oriented Software Development XLeavens, Gary T ; Chiba, Shigeru ; Tanter, Éric Chiba, Shigeru ; Leavens, Gary T ; Tanter, 'ricNetherlands: Springer Nature 2013Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Transactions on Aspect-Oriented Software Development XIChiba, Shigeru ; Tanter, Éric ; Bodden, Eric ; Maoz, Shahar ; Kienzle, Jörg Tanter, 'ric ; Bodden, Eric ; Maoz, Shahar ; Chiba, ShigeruNetherlands: Springer Nature 2014Texto completo disponível |
| 4 |
Material Type: Artigo
|
|
Aspectizing Java Access ControlToledo, R. ; Nunez, A. ; Tanter, E. ; Noye, J.IEEE transactions on software engineering, 2012-01, Vol.38 (1), p.101-117 [Periódico revisado por pares]New York: IEEETexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Ambient contracts: verifying and enforcing ambient object compositions à la carteScholliers, Christophe ; Harnie, Dries ; Tanter, Éric ; De Meuter, Wolfgang ; D’Hondt, TheoPersonal and ubiquitous computing, 2011-04, Vol.15 (4), p.341-351 [Periódico revisado por pares]London: Springer-VerlagTexto completo disponível |
| 6 |
Material Type: Livro
|
|
Transactions on Aspect-Oriented Software Development XIIErnst, Erik ; Tanter, Éric ; Chiba, Shigeru ; Hirschfeld, RobertBerlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Livro
|
|
Transactions on Aspect-Oriented Software Development XChiba, Shigeru ; Tanter, Éric ; Leavens, Gary T.Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Access Control in JavaScriptToledo, R. ; Tanter, E.IEEE software, 2011-09, Vol.28 (5), p.76-84 [Periódico revisado por pares]Los Alamitos, CA: IEEETexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Gradualizing the Calculus of Inductive ConstructionsLennon-Bertrand, Meven ; Maillard, Kenji ; Tabareau, Nicolas ; Tanter, ÉricarXiv.org, 2021-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
An Extended Account of Trace-relating Compiler Correctness and Secure CompilationAbate, Carmine ; Blanco, Roberto ; Ciobâcă, Ştefan ; Durier, Adrien ; Garg, Deepak ; Hriţcu, Cătălin ; Patrignani, Marco ; Tanter, Éric ; Thibault, JérémyACM transactions on programming languages and systems, 2021-12, Vol.43 (4), p.1-48 [Periódico revisado por pares]Texto completo disponível |
Resultados de 1 a 10 de 120 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
- Recursos Online (100)
- Revistas revisadas por pares (31)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (53)
- Artigos (53)
- Book Chapters (6)
- Livros (5)
- Reports (2)
- magazinearticle (1)
-
Mais opções
Assunto
- Computer Science (69)
- Programming Languages (67)
- Science & Technology (42)
- Technology (42)
- Computer Science, Software Engineering (38)
- Aspect-Oriented Programming (30)
- Software Engineering (26)
- Computer Science - Programming Languages (19)
- Software (12)
- Gradual Typing (9)
- Programming (8)
- Semantics (7)
- Computer Science, Theory & Methods (7)
- Compilers (7)
- Polymorphism (6)
- Computer Programming (6)
- Computer Programming / Software Development (6)
- Execution Levels (6)
- Monads (6)
- Java (6)
-
Mais opções
Data de Publicação
- Antes de2006 (7)
- 2006Até2009 (20)
- 2010Até2013 (35)
- 2014Até2019 (41)
- Após 2019 (17)
-
Mais opções
Base de Dados/Biblioteca
- ACM Digital Library Complete (57)
- Science Citation Index Expanded (Web of Science) (28)
- ROAD: Directory of Open Access Scholarly Resources (26)
- Free E- Journals (19)
- arXiv.org (19)
- EBSCOhost Computers and Applied Sciences Complete (13)
- SpringerLINK Lecture Notes in Computer Science (2015) (12)
- EZB Electronic Journals Library (12)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (11)
- Springer Books (11)
- SpringerLINK Lecture Notes in Computer Science (2014) (9)
- Springer Nature - Springer Computer Science eBooks 2015 English International (8)
- ScienceDirect® (6)
- Lecture Notes in Computer Science Archive (through to 1996) (6)
- Academic OneFile (6)
- EBSCOhost Business Source Complete (6)
- SpringerNature Journals (5)
- Springer Nature - Springer Journals All 2022 (5)
- ANTE: Abstracts in New Technology & Engineering (4)
- IEEE Electronic Library (IEL) Journals (3)
-
Mais opções
Idioma
- Japonês (3)
- Francês (1)
-
Mais opções
Nome da Publicação
- arXiv.org (19)
- Arxiv (8)
- Proceedings Of Acm On Programming Languages (7)
- Acm Transactions On Programming Languages And Systems (4)
- Sigplan Notices (4)
- Acm Sigplan Notices (4)
- Science Of Computer Programming (4)
- Empirical Software Engineering : An International Journal (3)
- Ieee Software (2)
- Computer Languages, Systems & Structures (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 