Pages that link to "Item:Q3558240"

The following pages link to Verifying a Compiler for Java Threads (Q3558240):

Displaying 8 items.

• An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
• From Jinja bytecode to term rewriting: a complexity reflecting transformation (Q1640985) (← links)
• Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
• Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
• A decision procedure for (co)datatypes in SMT solvers (Q2360873) (← links)
• Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
• Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
• A Decision Procedure for (Co)datatypes in SMT Solvers (Q3454092) (← links)