Channels as Objects in Concurrent Object-Oriented Programming

There is often a sort of a protocol associated to each class, stating when and how certain methods should be called. Given that this protocol is, if at all, described in the documentation accompanying the class, current mainstream object-oriented languages cannot provide for the verification of clie...

Celý popis

Podrobná bibliografia

Vydané v:	arXiv.org
Hlavní autori:	Campos, Joana, Vasconcelos, Vasco T
Médium:	Paper
Jazyk:	English
Vydavateľské údaje:	Ithaca Cornell University Library, arXiv.org 19.10.2011
Predmet:	Object oriented programming Object-oriented languages Semantics Test procedures
ISSN:	2331-8422
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!