SIGN IN
SIGN UP
Typed interpretations of extensible objects
Full Text:
Pdf
Buy this Article
Authors:
Viviana Bono
Università di Torino, Torino, Italy
Michele Bugliesi
Università "Ca' Foscari" di Venezia, Torino, Mestre (VE), Italy
Silvia Crafa
Università "Ca' Foscari" di Venezia, Torino, Mestre (VE), Italy
Published in:
· Journal
ACM Transactions on Computational Logic (TOCL)
TOCL Homepage
archive
Volume 3 Issue 4, October 2002
Pages 562 - 603
ACM
New York, NY
, USA
table of contents
doi>
10.1145/566385.566389
2002 Article
Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 11
· Downloads (cumulative): 296
· Citation Count: 0
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
computational adequacy
extensible object
logics of programs
object calculus
object-oriented constructs
semantics
subtyping
theory
type specialization
type structure
type system
typed encoding
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder