scientific article; zbMATH DE number 5344975
From MaRDI portal
Publication:3525697
Cited in
(47)- One-unambiguous regular languages
- Optimization of reversible control flow graphs
- An efficient time-step-based self-adaptive algorithm for predictor-corrector methods of Runge-Kutta type
- Neural software vulnerability analysis using rich intermediate graph representations of programs
- Some observations on LR-like parsing with delayed reduction
- Regular numeral systems for data structures
- Feynman integral evaluation by a sector decomposition approach (FIESTA)
- Compiling Janus to RSSA
- Certified abstract cost analysis
- EFFECTIVE TRANSLATION FOR LL(1)-GRAMMAR IN THE EXAMPLE OF A PROGRAMMING LANGUAGE
- Extension of superblock technique to hyperblock using predicate hierarchy graph
- Explaining safety violations in real-time systems
- Spot the difference: a detailed comparison between B and Event-B
- Generating tokenizers with flat automata
- Fast matching of regular patterns with synchronizing counting
- scientific article; zbMATH DE number 1263458 (Why is no real title available?)
- Operator precedence and the visibly pushdown property
- Systematic discovery of the grammar of translational inhibition by RNA hairpins
- From Regular Expression Matching to Parsing
- Robotic system specification language use case
- Distributing and parallelizing non-canonical loops
- GUBS a Language for Synthetic Biology: Specification and Compilation
- One-unambiguous regular languages
- scientific article; zbMATH DE number 7453192 (Why is no real title available?)
- Correct approximation of IEEE 754 floating-point arithmetic for program verification
- Model approach to grammatical evolution: theory and case study
- On typical hesitant fuzzy languages and automata
- On the complexity of a linear ordering of weighted directed acyclic graphs
- Generalized dominators for structured programs
- From regular expression matching to parsing
- New Developments in Parsing Mizar
- An extension of lazy abstraction with interpolation for programs with arrays
- Simplification of genetic programs: a literature survey
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- A higher-order strategy for eliminating common subexpressions
- Optimizing the stack size of recursive functions
- Who dominates whom in the ecosystem? Energy flow bottlenecks and cascading extinctions
- Code optimization in FORM
- Non-self-embedding grammars and descriptional complexity
- Optimizing reversible programs
- Minimization of context-free grammars
- Automatic synthesis of data-flow analyzers
- Improving multivariate Horner schemes with Monte Carlo tree search
- Efficiency issues in the KBMAG procedure
- Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification
- Property-oriented expansion
- Distinct fringe subtrees in random trees
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525697)
