Communications of the ACM
Refine your search:
From BLOG@CACM
Operating Systems as Possible Worlds
Is a comparison between operating systems, which are analyzed by software engineers for conditional execution paths, and possible worlds, which are analyzed by...
From BLOG@CACM
Ethical Theories Spotted in Silicon Valley
Some of the prevailing theories of ethics surface in modern high tech. We take a quick and rather superficial look at their tracks on the ground, noting especially...
From BLOG@CACM
Fact Versus Frivolity in Facebook
Facebook, for the sake of its own business integrity and for the sake of the public, should give up any attempt to guarantee veracity in items posted by users.
From BLOG@CACM
The Work and Inspiration of the Commission on the History and Philosophy of Computing
The international organization HaPoC promotes and sponsors research that brings together the history and the philosophy of computing.
From BLOG@CACM
Fiction as Model Theory
Like model theory, fiction deploys a theory and an interpretation. An interpretation that makes the statements of the theory true demonstrates consistency, in...
From BLOG@CACM
The Work and Inspiration of the APA Newsletter on Philosophy and Computers
The Newsletter of the Committee on Computing and Philosophy of the American Philosophical Association offers a wide range of scholarly work in the philosophy of...
From BLOG@CACM
What Makes a Program Elegant?
Most programmers would agree that some programs are elegant, and that elegant programs are better than others.
From BLOG@CACM