skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EBSCOhost Computers and Applied Sciences Complete remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Full Abstraction for Probabilistic PCF
Full Abstraction for Probabilistic PCF
Material Type:
Artigo 		Adicionar ao Meu Espaço

Full Abstraction for Probabilistic PCF

Ehrhard, Thomas ; Pagani, Michele ; Tasson, Christine

Journal of the ACM, 2018-08, Vol.65 (4), p.1-44 [Periódico revisado por pares]

New York: ACM

Texto completo disponível

Citações Citado por
2
Reversible Garbage Collection for Reversible Functional Languages
Reversible Garbage Collection for Reversible Functional Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reversible Garbage Collection for Reversible Functional Languages

Mogensen, Torben Ægidius

New generation computing, 2018-07, Vol.36 (3), p.203-232 [Periódico revisado por pares]

Tokyo: Ohmsha

Texto completo disponível

Citações Citado por
3
Let's not Make a Fuzz about it
Let's not Make a Fuzz about it
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Let's not Make a Fuzz about it

Lobo-Vesga, Elisabet

2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, p.114-116

IEEE

Texto completo disponível

Citações Citado por
4
A needed narrowing strategy
A needed narrowing strategy
Material Type:
Artigo 		Adicionar ao Meu Espaço

A needed narrowing strategy

Antoy, Sergio ; Echahed, Rachid ; Hanus, Michael

Journal of the ACM, 2000-07, Vol.47 (4), p.776-822 [Periódico revisado por pares]

New York: ACM

Texto completo disponível

Citações Citado por
5
Testing an optimising compiler by generating random lambda terms
Testing an optimising compiler by generating random lambda terms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Testing an optimising compiler by generating random lambda terms

Pałka, Michał ; Claessen, Koen ; Russo, Alejandro ; Hughes, John

Proceedings of the 6th International Workshop on automation of software test, 2011, p.91-97

ACM

Texto completo disponível

Citações Citado por
6
Functional programming languages for verification tools: a comparison of Standard ML and Haskell
Functional programming languages for verification tools: a comparison of Standard ML and Haskell
Material Type:
Artigo 		Adicionar ao Meu Espaço

Functional programming languages for verification tools: a comparison of Standard ML and Haskell

LEUCKER, Martin ; NOLL, Thomas ; STEVENS, Perdita ; WEBER, Michael

International journal on software tools for technology transfer, 2005-04, Vol.7 (2), p.184-194 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
7
A framework for call graph construction algorithms
A framework for call graph construction algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

A framework for call graph construction algorithms

Grove, David ; Chambers, Craig

ACM transactions on programming languages and systems, 2001-11, Vol.23 (6), p.685-746 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
8
Deciding inclusion of set constants over infinite non-strict data structures
Deciding inclusion of set constants over infinite non-strict data structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding inclusion of set constants over infinite non-strict data structures

Schmidt-Schauss, Manfred ; Sabel, David ; Schütz, Marko

RAIRO. Informatique théorique et applications, 2007-04, Vol.41 (2), p.225-241 [Periódico revisado por pares]

Paris: EDP Sciences

Texto completo disponível

Citações Citado por
9
Foundations for partial evaluation of functional programs with computational effects
Foundations for partial evaluation of functional programs with computational effects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Foundations for partial evaluation of functional programs with computational effects

Hatcliff, John

ACM computing surveys, 1998-09, Vol.30 (3es), p.13-es [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
10
Using temporal relations to specify and test an instant messaging server
Using temporal relations to specify and test an instant messaging server
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using temporal relations to specify and test an instant messaging server

Hughes, John ; Norell, Ulf ; Sautret, Jérôme

Proceedings - International Conference on Software Engineering, 2010, p.95-102

ACM

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (243)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (245)
  2. Anais de Congresso  (58)
  3. magazinearticle  (10)
  4. Livros  (3)
  5. Resenhas  (2)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1987  (27)
  2. 1987Até1995  (46)
  3. 1996Até2004  (51)
  4. 2005Até2014  (112)
  5. Após 2014  (85)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.