skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tabled evaluation with delaying for general logic programs
Material Type:
Artigo
Adicionar ao Meu Espaço

Tabled evaluation with delaying for general logic programs

CHEN, W ; WARREN, D. S

Journal of the ACM, 1996, Vol.43 (1), p.20-74 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

2
Model Checking Higher-Order Programs
Material Type:
Artigo
Adicionar ao Meu Espaço

Model Checking Higher-Order Programs

KOBAYASHI, Naoki

Journal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

3
Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers
Material Type:
Artigo
Adicionar ao Meu Espaço

Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers

Xu, Yi-Sen ; Jia, Xiang-Yang ; Wu, Fan ; Li, Lingbo ; Xuan, Ji-Feng

Journal of computer science and technology, 2020-11, Vol.35 (6), p.1278-1294 [Periódico revisado por pares]

Singapore: Springer Singapore

Texto completo disponível

4
Monadic datalog and the expressive power of languages for Web information extraction
Material Type:
Artigo
Adicionar ao Meu Espaço

Monadic datalog and the expressive power of languages for Web information extraction

Gottlob, Georg ; Koch, Christoph

Journal of the ACM, 2004-01, Vol.51 (1), p.74-113 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

5
INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING
Material Type:
Artigo
Adicionar ao Meu Espaço

INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING

GOGUEN, JA ; BURSTALL, RM

Journal of the ACM, 1992-01, Vol.39 (1), p.95-146 [Periódico revisado por pares]

NEW YORK: Assoc Computing Machinery

Texto completo disponível

6
Denotational Semantics with Nominal Scott Domains
Material Type:
Artigo
Adicionar ao Meu Espaço

Denotational Semantics with Nominal Scott Domains

LÖSCH, Steffen ; PITTS, Andrew M

Journal of the ACM, 2014-07, Vol.61 (4), p.1-46 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

7
Alpha-structural recursion and induction
Material Type:
Artigo
Adicionar ao Meu Espaço

Alpha-structural recursion and induction

PITTS, Andrew M

Journal of the ACM, 2006-05, Vol.53 (3), p.459-506 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

8
The benefits of relaxing punctuality
Material Type:
Artigo
Adicionar ao Meu Espaço

The benefits of relaxing punctuality

ALUR, R ; FEDER, T ; HENZINGER, T. A

Journal of the ACM, 1996, Vol.43 (1), p.116-146 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

9
Remote attribute grammars
Material Type:
Artigo
Adicionar ao Meu Espaço

Remote attribute grammars

BOYLAND, John Tang

Journal of the ACM, 2005-07, Vol.52 (4), p.627-687 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

10
Bisimulation can't be traced
Material Type:
Artigo
Adicionar ao Meu Espaço

Bisimulation can't be traced

BLOOM, B ; ISTRAIL, S ; MEYER, A. R

Journal of the ACM, 1995-01, Vol.42 (1), p.232-268 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

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 (93)

Refinar Meus Resultados

Tipo de Recurso 

  1. magazinearticle  (268)
  2. Artigos  (188)
  3. Resenhas  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1991  (57)
  2. 1991Até1998  (233)
  3. 1999Até2006  (60)
  4. 2007Até2015  (65)
  5. Após 2015  (45)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.