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

Anything in here will be replaced on browsers that support the canvas element

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