The following pages link to (Q3774923):
Displaying 9 items.
- Formalizing Operational Semantic Specifications in Logic (Q4982629) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- Soundness Conditions for Big-Step Semantics (Q5041092) (← links)
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (Q5179127) (← links)
- Concolic Execution in Functional Programming by Program Instrumentation (Q5743599) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
- Automatic alignment in higher-order probabilistic programming languages (Q6535257) (← links)