4
$\begingroup$

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.

Raphael
73.3k31 gold badges183 silver badges403 bronze badges
asked Oct 17, 2016 at 12:37
$\endgroup$
2
  • 3
    $\begingroup$ a) Neither HTML nor CSS are programming languages. b) As such, neither operational nor denotational semantics make any sense. c) If you are looking for formal semantics, you need to be very clear about the state resp. result space. What is, formally, the "result" of HTML and/or CSS code? d) Which problems, specifically, are you trying to solve? $\endgroup$ Commented Oct 17, 2016 at 12:57
  • 1
    $\begingroup$ Data models can be formalized. The problem with descriptive languages is the way they relate to qualia, i. e. with experiential elements. Even so, there could be a path to formalization, at least to some extent, that could be profitable. $\endgroup$ Commented Oct 17, 2016 at 15:21

1 Answer 1

5
$\begingroup$

I think the paper "Automated Reasoning for Web Page Layout" might be interesting to you. This paper defines CSS semantics in order to verify the layout formally. Look at section 3 of the paper for details. This would be one of the ways to express the CSS semantics, although this is a bit different from other semantics for programming languages.

answered Oct 18, 2016 at 0:13
$\endgroup$

Your Answer

Draft saved
Draft discarded

Sign up or log in

Sign up using Google
Sign up using Email and Password

Post as a guest

Required, but never shown

Post as a guest

Required, but never shown

By clicking "Post Your Answer", you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.