skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Refinado por: nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abstracting s-semantics using a model-theoretic approach
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Abstracting s-semantics using a model-theoretic approach

Boulanger, Dmitri ; Bruynooghe, Maurice ; Denecker, Marc

Springer 1994

Texto completo disponível

2
A portable implementation of memoing evaluation
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A portable implementation of memoing evaluation

Wunderwald, Jens E.

Programming Languages: Implementations, Logics and Programs, 1995, p.465-466 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
Efficient multi-level generating extensions for program specialization
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Efficient multi-level generating extensions for program specialization

Glück, Robert ; Jørgensen, Jesper

Programming Languages: Implementations, Logics and Programs, 1995, p.259-278 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
Exploiting parallelism in tabled evaluations
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Exploiting parallelism in tabled evaluations

Freire, Juliana ; Hu, Rui ; Swift, Terrance ; Warren, David S.

Programming Languages: Implementations, Logics and Programs, 1995, p.115-132 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
A verified implementation of narrowing
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A verified implementation of narrowing

Faßbender, Heinz

Programming Languages: Implementations, Logics and Programs, 1995, p.63-80 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
Towards a taxonomy of functional language implementations
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Towards a taxonomy of functional language implementations

Douence, Rémi ; Fradet, Pascal

Programming Languages: Implementations, Logics and Programs, 1995, p.27-44 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Attributed models of executable specifications
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Attributed models of executable specifications

Meriste, Merik ; Penjam, Jaan

Programming Languages: Implementations, Logics and Programs, 1995, p.459-460 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Efficient compile-time garbage collection for arbitrary data structures
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Efficient compile-time garbage collection for arbitrary data structures

Mohneu, Markus

Programming Languages: Implementations, Logics and Programs, 1995, p.241-258 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Goal-directed query processing in disjunctive logic databases
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Goal-directed query processing in disjunctive logic databases

Shimajiri, Yuka ; Seki, Hirohisa ; Itoh, Hidenori

Programming Languages: Implementations, Logics and Programs, 1995, p.415-430 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
Design and implementation of jump tables for fast indexing of logic programs
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Design and implementation of jump tables for fast indexing of logic programs

Dawson, Steven ; Ramakrishnan, C. R. ; Ramakrishnan, I. V.

Programming Languages: Implementations, Logics and Programs, 1995, p.133-150 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (81)
  2. Artigos  (32)
  3. Anais de Congresso  (10)
  4. Livros  (7)
  5. Conjunto de Dados  (5)
  6. Reports  (1)
  7. Dissertações  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2002  (36)
  2. 2002Até2007  (43)
  3. 2008Até2012  (15)
  4. 2013Até2017  (11)
  5. Após 2017  (38)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (133)
  2. Japonês  (3)
  3. Coreano  (3)
  4. Francês  (1)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.