Tag:Formal-semantics
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
programming formal formal-methods semantics math methods development languages algorithm mathematics linguistics formal-theories formal-development cs analysis code systems-engineering formal_methods formal-system compsci formal-specification formal-problem-solving computer category-of-signatures abstract-state-machines category-of-languages category-of-specifications automata-theory 2read computer_science category-of-theories transformation formal-semantics-of-programming-languages computer-theory semantic linguagem-e-pensamento logic-and-model-theory jfkbits productabstraction pl formalsemantics theory sematics semantic-web programminglanguage
Articles
- Formal semantics of programming languages (1)semantics programming languages mathematics wiki linguistics formal semantic productabstraction programminglanguage transformation pl theory sematics semantic-web jfkbits formal-semantics computer-theory formal-semantics-of-programming-languages formalsemantics logic-and-model-theory linguagem-e-pensamento math
- Formal methods (1)formal-methods formal methods development math programming algorithm reference formal_methods wikipedia formal-theories systems-engineering formal-development code analysis cs computer_science computer formal-problem-solving formal-specification formal-system compsci formal-semantics category-of-signatures abstract-state-machines 2read automata-theory category-of-languages category-of-specifications category-of-theories
Retrieved from "http://en.wikipedia.org/wiki/Tag:Formal-semantics"
