Contains 353 English word pairs along with human-assigned similarity judgements.

Computer Science Department.

The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.

The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.

The Technion - Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (includ...

The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.

Israel Institute of Technology.

Senior Lecturer, Technion, Haifa, Israel.

Postdoc at The Weizmann Institute of Science

A collection of information on books and Internet sites related to C and C++. With links to reviews of bad books, tips for choosing good books, and C/C++ courses material.