ANTLR
From MaRDI portal
swMATH3062MaRDI QIDQ15595FDOQ15595
Author name not available (Why is that?)
Official website: http://www.antlr.org/
Cited In (only showing first 100 items - show all)
- XGLR--an algorithm for ambiguity in programming languages
- The TXL source transformation language
- Title not available (Why is that?)
- Detecting loop-carried dependences in programs with dynamic data structures
- Implementing type systems for the IDE with Xsemantics
- JavaScript instrumentation for browser security
- Recursive descent parsing for Boolean grammars
- Formal languages and compilation
- Title not available (Why is that?)
- A constraint-based local search backend for MiniZinc
- JGraphT—A Java Library for Graph Data Structures and Algorithms
- Title not available (Why is that?)
- FoCs
- JastAdd
- XGLR
- SHARPE
- Rascal
- JGraphT
- MontiCore
- BCEL
- Polyglot
- Qwt
- Cetus
- RAMAS Risk Calc
- SATORI
- HANNIBAL
- MSAD
- Pinapa
- Kermeta
- PASSAT
- Lua
- TXL
- ModelSim
- JUNG
- Fortress
- KIDS
- Xtext
- Spoofax
- A survey of strategies in rule-based program transformation systems
- CARMA
- SPARK
- Moore
- MetaEdit+
- Simpl
- QUAIL
- SugarJ
- GlassFish
- Opal
- PCCTS
- BPPLIB
- DEXTER
- dypgen
- MJ
- Neverlang
- PPG
- ASMKeY
- XAJ
- LPaaS
- YACC
- APE
- PADS
- LeakWatch
- iGROM
- SeaLion
- spock
- Copilot
- SableCC
- DTA++
- YALLA
- Ruler
- FLUKA
- PYG4OMETRY
- pycsg
- Runtime verification of embedded real-time systems
- XPCNativeWrapper
- GDK
- SenticNet
- 2P-Kt
- TcT
- tuProlog
- TuCSoN
- TuSoW
- On the incremental growth and shrinkage of LR goto-graphs
- The metafront system: safe and extensible parsing and transformation
- A system for compositional verification of asynchronous objects
- ComplexityParser
- QBFFam
- PySpark
- Möbius
- Title not available (Why is that?)
- Verification of concurrent systems with VerCors
- MTSA
- Opal: a system for computing noncommutative Gröbner bases
- An experimental ambiguity detection tool
- On the semantics of parsing actions
- Issues in compiling
- ProbabilityBoundsAnalysis.jl
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation
- Title not available (Why is that?)
This page was built for software: ANTLR
