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)
    - Greater London > London (0.04)
- North America > United States
  - Illinois (0.04)

Industry:
- Information Technology (0.46)

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

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found