Pages that link to "Item:Q1815343"

The following pages link to Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343):

Displaying 3 items.

• Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
• Refinement of a typed WAM extension by polymorphic order-sorted types (Q1816918) (← links)
• Semantic splitting of conditional belief bases (Q2117582) (← links)