Semantics formally describe the meaning of some syntax.
Questions tagged [semantics]
179 questions
4
votes
1 answer
What kind of formal semantics can describe HTML and CSS?
What kind of formal semantics can describe HTML and CSS? Are there endeavours to do this. HTML/CSS layouts are espcially complex, so formalization can be of help.
TomR
- 1,381
- 7
- 16
1
vote
0 answers
How to represent semantics with Combinatory Logic
How is Combinatory Logic relevant to software design? For example, can one transform programs into CL? If so, how? Does CL provide a canonical representation for programs?
user18199
- 41
- 1
0
votes
1 answer
Definition of "deterministic" semantics in While language
I came across this definition in my book but I'm not sure that I understand it correctly.
Isn't this the same as saying: $\langle S, s\rangle \rightarrow s = \langle S, s\rangle \rightarrow s$ implies that $s=s$? Why do they use a different prime…
Ayyware
- 3
- 2
0
votes
0 answers
What does it mean by putting (\alpha-\beta) in front of the authors of a paper
When I was searching the publication list of some CS researchers, I sometimes saw them putting a ($\alpha-\beta$) or ($\alpha-\beta$ order) in front of the authors of a paper. What does this mean?
Francis
- 65
- 5
0
votes
0 answers
Is natural semantics a total or partial function
I have the following def's
Sns : Stm → (State ֒→ State)
Sns[S] = s' (if -> s') else undefined
I'm wondering if Sns is a partial or total function. I think it's total since it always returns a partial function, given any statement.
But the…
nz_21
- 123
- 4