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.


References in zbMATH (referenced in 67 articles , 1 standard article )

Showing results 1 to 20 of 67.
Sorted by year (citations)

1 2 3 4 next

  1. Bistarelli, Stefano; Taticchi, Carlo: Introducing a tool for concurrent argumentation (2021)
  2. Giovanni Ciatto, Roberta Calegari, Andrea Omicini: 2P-Kt: A logic-based ecosystem for symbolic AI (2021) not zbMATH
  3. Hainry, Emmanuel; Jeandel, Emmanuel; Péchoux, Romain; Zeyen, Olivier: \textscComplexityParser: an automatic tool for certifying poly-time complexity of Java programs (2021)
  4. Michail, Dimitrios; Kinable, Joris; Naveh, Barak; Sichi, John V.: JGraphT -- a Java library for graph data structures and algorithms (2020)
  5. 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
  6. Biondi, Fabrizio; Kawamoto, Yusuke; Legay, Axel; Traonouez, Louis-Marie: Hybrid statistical estimation of mutual information and its application to information flow (2019)
  7. Dimitrios Michail, Joris Kinable, Barak Naveh, John V Sichi: JGraphT - A Java library for graph data structures and algorithms (2019) arXiv
  8. Jakšić, Stefan; Bartocci, Ezio; Grosu, Radu; Nguyen, Thang; Ničković, Dejan: Quantitative monitoring of STL with edit distance (2018)
  9. Helms, Tobias; Warnke, Tom; Maus, Carsten; Uhrmacher, Adelinde M.: Semantics and efficient simulation algorithms of an expressive multilevel modeling language (2017)
  10. Vasile, Cristian-Ioan; Aksaray, Derya; Belta, Calin: Time window temporal logic (2017)
  11. Bettini, Lorenzo: Implementing type systems for the IDE with Xsemantics (2016)
  12. Petrenko, Alexandre; Nguena Timo, Omer; Ramesh, S.: Multiple mutation testing from FSM (2016)
  13. Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin: A constraint-based local search backend for MiniZinc (2015)
  14. 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)
  15. Wang, Bing; Deng, Bo; Xing, Fei; Wang, Dongxia; Yao, Yiping: Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation (2015)
  16. Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina: Verification of concurrent systems with VerCors (2014)
  17. Cazzola, Walter; Vacchi, Edoardo: On the incremental growth and shrinkage of LR goto-graphs (2014)
  18. 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
  19. Reinbacher, Thomas; Függer, Matthias; Brauer, Jörg: Runtime verification of embedded real-time systems (2014)
  20. 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

1 2 3 4 next