Concurrent Abstract Predicates

File(s)

Dinsdale-Young2010Concurrent.pdf (342.19 KB)

Submitted version

Show more

Author(s)

Dinsdale-Young, T

Dodds, M

Gardner, PA

Parkinson, M

Vafeiadis, V

Type

Conference Paper

Date Issued

2010

Citation

ECOOP 2010 - Object-Oriented Programming, 2010, 6183, pp.504-528

URI

http://hdl.handle.net/10044/1/33268

DOI

https://www.dx.doi.org/10.1007/978-3-642-14107-2_24

ISBN

978-3-642-14106-5

ISSN

0302-9743

Publisher

Springer

Start Page

504

End Page

528

Journal / Book Title

ECOOP 2010 - Object-Oriented Programming

Volume

6183

Source

24th European Conference on Object-Oriented Programming (ECOOP 2010)

Subjects

Science & Technology

Technology

Computer Science, Software Engineering

Computer Science, Theory & Methods

Computer Science

Separation logic

Artificial Intelligence & Image Processing

Information And Computing Sciences

Start Date

2010-06-21

Finish Date

2010-06-25

Coverage Spatial

Maribor, Slovenia