Skink Language Server in PLV Reading Group this week

[Anthony Sloane]

PLEASE NOTE NEW LOCATION

The Programming Languages and Verification Reading Group at Macquarie University, Department of Computing meets on (many) Fridays from 4-6pm in the Jan Hext Seminar Room (room 221, 4 Research Park Drive formerly the BD Building).

https://plvmq.bitbucket.io/#readinggroup/

Our current topic is:

Skink Language Server

On March 15, Tony Sloane will update the group on progress toward building a Language Server for our Skink verification tool. We'll discuss what Skink does, what language servers are, what they can provide, our extensions to the basic framework, and how we are integrating Skink into the framework.

For background on the Language Server Protocol and its aims, see the main LSP site [1] and the protocol specification [2]. It will not be necessary to understand details of the protocol to understand what we will discuss.

Readings

[1] https://langserver.org

[2] https://microsoft.github.io/language-server-protocol/specification

Please contact us if you are unable to access the reading(s) via the links above.

We hope to see you there.

Tony, Matt, Dom and Franck