Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Yaron Kashai is active.

Publication


Featured researches published by Yaron Kashai.


european conference on object oriented programming | 2010

Modules as objects in newspeak

Gilad Bracha; Peter von der Ahé; Vassili Bykov; Yaron Kashai; William Maddox; Eliot Miranda

We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation -- even an objects own access to its internal structure -- is performed by invoking methods on objects. However, like Smalltalk, Newspeak is class-based. Classes can be nested arbitrarily, as in Beta [44]. Since all names denote method invocations, all classes are virtual; in particular, superclasses are virtual, so all classes act as mixins. Unlike its predecessors, there is no static state in Newspeak, nor is there a global namespace. Modularity in Newspeak is based exclusively on class nesting. There are no separate modularity constructs such as packages. Top level classes act as module definitions, which are independent, immutable, self-contained parametric namespaces. They can be instantiated into modules which may be stateful and mutually recursive.


Archive | 2000

System and method for measuring temporal coverage detection

Yoav Hollander; Lev Plotnikov; Yaron Kashai


Archive | 2005

Method and apparatus for functionally verifying a physical device under test

Yoav Hollander; Yaron Kashai


Archive | 2007

Method, System, and Computer Program Product for Implementing a Model Exchange Framework

Gilad Bracha; Yaron Kashai


Archive | 2007

Method, System, and Computer Program Product for Implementing External Domain Independent Modeling Framework in a System Design

Yaron Kashai; Stavros Tripakis; Felice Balarin


Archive | 2003

Method and system for test creation

Yoav Hollander; Yaron Kashai


Archive | 2011

System, method, and computer program product for automatic power management verification

Yaron Kashai; John Decker; Neyaz Khan; Efrat Shneydor


Archive | 2007

Method, system, and computer program product for implementing a model exchange framework generating a synchronization record in response to a model exchange request using fusion technology

Gilad Bracha; Yaron Kashai


Archive | 2011

Advanced verification topics

Bishnupriya Bhattacharya; Khan Neyaz; Gary Hall; Nick Heaton; John Decker; Zeev Kirshenbaum; Yaron Kashai; Efrat Shneydor


Archive | 2010

Automatic anomaly detection for HW debug

Yaron Kashai

Collaboration


Dive into the Yaron Kashai's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

John Decker

Cadence Design Systems

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Neyaz Khan

Cadence Design Systems

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge