ICCL 1994 | Sciweavers

21

ICCL
1994
IEEE

124views Programming Languages» more ICCL 1994»

Semantics for a Real-Time Object-Oriented Programming Language

13 years 10 months ago

This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...

Ichiro Satoh, Mario Tokoro

claim paper

Read More »

27

click to vote

ICCL
1994
IEEE

140views Programming Languages» more ICCL 1994»

A Compositional Approach to Concurrent Object-Oriented Programming

13 years 11 months ago

Download www.cs.ucdavis.edu

This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...

Raju Pandey, James C. Browne

claim paper

Read More »

20

click to vote

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

13 years 11 months ago

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper