Travelled to:1 × Slovenia
1 × USA
Collaborated with:G.Bracha P.v.d.Ahé V.Bykov W.Maddox E.Miranda T.Kuhn T.Oppold M.Winterholer W.Rosenstiel M.Edwards
Talks about:object (2) framework (1) synthesi (1) newspeak (1) hardwar (1) specif (1) orient (1) verif (1) modul (1)
Person: Yaron Kashai
DBLP: Kashai:Yaron
Contributed to:
2010
2001Wrote 2 papers:
- ECOOP-2010-BrachaABKMM
- Modules as Objects in Newspeak (GB, PvdA, VB, YK, WM, EM), pp. 405–428.
- DAC-2001-KuhnOWREK #framework #hardware #object-oriented #specification #synthesis #verification
- A Framework for Object Oriented Hardware Specification, Verification, and Synthesis (TK, TO, MW, WR, ME, YK), pp. 413–418.