The K Vision for the Future of Programming Language Design and Analysis.

Xiaohong Chen Grigore Rosu

Published in: Formal Methods in Outer Space (2021)

Keyphrases

programming language
software engineering
strongly typed
object oriented
general purpose
high level
user interface
logic programming
programming environment
computer programs
object oriented programming
design process
specification language
programming tool
programming language constructs