Formal and Computational Semantics: a Case Study
Main Author: | Pulman, S |
---|---|
Format: | Conference item |
Published: |
2007
|
Similar Items
-
A Formal System for Defining the Syntax and Semantics of Computer Languages
by: Ledgard, Henry Francis
Published: (2023) -
Expressivity of Lean Formalisms
by: Pulman, S
Published: (1994) -
Expressivity of Lean Formalisms
by: Pulman, S
Published: (1994) -
Expressivity of Lean Formalisms
by: Pulman, S
Published: (1994) -
Expressivity of Lean Formalisms
by: Pulman, S
Published: (1994)