GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • LiquidJava Docs
  • Getting Started
  • Setup
  • Overview
  • Annotations
  • @Refinement
  • @RefinementAlias
  • @StateRefinement
  • @ExternalRefinementsFor
  • @Ghost
  • @RefinementPredicate
  • Verification Features
  • Method Calls and Returns
  • Conditionals

This view

  • Original page
  • New address

GeezerVison is showing liquid-java.github.io — Resources

Resources

Papers

  • Usability-Oriented Design of Liquid Types for Java, ICSE 2023

Posters

  • Usability-Oriented Design of Liquid Types for Java, ICSE 2023 Poster Session
  • LiquidJava: Adding Lightweight Verification to Java, INForum 2021
  • Improving the Usability of LiquidJava, 11th LASIGE Workshop Poster Session
  • Barista: Synthesizing Typestate Specifications with LLM Agents, 11th LASIGE Workshop Poster Session

GitHub Repositories

  • liquidjava
  • vscode-liquidjava
  • liquidjava-examples
  • liquidjava-tutorial
  • liquid-java-external-libs
  • liquidjava-docs

Websites

  • LiquidJava Website
  • LiquidJava Interactive Tutorial
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.