René's URL Explorer Experiment


Title: Liquid Java

Mail addresses
cgamboa@andrew.cmu.edu

direct link

Domain: liquid-java.github.io

Links:

https://liquid-java.github.io/
GitHub organization Verifier, API, examples, external libs — all in one place. https://github.com/liquid-java
Documentation Annotation reference and language guide. https://liquid-java.github.io/liquidjava-docs/
Tutorial Hands-on walkthrough — learn LiquidJava by example. https://github.com/liquid-java/liquidjava-tutorial
Research paper Usability-Oriented Design of Liquid Types for Java — ICSE 2023. https://dl.acm.org/doi/abs/10.1109/ICSE48619.2023.00132
Install for VS Code https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java
Get on Open VSX https://open-vsx.org/extension/AlcidesFonseca/liquid-java
Visual Studio Code https://code.visualstudio.com/#alt-downloads
JDK 20 https://www.oracle.com/java/technologies/downloads/#java20
Red Hat Java extension https://marketplace.visualstudio.com/items?itemName=redhat.java
Maven / Gradle setup →https://github.com/liquid-java/liquidjava-docs
Tutorial guide →https://github.com/liquid-java/liquidjava-tutorial
Variables Examples of refinements in variables and class fields https://liquid-java.github.io/#refinementVariables
Methods Examples of methods with refinements in their parameters and return value. https://liquid-java.github.io/#refinementMethods
Classes Examples of object type state modelling using State Sets and Ghost attributes https://liquid-java.github.io/#refinementClasses
https://github.com/liquid-java
https://www.linkedin.com/in/catarina-ventura-gamboa-518151172/
W3layoutshttps://w3layouts.com

Viewport: width=device-width, initial-scale=1, shrink-to-fit=no

URLs of crawlers that visited me.