User:Ruud Koot/Carl Hewitt

From Wikipedia, the free encyclopedia
Jump to: navigation, search



Good guys[edit]

Arthur Rubin User:Karol_Langner


Jitse Niessen Oleg Alexandrov HappyCamper - aribiter (electornics) Jpbowen - denotational semantics Rstallman - Proofreader of Will Clinger's PhD thesis on "Semantics of the Actor model" User:Tobias_Bergemann - knolageble of the history of scheme

Resources on the actor model[edit]

  • [8] - by Carl

The dependence of the Actor model on physics is accepted in Computer Science, e.g., see "The Challenge of Open Systems" in a standard reference The foundation of artificial intelligence---a sourcebook Cambridge University Press, 1990 and other references in the artice. The published work reported in this article crucially depends on physics.

       The article reports on published work of long standing in Computer Science including the following:
       * Robert Kowalski Predicate Logic as Programming Language Memo 70, Department of Artificial Intelligence, Edinburgh University. 1973.
       * Carl Hewitt and Henry Baker Laws for Communicating Parallel Processes IFIP-77, August 1977.
       * Henry Baker. Actor Systems for Real-Time Computation MIT EECS Doctoral Dissertation. January 1978.
       * Will Clinger. Foundations of Actor Semantics MIT Mathematics Doctoral Dissertation. June 1981.
       * Carl Hewitt. The Challenge of Open Systems Byte Magazine. April 1985. Reprinted in The foundation of artificial intelligence---a sourcebook Cambridge University Press. 1990.
       * Robert Kowalski. The limitation of logic Proceedings of the 1986 ACM 14th Annual Conference on Computer science.
       * Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems Doctoral Dissertation. MIT Press. 1986.
       * Ehud Shapiro (Editor). Concurrent Prolog MIT Press. 1987.
       * Robert Kowalski. The Early Years of Logic Programming Communications of the ACM. January 1988.
       * Ehud Shapiro. The family of concurrent logic programming languages ACM Computing Surveys. September 1989.
       * Carl Hewitt and Gul Agha. Guarded Horn clause languages: are they deductive and Logical? International Conference on Fifth Generation Computer Systems, Ohmsha 1988. Tokyo. Also in Artificial Intelligence at MIT, Vol. 2. MIT Press 1991.
       Regards,--Carl Hewitt 02:06, 28 October 2005 (UTC)

User talk:Cryptic/archive-1 User talk:AlexR User talk:Theresa knott/archive12 User talk:GangofOne User talk:Laug User talk:Macrakis

Contributions by User:CarlHewitt[edit]

Carl Hewitt, Planner programming language, SHRDLU, Prolog, Lisp programming language, Scientific Community Metaphor, Logic programming, AI-complete, Bruno Latour, Actor-network theory, Karl Popper, Thomas Samuel Kuhn, The Structure of Scientific Revolutions, Philosophy of science, Imre Lakatos, Ludwig Wittgenstein, Artificial intelligence, Multi-agent system, Distributed artificial intelligence, Collective intelligence, Society of Mind, John McCarthy (computer scientist), Terry Winograd, Gerald Jay Sussman, Marvin Minsky, Robert Kowalski, Alain Colmerauer, Programming language, Pattern directed invocation programming language, Actor model, Communicating sequential processes, Edsger Dijkstra, Nondeterministic algorithm, Robin Milner, Calculus of Communicating Systems, Pi-calculus, Model theory, Domain theory, Dana Scott, Backtracking, Petri net, Dataflow, Uncertainty principle, Simula, Smalltalk, Object (computer science), Substitution, Lambda calculus, XML, Scheme programming language, X86, Concurrent programming language, Programming paradigm, Message passing programming, Object-oriented programming, Message, Message (computer science), Message passing, Concurrent, Parallel programming, Continuation, Domain theory, Message Passing Interface, Metastability, Quantum decoherence, Hewitt, Actor model theory, Actor model implementation, Ambient calculus, Sharing, Actor model and process calculi, Actor model, mathematical logic, and physics, Quantum indeterminacy, Concurrent programming, Promise (programming), Future (programming), Future, MultiLisp, Henry Baker, Henry Baker (computer scientist), Functional programming, Distributed programming, Concurrency control, Computer science, Weak consistency, Sequential consistency, Release consistency, Memory barrier, Per Brinch Hansen, Concurrency (computer science), Bernard Arnault, ABCL/1, ABCL/c plus, ABCL/R2, MPD programming language, Computer multitasking, Parallel Random Access Machine, Operational semantics, Java 2 Platform, Enterprise Edition, Kernel (computer science), Scheduler pattern, Hoare logic, Oz programming language, Software agent, Ceva's theorem, C. A. R. Hoare, OpenMP, Symbolics, Indeterminacy, Flip-flop (electronics), Synchronization, CPU design, Runt pulse, Race hazard, Asynchronous circuit, Synchronizer, Metastability in electronics, Dai, Multi-agent system, Software agent, Dan Ingalls, Continuation, MIT Computer Science and Artificial Intelligence Laboratory, Closure (computer science), Robert McHenry, Denotational semantics, Formal semantics of programming languages, Concurrency semantics, Process algebra, List of computability and complexity topics, Concurrent computing, Parallel computing, Specification language, Premature, Prematurity, Multi-core, Dual-core, Packet switching, Paul Baran, Packet, History of the Internet, ARPANET, IP, Fifth generation computer systems project, Itanium, Unbounded nondeterminism, Scott continuity, Scott domain, Scientific formalism, Sociology of scientific knowledge, Science studies, Scientific method, Completeness (order theory), Power domains, Indeterminacy in computation, Logical clock, Lamport timestamps, Quantum information processing, Quantum information science, Gravity Probe A, Information science, Black hole information paradox, Quantum information and relativity theory, Computation, Arbiter, Incompleteness of quantum physics, Arbiter (electronics), Indeterminacy in computation, Quantum indeterminacy in computation, The case for quantum mechanics being incomplete, John Law (sociologist), Artificial intelligence, Operational semantics.

Wikipedia:Provenance, Criticism of Wikipedia, Wikipedia:Replies to common objections, Wikipedia:Why Wikipedia is not so great, Wikipedia:Village pump (proposals)#Provenance, Wikipedia, Wikipedia:What Wikipedia is not.

  • Check Russel and Norvig