ANTLR
From MaRDI portal
Cited in
(only showing first 100 items - show all)- ALCOR
- ComplexityParser
- QBFFam
- PySpark
- Stratego
- ET++
- jContractor
- Bounded-connect noncanonical discriminating-reverse parsers.
- FoCs
- JastAdd
- LISA
- XGLR
- MOTOR
- SHARPE
- TAMPR
- Möbius
- Quantitative monitoring of STL with edit distance
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Rascal
- JGraphT
- MontiCore
- A system for compositional verification of asynchronous objects
- BCEL
- Introducing a tool for concurrent argumentation
- Polyglot
- \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs
- Qwt
- RAMAS Risk Calc
- SATORI
- Cetus
- MTSA
- Pinapa
- MSAD
- Kermeta
- HANNIBAL
- PASSAT
- Lua
- TXL
- ModelSim
- Time window temporal logic
- JUNG
- Hybrid statistical estimation of mutual information and its application to information flow
- On the semantics of parsing actions
- A survey of strategies in rule-based program transformation systems
- Integrating searching and authoring in Mizar
- Fortress
- The TXL source transformation language
- XGLR--an algorithm for ambiguity in programming languages
- Using source transformation to test and model check implicit-invocation systems
- Recursive descent parsing for Boolean grammars
- An experimental ambiguity detection tool
- scientific article; zbMATH DE number 1629955 (Why is no real title available?)
- scientific article; zbMATH DE number 1629956 (Why is no real title available?)
- KIDS
- Issues in compiling
- scientific article; zbMATH DE number 1646979 (Why is no real title available?)
- scientific article; zbMATH DE number 1693498 (Why is no real title available?)
- Xtext
- Multiple mutation testing from FSM
- Spoofax
- scientific article; zbMATH DE number 6682133 (Why is no real title available?)
- Moore
- scientific article; zbMATH DE number 2089386 (Why is no real title available?)
- Simpl
- MetaEdit+
- SugarJ
- QUAIL
- An extended event graph-based modelling method for parallel and distributed discrete-event simulation
- MDD4SOA. Model-driven development for service-oriented architectures.
- JavaScript instrumentation for browser security
- CARMA
- GlassFish
- Opal
- PCCTS
- BPPLIB
- Neverlang
- SPARK
- DEXTER
- dypgen
- XAJ
- PPG
- MJ
- ASMKeY
- YACC
- LPaaS
- PADS
- LeakWatch
- iGROM
- SeaLion
- APE
- spock
- SableCC
- Copilot
- scientific article; zbMATH DE number 1951550 (Why is no real title available?)
- scientific article; zbMATH DE number 1956462 (Why is no real title available?)
- YALLA
- DTA++
- Ruler
- Opal: a system for computing noncommutative Gröbner bases
- PYG4OMETRY
This page was built for software: ANTLR
