H ? « ‹ ← → › »

Language peer sets for PK/C++:
United States↑
United States/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

PK/C++(ID:7840/)

alternate simple view
Country: United States
Designed 1988

PLEASE structures on a C++ basis
Related languages
C++ → PK/C++   Extension of
PLEASE → PK/C++   Incorporated features
References:
  • Terwilliger, Robert (1988) 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
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder