René's URL Explorer Experiment


Title: Resources | LiquidJava Docs

Open Graph Title: Resources

X Title: Resources

Description: Find LiquidJava papers, posters, and source repositories for deeper reading and experimentation.

X Description: Find LiquidJava papers, posters, and source repositories for deeper reading and experimentation.

Opengraph URL: https://liquid-java.github.io/liquidjava-docs/resources/

Generator: Jekyll v3.10.0

direct link

Domain: liquid-java.github.io

Hey, it has json ld scripts: 
{"@context":"https://schema.org","@type":"WebPage","description":"Find LiquidJava papers, posters, and source repositories for deeper reading and experimentation.","headline":"Resources","url":"https://liquid-java.github.io/liquidjava-docs/resources/"}
NoneIE=Edge
og:localeen_US
og:site_nameLiquidJava Docs
og:typewebsite
twitter:cardsummary

Links:

Skip to main contenthttps://liquid-java.github.io/liquidjava-docs/resources/#main-content
LiquidJava Docs https://liquid-java.github.io/liquidjava-docs/
Getting Startedhttps://liquid-java.github.io/liquidjava-docs/getting-started/
Setuphttps://liquid-java.github.io/liquidjava-docs/getting-started/setup/
Overviewhttps://liquid-java.github.io/liquidjava-docs/getting-started/overview/
Annotationshttps://liquid-java.github.io/liquidjava-docs/annotations/
@Refinementhttps://liquid-java.github.io/liquidjava-docs/annotations/refinement/
@RefinementAliashttps://liquid-java.github.io/liquidjava-docs/annotations/refinement-alias/
@StateRefinementhttps://liquid-java.github.io/liquidjava-docs/annotations/state-refinement/
@ExternalRefinementsForhttps://liquid-java.github.io/liquidjava-docs/annotations/external-refinements-for/
@Ghosthttps://liquid-java.github.io/liquidjava-docs/annotations/ghost/
@RefinementPredicatehttps://liquid-java.github.io/liquidjava-docs/annotations/refinement-predicate/
Diagnosticshttps://liquid-java.github.io/liquidjava-docs/diagnostics/
Errorshttps://liquid-java.github.io/liquidjava-docs/diagnostics/errors/
Warningshttps://liquid-java.github.io/liquidjava-docs/diagnostics/warnings/
Custom Messageshttps://liquid-java.github.io/liquidjava-docs/diagnostics/custom-messages/
Understanding Refinement Errorshttps://liquid-java.github.io/liquidjava-docs/diagnostics/understanding-refinement-errors/
VS Code Extensionhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/
Real-Time Diagnostic Feedbackhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/real-time-diagnostic-feedback/
Syntax Highlighting for Refinementshttps://liquid-java.github.io/liquidjava-docs/vscode-extension/syntax-highlighting/
Autocomplete for Refinementshttps://liquid-java.github.io/liquidjava-docs/vscode-extension/autocomplete/
Webviewhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/webview/
Diagnostic Explorerhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/webview/diagnostic-explorer/
Context Debuggerhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/webview/context-debugger/
State Machine Visualizerhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/webview/state-machine-visualizer/
Status Bar Indicatorhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/status-bar-indicator/
Commandshttps://liquid-java.github.io/liquidjava-docs/vscode-extension/commands/
Output Channelhttps://liquid-java.github.io/liquidjava-docs/vscode-extension/output-channel/
Command-Line Interfacehttps://liquid-java.github.io/liquidjava-docs/command-line-interface/
Exampleshttps://liquid-java.github.io/liquidjava-docs/examples/
Counterhttps://liquid-java.github.io/liquidjava-docs/examples/counter/
Paginationhttps://liquid-java.github.io/liquidjava-docs/examples/pagination/
Media Playerhttps://liquid-java.github.io/liquidjava-docs/examples/media-player/
Emailhttps://liquid-java.github.io/liquidjava-docs/examples/email/
Orderhttps://liquid-java.github.io/liquidjava-docs/examples/order/
Downloaderhttps://liquid-java.github.io/liquidjava-docs/examples/downloader/
Connectionhttps://liquid-java.github.io/liquidjava-docs/examples/connection/
ArrayListhttps://liquid-java.github.io/liquidjava-docs/examples/arraylist/
Resourceshttps://liquid-java.github.io/liquidjava-docs/resources/
GitHubhttps://github.com/liquid-java/liquidjava-docs
https://liquid-java.github.io/liquidjava-docs/resources/#resources
https://liquid-java.github.io/liquidjava-docs/resources/#papers
Usability-Oriented Design of Liquid Types for Javahttps://dl.acm.org/doi/abs/10.1109/ICSE48619.2023.00132
https://liquid-java.github.io/liquidjava-docs/resources/#posters
Usability-Oriented Design of Liquid Types for Javahttps://icse2023.paperlessevents.com.au/share/Gamboa-85
LiquidJava: Adding Lightweight Verification to Javahttps://catarinagamboa.github.io/assets/docs/poster_LiquidJava.pdf
Improving the Usability of LiquidJavahttps://rcosta358.github.io/improving_the_usability_of_liquidjava.pdf
Barista: Synthesizing Typestate Specifications with LLM Agentshttps://rcosta358.github.io/barista.pdf
https://liquid-java.github.io/liquidjava-docs/resources/#github-repositories
liquidjavahttps://github.com/liquid-java/liquidjava
vscode-liquidjavahttps://github.com/liquid-java/vscode-liquidjava
liquidjava-exampleshttps://github.com/liquid-java/liquidjava-examples
liquidjava-tutorialhttps://github.com/liquid-java/liquidjava-tutorial
liquid-java-external-libshttps://github.com/liquid-java/liquid-java-external-libs
liquidjava-docshttps://github.com/liquid-java/liquidjava-docs
https://liquid-java.github.io/liquidjava-docs/resources/#website
LiquidJava Websitehttps://liquid-java.github.io
Previous ArrayList https://liquid-java.github.io/liquidjava-docs/examples/arraylist/
GitHubhttps://github.com/liquid-java/liquidjava-docs

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.