UVLS: A Language Server Protocol For UVL.

Jacob Loth Chico Sundermann Tobias Schrull Thilo Brugger Felix Rieg Thomas Thüm

Published in: SPLC (B) (2023)

Keyphrases

file transfer
tcp ip
programming language
authentication protocol
client server
language learning
natural language
remote server
database
operational semantics
communication protocol
lightweight
cryptographic protocols
ip address
central server
web server
formal analysis
single server