ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540405313, 9783540450702

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MX: Mobile Object Exchange for Collaborative Applications

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_7 ◽

2003 ◽

pp. 126-150 ◽

Cited By ~ 1

Author(s):

Liuba Shrira ◽

Hong Tian

Keyword(s):

Mobile Object ◽

Collaborative Applications

Download Full-text

Regular Object Types

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_8 ◽

2003 ◽

pp. 151-175 ◽

Cited By ~ 21

Author(s):

Vladimir Gapeyev ◽

Benjamin C. Pierce

Keyword(s):

Regular Object

Download Full-text

A Nominal Theory of Objects with Dependent Types

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_10 ◽

2003 ◽

pp. 201-224 ◽

Cited By ~ 50

Author(s):

Martin Odersky ◽

Vincent Cremet ◽

Christine Röckl ◽

Matthias Zenger

Keyword(s):

Dependent Types

Download Full-text

A Refinement Algebra for Object-Oriented Programming

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_20 ◽

2003 ◽

pp. 457-482 ◽

Cited By ~ 13

Author(s):

Paulo Borba ◽

Augusto Sampaio ◽

Márcio Cornélio

Keyword(s):

Object Oriented ◽

Object Oriented Programming

Download Full-text

Walkabout Revisited: The Runabout

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_6 ◽

2003 ◽

pp. 103-125 ◽

Cited By ~ 8

Author(s):

Christian Grothoff

Download Full-text

Built-in Object Security

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_1 ◽

2003 ◽

pp. 1-1

Author(s):

Martín Abadi

Download Full-text

Java Subtype Tests in Real-Time

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_17 ◽

2003 ◽

pp. 378-404 ◽

Cited By ~ 13

Author(s):

Krzysztof Palacz ◽

Jan Vitek

Keyword(s):

Real Time

Download Full-text

Growing XQuery

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_18 ◽

2003 ◽

pp. 405-430 ◽

Cited By ~ 2

Author(s):

Mary Fernández ◽

Jérôme Siméon

Download Full-text

A Calculus of Untyped Aspect-Oriented Programs

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_4 ◽

2003 ◽

pp. 54-73 ◽

Cited By ~ 17

Author(s):

Radha Jagadeesan ◽

Alan Jeffrey ◽

James Riely

Download Full-text

Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45070-2_21 ◽

2003 ◽

pp. 483-500 ◽

Cited By ~ 12

Author(s):

Reidar Conradi ◽

Parastoo Mohagheghi ◽

Tayyaba Arif ◽

Lars Christian Hegde ◽

Geir Arne Bunde ◽

...

Keyword(s):

Object Oriented ◽

Industrial Experiment ◽

Uml Models

Download Full-text

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

MX: Mobile Object Exchange for Collaborative Applications

Regular Object Types

A Nominal Theory of Objects with Dependent Types

A Refinement Algebra for Object-Oriented Programming

Walkabout Revisited: The Runabout

Built-in Object Security

Java Subtype Tests in Real-Time

Growing XQuery

A Calculus of Untyped Aspect-Oriented Programs

Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment

ECOOP 2003 – Object-Oriented Programming - Lecture Notes in Computer Science
Latest Publications