TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2011
|
| _version_ | 1797092727589961728 |
|---|---|
| author | Grigore, R Petersen, R Distefano, D |
| author_facet | Grigore, R Petersen, R Distefano, D |
| author_sort | Grigore, R |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T03:50:08Z |
| format | Conference item |
| id | oxford-uuid:c0f24d07-4e86-4ea2-beb2-5c89bde5d6c2 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T03:50:08Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:c0f24d07-4e86-4ea2-beb2-5c89bde5d6c22022-03-27T05:58:08ZTOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented ProgramsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:c0f24d07-4e86-4ea2-beb2-5c89bde5d6c2Department of Computer Science2011Grigore, RPetersen, RDistefano, D |
| spellingShingle | Grigore, R Petersen, R Distefano, D TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs |
| title | TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs |
| title_full | TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs |
| title_fullStr | TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs |
| title_full_unstemmed | TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs |
| title_short | TOPL: A Language for Specifying Safety Temporal Properties of Object−Oriented Programs |
| title_sort | topl a language for specifying safety temporal properties of object oriented programs |
| work_keys_str_mv | AT grigorer toplalanguageforspecifyingsafetytemporalpropertiesofobjectorientedprograms AT petersenr toplalanguageforspecifyingsafetytemporalpropertiesofobjectorientedprograms AT distefanod toplalanguageforspecifyingsafetytemporalpropertiesofobjectorientedprograms |