ANTLR

swMATH3062MaRDI QIDQ15595FDOQ15595

Author name not available (Why is that?)

Described by source

• Design and implementation of NC code compiler based on ANTLR

Cited In (48)

• An experimental ambiguity detection tool
• Title not available (Why is that?)
• XGLR--an algorithm for ambiguity in programming languages
• 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
• Title not available (Why is that?)
• An on-the-fly grammar modification mechanism for composing and defining extensible languages
• Bounded-connect noncanonical discriminating-reverse parsers.
• Source Transformation for MATLAB Automatic Differentiation
• Title not available (Why is that?)
• Detecting loop-carried dependences in programs with dynamic data structures
• Title not available (Why is that?)
• Implementing type systems for the IDE with Xsemantics
• JavaScript instrumentation for browser security
• Recursive descent parsing for Boolean grammars
• Formal languages and compilation
• Opal: A system for computing noncommutative gröbner bases
• Title not available (Why is that?)
• A constraint-based local search backend for MiniZinc
• Hybrid statistical estimation of mutual information and its application to information flow
• Title not available (Why is that?)
• JGraphT—A Java Library for Graph Data Structures and Algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification of Concurrent Systems with VerCors
• Quantitative monitoring of STL with edit distance
• A survey of strategies in rule-based program transformation systems
• Mathematical Knowledge Management
• Runtime verification of embedded real-time systems
• Multiple Mutation Testing from FSM
• 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
• Tangent-Linear Models by Augmented LL-Parsers
• Time window temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integrating searching and authoring in Mizar
• Title not available (Why is that?)
• Robustness and usability in modern design flows
• Introducing a tool for concurrent argumentation
• \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs
• Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

This page was built for software: ANTLR