Algebraic semantics (computer science)

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner.

See also

References

  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

<templatestyles src="Asbox/styles.css"></templatestyles>

Stub icon

This computer science article is a stub. You can help Wikipedia by expanding it.

<templatestyles src="Asbox/styles.css"></templatestyles>

\Gamma\vdash x : \text{Int}

This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "https://infogalactic.com/w/index.php?title=Algebraic_semantics_(computer_science)&oldid=617168762"