Jump to content

Carl Hewitt: Difference between revisions

Add links
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Ruud Koot (talk | contribs)
31,416 edits
m Changed protection level for "Carl Hewitt" [edit=sysop:move=sysop]
m fix another ref
(2 intermediate revisions by 2 users not shown)
Line 3: Line 3:
'''Carl E. Hewitt''' is Associate Professor Emeritus in the [[electrical engineering|Electrical Engineering]] and [[computer science|Computer Science]] department at the [[Massachusetts Institute of Technology]] (MIT).<ref>[http://www.eecs.mit.edu/faculty/index.html "EECS Department Faculty"], MIT, accessed November 12, 2007.</ref>
'''Carl E. Hewitt''' is Associate Professor Emeritus in the [[electrical engineering|Electrical Engineering]] and [[computer science|Computer Science]] department at the [[Massachusetts Institute of Technology]] (MIT).<ref>[http://www.eecs.mit.edu/faculty/index.html "EECS Department Faculty"], MIT, accessed November 12, 2007.</ref>


Hewitt is known for his design of [[Planner programming language|Planner]],<ref>Carl Hewitt. [https://dspace.mit.edu/handle/1721.1/6171 ''PLANNER: A Language for Proving Theorems in Robots''] IJCAI. 1969.</ref> which was the first [[programming language]] based on procedural plans that were invoked using pattern-directed invocation from assertions and goals. He is also known for his work on the [[Actor model]] of [[concurrent computing|concurrent computation]],<ref>{{cite book|last=Filman|first=Robert|coauthors=Daniel Friedman|title=Coordinated Computing -
Hewitt is known for his design of [[Planner programming language|Planner]],<ref>Carl Hewitt. [https://dspace.mit.edu/handle/1721.1/6171 ''PLANNER: A Language for Proving Theorems in Robots''] IJCAI. 1969.</ref> which was the first [[programming language]] based on procedural plans that were invoked using pattern-directed invocation from assertions and goals. He is also known for his work on the [[Actor model]] of [[concurrent computing|concurrent computation]],<ref>{{cite book|last=Filman|first=Robert|coauthors=Daniel Friedman|title=Coordinated Computing - Tools and Techniques for Distributed Software|year=1984|publisher=McGraw-Hill|id=ISBN 0-07-022439-0|url=http://ic.arc.nasa.gov/people/filman/text/dpl/dpl.html|chapter=Actors|pages= pp. 145|quote=Carl Hewitt and his colleagues at M.I.T. are developing the Actor model.}}</ref> which influenced the development of the [[Scheme (programming language)|Scheme]] programming language<ref>{{cite journal|last=Krishnamurthi|first=Shriram|title= An Introduction to Scheme|journal=Crossroads|volume =1|issue=2|date=December 1994|url=http://www.acm.org/crossroads/xrds1-2/scheme.html}}</ref> and the [[pi calculus|π calculus]],<ref>{{cite journal|last=Milner|first=Robin|authorlink=Robin Milner |title=ACM Turing Award Lecture: The Elements of Interaction|url=http://fresh.homeunix.net/~luke/misc/papers/milner-interaction.pdf|journal=Communications of the ACM|volume=36|issue = 1|date=January 1993}}</ref> and served as an inspiration for several other programming languages.<ref name="miller2006">{{cite paper| author = Mark S. Miller | title = Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control | version = PhD dissertation| url = http://www.cypherpunks.to/erights/talks/thesis/submitted/markm-thesis.pdf | format=PDF
Tools and Techniques for Distributed Software|year=1984|publisher=McGraw-Hill|id=ISBN 0-07-022439-0|url=http://ic.arc.nasa.gov/people/filman/text/dpl/dpl.html|chapter=Actors|pages= pp. 145|quote=Carl Hewitt and his colleagues at M.I.T. are developing the Actor model.}}</ref> which influenced the development of the [[Scheme (programming language)|Scheme]] programming language<ref>{{cite journal|last=Krishnamurthi|first=Shriram|title= An Introduction to Scheme|journal=Crossroads|volume =1|issue=2|date=December 1994|url=http://www.acm.org/crossroads/xrds1-2/scheme.html}}</ref> and the [[pi calculus|π calculus]],<ref>{{cite journal|last=Milner|first=Robin|authorlink=Robin Milner |title=ACM Turing Award Lecture: The Elements of Interaction|url=http://fresh.homeunix.net/~luke/misc/papers/milner-interaction.pdf|journal=Communications of the ACM|volume=36|issue = 1|date=January 1993}}</ref> and served as an inspiration for several other programming languages.<ref name="miller2006">{{cite paper| author = Mark S. Miller | title = Robust Composition -
Towards a Unified Approach to Access Control and Concurrency Control | version = PhD dissertation| url = http://www.cypherpunks.to/erights/talks/thesis/submitted/markm-thesis.pdf | format=PDF
| publisher = Johns Hopkins University | date = 2006 | accessdate = 2007-05-26}}</ref> His publications also include contributions in the areas of [[open systems|open information systems]] <ref name=Hewitt1986>{{cite paper|author=Carl Hewitt|title=Offices Are Open Systems|publisher=ACM Trans. Inf. Syst. 4(3): 271-287|date=1986}}</ref> and [[multi-agent system]]s.<ref>{{cite book|author=Jacques Ferber|title=Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence|publisher=Addison-Wesley|date=1999}}</ref>
| publisher = Johns Hopkins University | date = 2006 | accessdate = 2007-05-26}}</ref> His publications also include contributions in the areas of [[open systems|open information systems]] <ref name=Hewitt1986>{{cite paper|author=Carl Hewitt|title=Offices Are Open Systems|publisher=ACM Trans. Inf. Syst. 4(3): 271-287|date=1986}}</ref> and [[multi-agent system]]s.<ref>{{cite book|author=Jacques Ferber|title=Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence|publisher=Addison-Wesley|date=1999}}</ref>


