Darko Marinov and Sarfraz Khurshid. VAlloy: Virtual functions meet a relational language. In Proc. Formal Methods Europe (FME), Copenhagen, Denmark, July 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) Self-citation (Marinov Khurshid) (Correct)
No context found.
Darko Marinov and Sarfraz Khurshid. VAlloy: Virtual functions meet a relational language. In Proc. Formal Methods Europe (FME), Copenhagen, Denmark, July 2002.
An Analyzable Annotation Language - Sarfraz Khurshid Darko (2002) (8 citations) Self-citation (Marinov Khurshid) (Correct)
No context found.
D. Marinov and S. Khurshid. VAlloy: Virtual functions meet a relational language. In Proc. Formal Methods Europe (FME), Copenhagen, Denmark, July 2002.
Aaree -A Recipe for Analyzing Object-Oriented Models - Khurshid, Marinov (2001) Self-citation (Marinov Khurshid) (Correct)
....design. Alloy can also be used for modeling program implementations. Currently predominant software design and implementation methodologies are object oriented (OO) However, Alloy has only a limited support for directly specifying OO design and modeling OO programs. We recently developed VAlloy [15], an extension to Alloy, that provides direct support for modeling inheritance similar to the single inheritance of Java. Inheritance is an essential feature of OO languages. It allows a (sub)class to inherit variables and methods from superclass(es) Subclasses can override some methods, changing ....
....translation by the constructs that Aaree directly supports. We illustrate each construct on (a part of) the example from Section 2. 3.1 Inheritance The translation for inheritance is similar to compilation of OO languages, involving creation of virtual function tables. Details can be found in [15]. In outline, the translation has six steps: 1. Compute a hierarchy of class declarations. 2. Construct sig Class and sig Object. 3. Change each class declaration into disj sig declaration. 4. Rename uniquely each method. 5. Add dispatching functions. 6. Replace super with appropriate static ....
[Article contains additional citation context not shown here]
Darko Marinov and Sarfraz Khurshid. VAlloy: Virtual functions meet a relational language. (submitted for publication), October 2001.
Unknown - (Correct)
No context found.
Darko Marinov and Sarfraz Khurshid. VAlloy: Virtual functions meet a relational language. In Proc. Formal Methods Europe (FME), Copenhagen, Denmark, July 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC