Program Analysis Resources (draft; work in progress) See also: Compilers correctness Program analysis: Dynamic analysis - instrumentation, translation, sanitizers
Neo4j Tutorial Fundamentals Store any kind of data using the following graph concepts: Node: Graph data records Relationship: Connect nodes (has direction and a type) Property: Stores data in key-value pair in nodes and relationships Label: Groups nodes and relationships (optional)