Search alternatives:
"transformative semantics" » "transformation semantics" (Expand Search), "transformative semantic" (Expand Search)
Showing 1 - 3 results of 3 for search '"transformative semantics"', query time: 0.06s Refine Results
  1. 1
    Deductive Verification of Telecommunication Systems Written in C

    Deductive Verification of Telecommunication Systems Written in C by I. S. Anureev

    Published 2015-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Typical Examples of Atoment Language Using

    Typical Examples of Atoment Language Using by I. S. Anureev

    Published 2011-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers

    F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers by N. V. Shilov

    Published 2010-12-01
    Subjects: “…operational and transformational semantics…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: