Pages that link to "Item:Q3088008"

The following pages link to Animating the Formalised Semantics of a Java-Like Language (Q3088008):

Displaying 4 items.

• Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
• Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
• From LCF to Isabelle/HOL (Q2280211) (← links)
• Automatic refinement to efficient data structures: a comparison of two approaches (Q2417948) (← links)