Sciweavers

19 search results - page 2 / 4

» oopsla 2000

95

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

15 years 6 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 »

67

OOPSLA
2000
Springer

76views Security Privacy» more OOPSLA 2000»

MultiJava: modular open classes and symmetric multiple dispatch for Java

15 years 6 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 »

72

OOPSLA
2000
Springer

80views Security Privacy» more OOPSLA 2000»

Object-oriented real-time concurrency

15 years 6 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 »

94

OOPSLA
2000
Springer

85views Security Privacy» more OOPSLA 2000»

Practical virtual method call resolution for Java

15 years 6 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 »

122

OOPSLA
2007
Springer

157views Security Privacy» more OOPSLA 2007»

Elephant 2000: a programming language based on speech acts

15 years 9 months 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 »