I was told that Rust has a semantics in affine logic -- so one has deletion/weakening but not duplication/contraction. The following compiles: fn throw_away<A, B>(x: A, _y: B) -> A { x } ...

I'm reading a very silly paper and it keeps on talking about how Giotto defines a "formal semantics". Giotto has a formal semantics that specifies the meaning of mode switches, of intertask comm...

I have been reading about formal verification and the basic point is that it requires a formal specification and model to work with. However, many sources classify static analysis as a formal verif...

I am tasked with learning PHP, but there are many things I don't understand. For example, the concept of "variable functions" is not one I've seen anywhere else. There are many other examples, but ...

I am a bit confused on the concept of denotational semantics. As I understand, denotational semantics are supposed to describe how functions and expressions work in a particular programming languag...

This is a problem that's been nagging at me for some time, and I wonder if anyone here can help. I have a PLT Redex model of a language called lambdaLVar that is more or less a garden-variety unty...

Apologies for my poor expression of this question, I'm not sure I have the vocabulary to ask it appropriately. I've written (very recently) something akin to ⟦let x = x in x⟧ = ⊥ but really I'm...

Many programming languages share generic and even fairly universal features. For example, if you compared Java, VB6, .NET, PHP, Python, then you would find common functions such as control structur...