DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Carl Hewitt
Carl Hewitt
A Universal Modular ACTOR Formalism for Artificial
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language
Actorscript™ Extension of C#®, Java®, Objective C®, Javascript ®, and Systemverilog Using Iadaptivetm Concurrency for Anti
Actor Model of Computation
Development of Logic Programming: What Went Wrong, What Was Done About It, and What It Might Mean for the Future
A Universal Modular ACTOR Formalism for Artificial Intelligence
Perspectives on Papert
Mobile Process Calculi for Programming the Blockchain Documentation Release 1.0
Planner: a Language for Proving Theorems in Robots
What to Read
Mindstorms: Children, Computers, and Powerful Ideas
Πdist: Towards a Typed Π-Calculus for Distributed Programming Languages
Parallel Processes In
AAAI Proceedings Template
History of Actors
Published in Arxiv
Published in Arxiv 0906.2756 Norms and Commitment for Iorgstm
Actorscript™ Extension of C#®, Java®, Objective C®, Javascript®, and Systemverilog Using Iadaptive™ Concurrency for Anticloud™ Privacy and Security Carl Hewitt
Top View
Working Paper 164C Revised May 1979 Evolving Parallel Programs
For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors
A Foundation for Actor Computation
MASSACHUSETTS INSTITUTE'or TECHNOLOGY A
Actor Model of Computation: Scalable Robust Information Systems
Efficient and Deterministic Record & Replay for Actor Languages
Middle History of Logic Programming
Logic Programming Is, in Its Broadest Sense, the Use of Mathematical Logic for Computer Programming
Inconsistency Robustness for Logic Programs
Actor Model of Computation: Scalable Robust Information Systems
Oral History Interview with Terry Allen Winograd
Procedural Embedding of Knowledge in Planner
10. Logic Programming
Mutant Languages from the LISP Lab
Actor Model of Computation for Scalable Robust Information Systems Carl Hewitt
The First Report on Scheme Revisited
The Use of Dependency Relationships in the Control of Reasoning 1 Introduction