skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: data de publicação: Antes de2001 remover Base de dados/Biblioteca: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A General Framework for Automatic Termination Analysis of Logic Programs
A General Framework for Automatic Termination Analysis of Logic Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A General Framework for Automatic Termination Analysis of Logic Programs

Dershowitz, Nachum ; Lindenstrauss, Naomi ; Sagiv, Yehoshua ; Serebrenik, Alexander

2000-12

Texto completo disponível

Citações Citado por
2
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic Termination Analysis of Programs Containing Arithmetic Predicates

Dershowitz, Nachum ; Lindenstrauss, Naomi ; Sagiv, Yehoshua ; Serebrenik, Alexander

2000-11

Texto completo disponível

Citações Citado por
3
Termination analysis of logic programs using acceptability with general term orders
Termination analysis of logic programs using acceptability with general term orders
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination analysis of logic programs using acceptability with general term orders

Serebrenik, Alexander ; De Schreye, Danny

2000-11

Texto completo disponível

Citações Citado por
4
Towards rule-based visual programming of generic visual systems
Towards rule-based visual programming of generic visual systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards rule-based visual programming of generic visual systems

Hoffmann, Berthold ; Minas, Mark

2000-10

Texto completo disponível

Citações Citado por
5
An Approach to the Implementation of Overlapping Rules in Standard ML
An Approach to the Implementation of Overlapping Rules in Standard ML
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Approach to the Implementation of Overlapping Rules in Standard ML

Pucella, Riccardo

2000-10

Texto completo disponível

Citações Citado por
6
The Concurrent Language Aldwych
The Concurrent Language Aldwych
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Concurrent Language Aldwych

Huntbach, Matthew

2000-09

Texto completo disponível

Citações Citado por
7
Type Classes and Constraint Handling Rules
Type Classes and Constraint Handling Rules
Material Type:
Artigo 		Adicionar ao Meu Espaço

Type Classes and Constraint Handling Rules

Glynn, Kevin ; Sulzmann, Martin ; Stuckey, Peter J

2000-06

Texto completo disponível

Citações Citado por
8
Multimethods and separate static typechecking in a language with C++-like object model
Multimethods and separate static typechecking in a language with C++-like object model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multimethods and separate static typechecking in a language with C++-like object model

Panizzi, Emanuele ; Pastorelli, Bernardo

2000-05

Texto completo disponível

Citações Citado por
9
C++ programming language for an abstract massively parallel SIMD architecture
C++ programming language for an abstract massively parallel SIMD architecture
Material Type:
Artigo 		Adicionar ao Meu Espaço

C++ programming language for an abstract massively parallel SIMD architecture

Lonardo, Alessandro ; Panizzi, Emanuele ; Proietti, Benedetto

2000-05

Texto completo disponível

Citações Citado por
10
Application Software, Domain-Specific Languages, and Language Design Assistants
Application Software, Domain-Specific Languages, and Language Design Assistants
Material Type:
Artigo 		Adicionar ao Meu Espaço

Application Software, Domain-Specific Languages, and Language Design Assistants

Heering, Jan

2000-05

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.