TaDA: A Logic for Time and Data Abstraction
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
TaDA: A Logic for Time and Data Abstraction
ECOOP, 2014.

ECOOP 2014
Full names Links ISxN
	author        = "Pedro da Rocha Pinto and Thomas Dinsdale-Young and Philippa Gardner",
	booktitle     = "{Proceedings of the 28th European Conference on Object-Oriented Programming}",
	doi           = "10.1007/978-3-662-44202-9_9",
	editor        = "Richard Jones",
	isbn          = "978-3-662-44201-2",
	pages         = "207--231",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{TaDA: A Logic for Time and Data Abstraction}",
	volume        = 8586,
	year          = 2014,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.