Program
Verification
Book

PV0 ⊧ ANTLR: Another Tool for Language Recognitionworks with grammars which are relatively strictly structured

Application domain/field

Parsing
Parser generator
Grammars

Type of tool

Parser generator

Expected input

Grammar

Format:

.g4 file(s)

Expected output

ALL(*) parser/lexer in one of the following target languages: Java, C#, Python, JavaScript, Go, C++, Swift, PHP, Dart.

Links

Project page: https://www.antlr.org/
Repository: https://github.com/antlr/antlr4
- Last commit date: 02 Dec 2022 (default branch)
- Last commit date: 02 Dec 2022 (last activity)

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by STLInspector, Q3B, etc
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.