Higher-Order UTP in Theories of Object-Orientation

Frank Zeyda; Ana Lucia Caneca Cavalcanti

doi:10.1007/978-3-642-35705-3_10

Higher-Order UTP in Theories of Object-Orientation

Frank Zeyda, Ana Lucia Caneca Cavalcanti

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	4th International Symposium on Unifying Theories of Programming
Publisher	Springer
Pages	204-223
Volume	7681
DOIs	https://doi.org/10.1007/978-3-642-35705-3_10
Publication status	Published - 2013
Event	4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 - Paris, France Duration: 27 Aug 2012 → 28 Aug 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7681

Conference

Conference	4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012
Country/Territory	France
City	Paris
Period	27/08/12 → 28/08/12

Access to Document

10.1007/978-3-642-35705-3_10

http://link.springer.com/chapter/10.1007%2F978-3-642-35705-3_10

hiJaC: HIJAC: High-Integrity Java applications using circus
Cavalcanti, A. L. C., Wellings, A. J. & Woodcock, J.
EPSRC
22/06/10 → 30/10/15
Project: Research project (funded) › Research

Cite this

@inproceedings{41e6782830ab4e2f8f5804bf736b0fd0,

title = "Higher-Order UTP in Theories of Object-Orientation",

author = "Frank Zeyda and Cavalcanti, {Ana Lucia Caneca}",

year = "2013",

doi = "10.1007/978-3-642-35705-3_10",

language = "English",

volume = "7681",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "204--223",

booktitle = "4th International Symposium on Unifying Theories of Programming",

address = "Germany",

note = "4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 ; Conference date: 27-08-2012 Through 28-08-2012",

}

Zeyda, F & Cavalcanti, ALC 2013, Higher-Order UTP in Theories of Object-Orientation. in 4th International Symposium on Unifying Theories of Programming. vol. 7681, Lecture Notes in Computer Science, vol. 7681, Springer, pp. 204-223, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Paris, France, 27/08/12. https://doi.org/10.1007/978-3-642-35705-3_10

TY - GEN

T1 - Higher-Order UTP in Theories of Object-Orientation

AU - Zeyda, Frank

AU - Cavalcanti, Ana Lucia Caneca

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-35705-3_10

DO - 10.1007/978-3-642-35705-3_10

M3 - Conference contribution

VL - 7681

T3 - Lecture Notes in Computer Science

SP - 204

EP - 223

BT - 4th International Symposium on Unifying Theories of Programming

PB - Springer

T2 - 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012

Y2 - 27 August 2012 through 28 August 2012

ER -

Higher-Order UTP in Theories of Object-Orientation

Publication series

Conference

Access to Document

Projects

hiJaC: HIJAC: High-Integrity Java applications using circus

Cite this