An attribute-grammar framework for specifying the accessibility in Java programs

Author： Chan J.-T.   Yang W.  

Publisher： Elsevier

ISSN： 0096-0551

Source： Computer Languages, Vol.28, Iss.2, 2002-12, pp. : 203-235

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Specifying and checking method call sequences of Java programs

By Cheon Yoonsik   Perumandla Ashaveena  

Software Quality Journal, Vol. 15, Iss. 1, 2007-03 ,pp. : 7-25

Springer Publishing Company

Access to resources Recommend Favorite

Formally specifying CARA in Java

By Stark Eugene W.  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 331-350

Springer Publishing Company

Access to resources Recommend Favorite

A framework for specifying a discrete-event simulation conceptual model

By Chwif L  

Journal of Simulation, Vol. 7, Iss. 1, 2013-02 ,pp. : 50-60

Palgrave Macmillan Ltd

Access to resources Recommend Favorite

Monitoring Java Programs with Java PathExplorer

By Havelund K.   Rosu G.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 2, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Heuristics for model checking Java programs

By Groce Alex   Visser Willem  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 260-276

Springer Publishing Company

Access to resources Recommend Favorite