Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Guava
HTML
Details
Locations
Year:
2000
Type:
conference-paper
Source:
Conference on Object-Oriented Programming Systems, Languages, and Applications
DOI:
10.1145/353171.353197
Authors:
David F. Bacon,
Robert E. Strom,
Ashis Tarafdar
Institutions:
IBM (United States),
IBM Research - Thomas J. Watson Research Center,
The University of Texas at Austin
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W2046317364
FWCI:
7.122
Cites:
28
Cited by:
138
Related to:
10