Line 31: Line 29:
*Carl Hewitt and [[Henry Baker (computer scientist)|Henry Baker]] (1977b). [https://dspace.mit.edu/handle/1721.1/6687 ''Actors and Continuous Functionals''] Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1&ndash;5, 1977.
*Carl Hewitt and [[Henry Baker (computer scientist)|Henry Baker]] (1977b). [https://dspace.mit.edu/handle/1721.1/6687 ''Actors and Continuous Functionals''] Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1&ndash;5, 1977.
*William Kornfeld and Carl Hewitt (1981). [https://dspace.mit.edu/handle/1721.1/5693 ''The Scientific Community Metaphor''] IEEE Transactions on Systems, Man, and Cybernetics. January 1981.
*William Kornfeld and Carl Hewitt (1981). [https://dspace.mit.edu/handle/1721.1/5693 ''The Scientific Community Metaphor''] IEEE Transactions on Systems, Man, and Cybernetics. January 1981.
* Henry Lieberman and Carl E. Hewitt (1983). [http://citeseer.ist.psu.edu/lieberman83realtime.html ''A Real-Time Garbage Collector Based on the Lifetimes of Objects''] Communications of the {ACM}, 26(6).
* Henry Lieberman and Carl E. Hewitt (1983). [http://citeseer.ist.psu.edu/lieberman83realtime.html ''A Real-Time Garbage Collector Based on the Lifetimes of Objects''] Communications of the ACM, 26(6).
*Carl Hewitt (1985). ''The Challenge of Open Systems'' Byte Magazine. April 1985. (Reprinted in ''The foundation of artificial intelligence--a sourcebook'' Cambridge University Press. 1990)
*Carl Hewitt (1985). ''The Challenge of Open Systems'' Byte Magazine. April 1985. (Reprinted in ''The foundation of artificial intelligence--a sourcebook'' Cambridge University Press. 1990)


Retrieved from "https://en.wikipedia.org/wiki/Carl_Hewitt"