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
Results 1 2 3 4 5 next page
Show only
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Bisimulation can't be traced
Material Type:
Article
Add to e-Shelf

Bisimulation can't be traced

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

Journal of the ACM, 1995-01, Vol.42 (1), p.232-268 [Peer Reviewed Journal]

New York, NY: Association for Computing Machinery

Full text available

2
Parametricity and local variables
Material Type:
Article
Add to e-Shelf

Parametricity and local variables

O'HEARN, P. W ; TENNENT, R. D

Journal of the ACM, 1995-05, Vol.42 (3), p.658-709 [Peer Reviewed Journal]

New York, NY: Association for Computing Machinery

Full text available

3
A comprehensive study of the complexity of multiparty interaction
Material Type:
Article
Add to e-Shelf

A comprehensive study of the complexity of multiparty interaction

JOUNG, Y.-J ; SMOLKA, S. A

Journal of the ACM, 1996, Vol.43 (1), p.75-115 [Peer Reviewed Journal]

New York, NY: Association for Computing Machinery

Full text available

4
Fully persistent lists with catenation
Material Type:
Article
Add to e-Shelf

Fully persistent lists with catenation

DRISCOLL, J. R ; SLEATOR, D. D. K ; TARJAN, R. E

Journal of the ACM, 1994-09, Vol.41 (5), p.943-959 [Peer Reviewed Journal]

New York, NY: Association for Computing Machinery

Full text available

5
WINDOWS GETS DOWN TO BASICS
Material Type:
Article
Add to e-Shelf

WINDOWS GETS DOWN TO BASICS

THE, L

Datamation, 1992-11, Vol.38 (23), p.59

HIGHLANDS RANCH: CAHNERS-DENVER PUBLISHING CO

Full text available

6
The isomorphism conjecture fails relative to a random oracle
Material Type:
Article
Add to e-Shelf

The isomorphism conjecture fails relative to a random oracle

KURTZ, S. A ; MAHANEY, S. R ; ROYER, J. S

Journal of the ACM, 1995-03, Vol.42 (2), p.401-420 [Peer Reviewed Journal]

New York, NY: Association for Computing Machinery

Full text available

7
ADA 9X - A TECHNICAL SUMMARY
Material Type:
magazinearticle
Add to e-Shelf

ADA 9X - A TECHNICAL SUMMARY

TAFT, ST

Communications of the ACM, 1992-11, Vol.35 (11), p.77-82

NEW YORK: Assoc Computing Machinery

Full text available

8
WHAT ORIENTATION SHOULD ADA OBJECTS TAKE
Material Type:
magazinearticle
Add to e-Shelf

WHAT ORIENTATION SHOULD ADA OBJECTS TAKE

ROSEN, JP

Communications of the ACM, 1992-11, Vol.35 (11), p.71-76

NEW YORK: Assoc Computing Machinery

Full text available

9
From Fortran and Algol to object-oriented languages
Material Type:
magazinearticle
Add to e-Shelf

From Fortran and Algol to object-oriented languages

Wilkes, Maurice V.

Communications of the ACM, 1993-07, Vol.36 (7), p.21-23

New York: Association for Computing Machinery, Inc

Full text available

10
COORDINATION LANGUAGES AND THEIR SIGNIFICANCE
Material Type:
magazinearticle
Add to e-Shelf

COORDINATION LANGUAGES AND THEIR SIGNIFICANCE

GELERNTER, D ; CARRIERO, N

Communications of the ACM, 1992-02, Vol.35 (2), p.96-107

NEW YORK: Assoc Computing Machinery

Full text available

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (8)

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far