Separation Logic

Jan-29-2019, 03:25:44 GMT–Communications of the ACM

Some techniques for proving correctness of programs which alter data structures.

artificial intelligence, logic & formal reasoning, programming language, (18 more...)

Communications of the ACM

Jan-29-2019, 03:25:44 GMT

Journals Web Page

Country:
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.28)

Industry:
- Information Technology (0.46)

Technology:
- Information Technology
  - Software > Programming Languages (1.00)
  - Artificial Intelligence > Representation & Reasoning
    - Logic & Formal Reasoning (0.68)
    - Uncertainty (0.42)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found