PK/C++(ID:7840/)
PLEASE structures on a C++ basis
Related languages
C++ |
=> |
PK/C++ | |
Extension of |
PLEASE |
=> |
PK/C++ | |
Incorporated features |
References:
Terwilliger, Robert "PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language" Department of Computer Science Technical Report CU-CS-400-88, University of Colorado at Boulder 1988 view details
|