Symbolic Analysis & Symbol-Driven Engineering

Authors introduce a framework to connect the core areas of computer science.

It would be interesting to apply this framework, semantics, to administrative IT. As the algorithms are relatively simple, we eventually could prove programs correctness.

See also Semantics.