ANTLR
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Möbius
- scientific article; zbMATH DE number 5044597 (Why is no real title available?)
- MTSA
- scientific article; zbMATH DE number 1646979 (Why is no real title available?)
- scientific article; zbMATH DE number 2089386 (Why is no real title available?)
- JGraphT—A Java Library for Graph Data Structures and Algorithms
- Quantitative monitoring of STL with edit distance
- A survey of strategies in rule-based program transformation systems
- Runtime verification of embedded real-time systems
- Mathematical Knowledge Management
- Using source transformation to test and model check implicit-invocation systems
- On the incremental growth and shrinkage of LR goto-graphs
- The metafront system: safe and extensible parsing and transformation
- An extended event graph-based modelling method for parallel and distributed discrete-event simulation
- A system for compositional verification of asynchronous objects
- ComplexityParser
- QBFFam
- PySpark
- Time window temporal logic
- Tangent-Linear Models by Augmented LL-Parsers
- scientific article; zbMATH DE number 1693498 (Why is no real title available?)
- scientific article; zbMATH DE number 5201499 (Why is no real title available?)
- Integrating searching and authoring in Mizar
- scientific article; zbMATH DE number 6682133 (Why is no real title available?)
- Introducing a tool for concurrent argumentation
- Robustness and usability in modern design flows
- Verification of concurrent systems with VerCors
- \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs
- Opal: a system for computing noncommutative Gröbner bases
- An experimental ambiguity detection tool
- XGLR--an algorithm for ambiguity in programming languages
- ProbabilityBoundsAnalysis.jl
- The TXL source transformation language
- On the semantics of parsing actions
- Issues in compiling
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Bounded-connect noncanonical discriminating-reverse parsers.
- scientific article; zbMATH DE number 1951550 (Why is no real title available?)
- Semantics and efficient simulation algorithms of an expressive multilevel modeling language
- Source Transformation for MATLAB Automatic Differentiation
- scientific article; zbMATH DE number 1956462 (Why is no real title available?)
- Detecting loop-carried dependences in programs with dynamic data structures
- MDD4SOA. Model-driven development for service-oriented architectures.
- Multiple mutation testing from FSM
- Implementing type systems for the IDE with Xsemantics
- scientific article; zbMATH DE number 1629955 (Why is no real title available?)
- JavaScript instrumentation for browser security
- Recursive descent parsing for Boolean grammars
- A constraint-based local search backend for MiniZinc
- ALCOR
- ET++
- jContractor
- Stratego
- FoCs
- JastAdd
- LISA
- XGLR
- MOTOR
- SHARPE
- TAMPR
- Rascal
- JGraphT
- MontiCore
- BCEL
- Polyglot
- Qwt
- Cetus
- RAMAS Risk Calc
- SATORI
- HANNIBAL
- MSAD
- Pinapa
- Kermeta
- PASSAT
- Lua
- TXL
- ModelSim
- JUNG
- Fortress
- KIDS
- Xtext
- Spoofax
- CARMA
- SPARK
- Moore
- MetaEdit+
- Simpl
- QUAIL
- SugarJ
- GlassFish
- Opal
- PCCTS
- BPPLIB
- DEXTER
- dypgen
- MJ
- Neverlang
- PPG
This page was built for software: ANTLR
