skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: ACM Digital Library remover Nome da Publicação: Acm Transactions On Programming Languages And Systems remover assunto: Technology remover Exact Sciences And Technology remover Applied Sciences remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Termination of probabilistic concurrent programs
Termination of probabilistic concurrent programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of probabilistic concurrent programs

Hart, S. ; Sharir, M. ; Pnueli, A.

ACM Trans. Program. Lang. Syst.; (United States), 1983-01, Vol.5 (3), p.356-380 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
Eliminating redundant recursive calls
Eliminating redundant recursive calls
Material Type:
Artigo 		Adicionar ao Meu Espaço

Eliminating redundant recursive calls

COHEN, N. H

ACM transactions on programming languages and systems, 1983-07, Vol.5 (3), p.265-299 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
3
Guardians and actions: linguistic support for robust, distributed, programs
Guardians and actions: linguistic support for robust, distributed, programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Guardians and actions: linguistic support for robust, distributed, programs

LISKOV, B ; SCHEIFLER, R

ACM transactions on programming languages and systems, 1983-07, Vol.5 (3), p.381-404 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
Incremental context-dependent analysis for language-based editors
Incremental context-dependent analysis for language-based editors
Material Type:
Artigo 		Adicionar ao Meu Espaço

Incremental context-dependent analysis for language-based editors

REPS, T ; TITELBAUM, T ; DEMERS, A

ACM transactions on programming languages and systems, 1983-07, Vol.5 (3), p.449-477 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
Parallel generation of postfix and tree forms
Parallel generation of postfix and tree forms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parallel generation of postfix and tree forms

DEKEL, E ; SAHNI, S

ACM Trans. Program. Lang. Syst.; (United States), 1983-07, Vol.5 (3), p.300-317 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
Parameterized specifications: parameter passing and implementation with respect to observability
Parameterized specifications: parameter passing and implementation with respect to observability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized specifications: parameter passing and implementation with respect to observability

GANZINGER, H

ACM transactions on programming languages and systems, 1983-07, Vol.5 (3), p.318-354 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
A formal framework for the derivation of machine-specific optimizers
A formal framework for the derivation of machine-specific optimizers
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formal framework for the derivation of machine-specific optimizers

GIEGERICH, R

ACM transactions on programming languages and systems, 1983-07, Vol.5 (3), p.478-498 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
VLSI layout as programming
VLSI layout as programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

VLSI layout as programming

LIPTON, R. J ; VALDES, J ; VIJAYAN, G ; NORTH, S. C ; SEDGEWICK, R

ACM transactions on programming languages and systems, 1983-07, Vol.5 (3), p.405-421 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Assessing test data adequacy through program inference
Assessing test data adequacy through program inference
Material Type:
Artigo 		Adicionar ao Meu Espaço

Assessing test data adequacy through program inference

WEYUKER, E. J

ACM transactions on programming languages and systems, 1983-10, Vol.5 (4), p.641-655 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
A syntax-error-handling technique and its experimental analysis
A syntax-error-handling technique and its experimental analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

A syntax-error-handling technique and its experimental analysis

SIPPU, S ; SOISALON-SOININEN, E.-S

ACM transactions on programming languages and systems, 1983-10, Vol.5 (4), p.656-679 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

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.   

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

Buscando em bases de dados remotas. Favor aguardar.