|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Bono-Fisher:ECOOP-98 (In proceedings) | |
| Author(s) | Viviana Bono and K. Fisher |
| Title | « An Imperative First-Order Calculus with Object Extension » |
| In | ECOOP '98 |
| Series | LNCS |
| Volume | 1445 |
| Page(s) | 462-497 |
| Year | 1998 |
| Publisher | Springer-Verlag |
| URL | http://www.di.unito.it/~bono/papers/ECOOP98.ps.gz |
| Note | (A preliminary version appeared in the electronic proceedings of FOOL5, 1998, http://www.cs.williams.edu/ kim/FOOL/FOOL5.html) |
| BibTeX code |
@inproceedings{Bono-Fisher:ECOOP-98,
volume = {1445},
author = {Viviana Bono and K. Fisher},
series = {LNCS},
note = {(A preliminary version appeared in the electronic proceedings of
FOOL5, 1998, http://www.cs.williams.edu/~kim/FOOL/FOOL5.html)},
booktitle = {ECOOP '98},
url = {http://www.di.unito.it/~bono/papers/ECOOP98.ps.gz},
title = {An {I}mperative {F}irst-{O}rder {C}alculus with {O}bject
{E}xtension},
publisher = {Springer-Verlag},
year = {1998},
pages = {462-497},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)