Sciweavers

3583 search results - page 1 / 717
» A Type System for the Relational Calculus of Object Systems
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
14 years 4 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
LICS
1994
IEEE
14 years 3 months ago
A Semantics of Object Types
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
Martín Abadi, Luca Cardelli
TCS
2008
13 years 10 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
ADC
2008
Springer
146views Database» more  ADC 2008»
14 years 5 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
MSCS
2006
87views more  MSCS 2006»
13 years 10 months ago
Addressed term rewriting systems: application to a typed object calculus
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...