Formal Techniques for Java-Like Programs (FTfJP)

Alessandro Coglio; Marieke Huisman; Joseph Kiniry; Peter Müller; Erik Poll

doi:10.1007/978-3-540-30554-5_8

Formal Techniques for Java-Like Programs (FTfJP)

Alessandro Coglio
, Marieke Huisman
, Joseph Kiniry
, Peter Müller
, Erik Poll

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

Abstract

This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarises the presentations and discussions.

Original language	English
Title of host publication	Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports
Editors	Jacques Malenfant, Bjarte M. Østvold
Publisher	Springer
Pages	76-83
Number of pages	8
ISBN (Electronic)	978-3-540-30554-5
ISBN (Print)	978-3-540-23988-8
DOIs	https://doi.org/10.1007/978-3-540-30554-5_8
Publication status	Published - 2004
Externally published	Yes
Event	18th European Conference on Object-Oriented Programming, ECOOP 2004 - Oslo, Norway Duration: 14 Jun 2004 → 18 Jun 2004 Conference number: 18

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	3344

Conference

Conference	18th European Conference on Object-Oriented Programming, ECOOP 2004
Abbreviated title	ECOOP 2004
Country/Territory	Norway
City	Oslo
Period	14/06/04 → 18/06/04

Access to Document

10.1007/978-3-540-30554-5_8

Cite this

Coglio, A., Huisman, M., Kiniry, J., Müller, P., & Poll, E. (2004). Formal Techniques for Java-Like Programs (FTfJP). In J. Malenfant, & B. M. Østvold (Eds.), Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports (pp. 76-83). (Lecture Notes in Computer Science; Vol. 3344). Springer. https://doi.org/10.1007/978-3-540-30554-5_8

@inproceedings{4f80a5cb0b784e4a8e4ac5e03d263964,

title = "Formal Techniques for Java-Like Programs (FTfJP)",

abstract = "This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarises the presentations and discussions.",

author = "Alessandro Coglio and Marieke Huisman and Joseph Kiniry and Peter M{\"u}ller and Erik Poll",

year = "2004",

doi = "10.1007/978-3-540-30554-5\_8",

language = "English",

isbn = "978-3-540-23988-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "76--83",

editor = "Jacques Malenfant and {\O}stvold, \{Bjarte M.\}",

booktitle = "Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports",

address = "Germany",

note = "18th European Conference on Object-Oriented Programming, ECOOP 2004, ECOOP 2004 ; Conference date: 14-06-2004 Through 18-06-2004",

}

Coglio, A, Huisman, M, Kiniry, J, Müller, P & Poll, E 2004, Formal Techniques for Java-Like Programs (FTfJP). in J Malenfant & BM Østvold (eds), Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports. Lecture Notes in Computer Science, vol. 3344, Springer, pp. 76-83, 18th European Conference on Object-Oriented Programming, ECOOP 2004, Oslo, Norway, 14/06/04. https://doi.org/10.1007/978-3-540-30554-5_8

Formal Techniques for Java-Like Programs (FTfJP). / Coglio, Alessandro; Huisman, Marieke; Kiniry, Joseph et al.
Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports. ed. / Jacques Malenfant; Bjarte M. Østvold. Springer, 2004. p. 76-83 (Lecture Notes in Computer Science; Vol. 3344).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formal Techniques for Java-Like Programs (FTfJP)

AU - Coglio, Alessandro

AU - Huisman, Marieke

AU - Kiniry, Joseph

AU - Müller, Peter

AU - Poll, Erik

N1 - Conference code: 18

PY - 2004

Y1 - 2004

N2 - This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarises the presentations and discussions.

AB - This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarises the presentations and discussions.

U2 - 10.1007/978-3-540-30554-5_8

DO - 10.1007/978-3-540-30554-5_8

M3 - Conference contribution

SN - 978-3-540-23988-8

T3 - Lecture Notes in Computer Science

SP - 76

EP - 83

BT - Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

A2 - Malenfant, Jacques

A2 - Østvold, Bjarte M.

PB - Springer

T2 - 18th European Conference on Object-Oriented Programming, ECOOP 2004

Y2 - 14 June 2004 through 18 June 2004

ER -

Formal Techniques for Java-Like Programs (FTfJP)

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this