Sciweavers

19 search results - page 2 / 4

» oopsla 2000

14

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

13 years 10 months ago

Formal specification of CORBA services: experience and lessons learned

Download www.cin.ufpe.br

Rémi Bastide, Philippe A. Palanque, Ousmane...

claim paper

Read More »

12

OOPSLA
2000
Springer

76views Security Privacy» more OOPSLA 2000»

MultiJava: modular open classes and symmetric multiple dispatch for Java

13 years 10 months ago

MultiJava: modular open classes and symmetric multiple dispatch for Java

Download www.rose-hulman.edu

Curtis Clifton, Gary T. Leavens, Craig Chambers, T...

claim paper

Read More »

11

OOPSLA
2000
Springer

80views Security Privacy» more OOPSLA 2000»

Object-oriented real-time concurrency

13 years 10 months ago

Object-oriented real-time concurrency

Download www.student.cs.uwaterloo.ca

Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jio...

claim paper

Read More »

20

OOPSLA
2000
Springer

85views Security Privacy» more OOPSLA 2000»

Practical virtual method call resolution for Java

13 years 10 months ago

Practical virtual method call resolution for Java

Download www.cs.tau.ac.il

Vijay Sundaresan, Laurie J. Hendren, Chrislain Raz...

claim paper

Read More »

13

OOPSLA
2007
Springer

157views Security Privacy» more OOPSLA 2007»

Elephant 2000: a programming language based on speech acts

14 years 13 days ago

Elephant 2000: a programming language based on speech acts

Download www-formal.stanford.edu

: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...

John McCarthy

claim paper

Read More »

« Prev « First page 2 / 4 Last » Next »