Pages that link to "Item:Q344760"
From MaRDI portal
The following pages link to A mechanism of function calls in MSVL (Q344760):
Displaying 5 items.
- A compiler for MSVL and its applications (Q1630985) (← links)
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
- Translating Xd-C programs to MSVL programs (Q2290648) (← links)
- A novel approach to verifying context free properties of programs (Q2290651) (← links)
