The following pages link to Grigore Roşu (Q393079):
Displaying 50 items.
- (Q197941) (redirect page) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Institution morphisms (Q699929) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Language definitions as rewrite theories (Q730476) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
- An overview of the runtime verification tool Java PathExplorer (Q1878923) (← links)
- Towards a \(\mathbb{K}\)ool future (Q2026805) (← links)
- Runtime verification past experiences and future projections (Q2075784) (← links)
- Program verification by coinduction (Q2324001) (← links)
- Term-generic logic (Q2339466) (← links)
- (Q2703688) (← links)
- A Theoretical Foundation for Programming Languages Aggregation (Q2787336) (← links)
- K-Java (Q2819831) (← links)
- Interpreting Abstract Interpretations in Membership Equational Logic (Q2841246) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- (Q2843734) (← links)
- (Q2852094) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- Regular Strategies as Proof Tactics for CIRC (Q2873678) (← links)
- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (Q2873785) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Semantics and Algorithms for Parametric Monitoring (Q2881076) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503) (← links)
- A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph Transformations (Q2918990) (← links)
- Language Definitions as Rewrite Theories (Q2945132) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Towards a Unified Theory of Operational and Axiomatic Semantics (Q3167025) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- Term-Generic Logic (Q3184738) (← links)
- Computationally Equivalent Elimination of Conditions (Q3527281) (← links)
- CIRC: A Circular Coinductive Prover (Q3612501) (← links)
- Parametric and Termination-Sensitive Control Dependence (Q3613393) (← links)
- Parametric Trace Slicing and Monitoring (Q3617763) (← links)
- (Q4222955) (← links)
- Weak inclusion systems (Q4340498) (← links)
- (Q4447234) (← links)
- (Q4447254) (← links)
- (Q4472252) (← links)
- (Q4493908) (← links)
- (Q4499214) (← links)
- (Q4499312) (← links)
