JavaPTCaRetPlugin4

From FSL
Jump to: navigation, search

JavaPTCaRet is an instance of MOP for Java and for PTCaRet specifications. It is obtained by running JavaMOP with PTCaRet specifications. Despite its simplicity, JavaPTCaRet has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as PTCaRet formulae.

Personal tools
Namespaces

Variants
Actions
Navigation