H ? « ‹ ← → › »

Language peer sets for ASPIK:
Germany↑
Germany/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/1985↑
Specialised Languages/de ↑

ASPIK(ID:1129/asp009)

alternate simple view

Country: Germany
Designed 1985
Published: 1985
Sammet category: Specialised Languages

Multiple-style specification language.

References:

Voss, A. (1985) Voss, A. "Algebraic Specifications in an Integrated Software Development and Verification System", Diss, U Kaiserslautern, 1985.

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder