ANTLR
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files. It’s widely used to build languages, tools, and frameworks. From a grammar, ANTLR generates a parser that can build and walk parse trees.
Keywords for this software
References in zbMATH (referenced in 67 articles , 1 standard article )
Showing results 1 to 20 of 67.
Sorted by year (- Bistarelli, Stefano; Taticchi, Carlo: Introducing a tool for concurrent argumentation (2021)
- Giovanni Ciatto, Roberta Calegari, Andrea Omicini: 2P-Kt: A logic-based ecosystem for symbolic AI (2021) not zbMATH
- Hainry, Emmanuel; Jeandel, Emmanuel; Péchoux, Romain; Zeyen, Olivier: \textscComplexityParser: an automatic tool for certifying poly-time complexity of Java programs (2021)
- Michail, Dimitrios; Kinable, Joris; Naveh, Barak; Sichi, John V.: JGraphT -- a Java library for graph data structures and algorithms (2020)
- Stewart Boogert, Andrey Abramov, Laurence Nevay, William Shields, Stuart Walker: PYG4OMETRY: a Python library for the creation of Monte Carlo radiation transport physical geometries (2020) arXiv
- Biondi, Fabrizio; Kawamoto, Yusuke; Legay, Axel; Traonouez, Louis-Marie: Hybrid statistical estimation of mutual information and its application to information flow (2019)
- Dimitrios Michail, Joris Kinable, Barak Naveh, John V Sichi: JGraphT - A Java library for graph data structures and algorithms (2019) arXiv
- Jakšić, Stefan; Bartocci, Ezio; Grosu, Radu; Nguyen, Thang; Ničković, Dejan: Quantitative monitoring of STL with edit distance (2018)
- Helms, Tobias; Warnke, Tom; Maus, Carsten; Uhrmacher, Adelinde M.: Semantics and efficient simulation algorithms of an expressive multilevel modeling language (2017)
- Vasile, Cristian-Ioan; Aksaray, Derya; Belta, Calin: Time window temporal logic (2017)
- Bettini, Lorenzo: Implementing type systems for the IDE with Xsemantics (2016)
- Petrenko, Alexandre; Nguena Timo, Omer; Ramesh, S.: Multiple mutation testing from FSM (2016)
- Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin: A constraint-based local search backend for MiniZinc (2015)
- Reis, Leonardo V. S.; Di Iorio, Vladimir O.; Bigonha, Roberto S.: An on-the-fly grammar modification mechanism for composing and defining extensible languages (2015)
- Wang, Bing; Deng, Bo; Xing, Fei; Wang, Dongxia; Yao, Yiping: Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation (2015)
- Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina: Verification of concurrent systems with VerCors (2014)
- Cazzola, Walter; Vacchi, Edoardo: On the incremental growth and shrinkage of LR goto-graphs (2014)
- He, Jiang-Zhou; Chen, Wen-Guang; Chen, Guang-Ri; Zheng, Wei-Min; Tang, Zhi-Zhong; Ye, Han-Dong: OpenMDSP: extending OpenMP to program multi-core DSPs (2014) ioport
- Reinbacher, Thomas; Függer, Matthias; Brauer, Jörg: Runtime verification of embedded real-time systems (2014)
- Rodríguez-Cerezo, Daniel; Sarasa-Cabezuelo, Antonio; Gómez-Albarrán, Mercedes; Sierra, José-Luis: Serious games in tertiary education: a case study concerning the comprehension of basic concepts in computer language implementation courses (2014) MathEduc