William Clinger (computer scientist)

Will ClingerWilliam Clinger
William D. Clinger is an associate professor in the Khoury College of Computer Sciences at Northeastern University.wikipedia
25 Related Articles

Actor model

actorsactorActor programming
His doctoral research revolved around defining a denotational semantics for the actor model of concurrent computing, which is the same model of computing that originally motivated development of Scheme."We wanted to better understand Hewitt's actors model but were having trouble relating the actors model and its unusual terminology to familiar programming notions. We decided to construct a toy implementation of an actor language so that we could play with it. Using MacLisp as a working environment, we wrote a tiny Lisp interpreter and then added mechanisms for creating actors and sending messages."
Other major milestones include William Clinger's 1981 dissertation introducing a denotational semantics based on power domains and Gul Agha's 1985 dissertation which further developed a transition-based semantic model complementary to Clinger's.

Carl Hewitt

Hewitt, Carl
Clinger obtained his PhD from the Massachusetts Institute of Technology (MIT) under the supervision of Carl Hewitt.
Among the doctoral students that Hewitt supervised during his time at MIT are Gul Agha, Henry Baker, William Clinger, Irene Greif, and Akinori Yonezawa.

Associate professor

Associateassociate professorsAssoc. Prof.
William D. Clinger is an associate professor in the Khoury College of Computer Sciences at Northeastern University.

Northeastern University

NortheasternNortheastern University, BostonNortheastern Huskies
William D. Clinger is an associate professor in the Khoury College of Computer Sciences at Northeastern University.

Functional programming

functionalfunctional programming languagefunctional language
He is known for his work on higher-order and functional programming languages, and for extensive contributions in helping create and implement international technical standards for the programming language Scheme via the Institute of Electrical and Electronics Engineers (IEEE) and American National Standards Institute (ANSI).

Technical standard

standardstandardsindustry standard
He is known for his work on higher-order and functional programming languages, and for extensive contributions in helping create and implement international technical standards for the programming language Scheme via the Institute of Electrical and Electronics Engineers (IEEE) and American National Standards Institute (ANSI).

Scheme (programming language)

SchemeScheme programming languageR6RS
He is known for his work on higher-order and functional programming languages, and for extensive contributions in helping create and implement international technical standards for the programming language Scheme via the Institute of Electrical and Electronics Engineers (IEEE) and American National Standards Institute (ANSI).

Institute of Electrical and Electronics Engineers

IEEEFellow of the Institute of Electrical and Electronics EngineersTechnical Field Award
He is known for his work on higher-order and functional programming languages, and for extensive contributions in helping create and implement international technical standards for the programming language Scheme via the Institute of Electrical and Electronics Engineers (IEEE) and American National Standards Institute (ANSI).

American National Standards Institute

ANSIAmerican Standards AssociationAmerican National Standard
He is known for his work on higher-order and functional programming languages, and for extensive contributions in helping create and implement international technical standards for the programming language Scheme via the Institute of Electrical and Electronics Engineers (IEEE) and American National Standards Institute (ANSI).

Lisp (programming language)

LispLisp programming languageLisp 1.5
Clinger was an editor of the second through fifth Revised Reports on Scheme (R 2 RS – R 5 RS), and an invited speaker on Scheme at the Lisp50 conference celebrating the 50th birthday of the language Lisp.

Massachusetts Institute of Technology

MITM.I.T.Massachusetts Institute of Technology (MIT)
Clinger obtained his PhD from the Massachusetts Institute of Technology (MIT) under the supervision of Carl Hewitt.

Denotational semantics

denotationalfully abstractHistory of denotational semantics
His doctoral research revolved around defining a denotational semantics for the actor model of concurrent computing, which is the same model of computing that originally motivated development of Scheme."We wanted to better understand Hewitt's actors model but were having trouble relating the actors model and its unusual terminology to familiar programming notions. We decided to construct a toy implementation of an actor language so that we could play with it. Using MacLisp as a working environment, we wrote a tiny Lisp interpreter and then added mechanisms for creating actors and sending messages."

Concurrent computing

concurrentconcurrent programmingconcurrency
His doctoral research revolved around defining a denotational semantics for the actor model of concurrent computing, which is the same model of computing that originally motivated development of Scheme."We wanted to better understand Hewitt's actors model but were having trouble relating the actors model and its unusual terminology to familiar programming notions. We decided to construct a toy implementation of an actor language so that we could play with it. Using MacLisp as a working environment, we wrote a tiny Lisp interpreter and then added mechanisms for creating actors and sending messages."

Compiler

compiledcompilerscompile
In addition to editing the R 2 RS – R 5 RS Scheme standards, Clinger's contributions to Scheme have included the development of compilers for two implementations of the language: MacScheme, and Larceny.

Larceny (Scheme implementation)

LarcenyCommon Larceny
In addition to editing the R 2 RS – R 5 RS Scheme standards, Clinger's contributions to Scheme have included the development of compilers for two implementations of the language: MacScheme, and Larceny.

Hygienic macro

hygienicHygienic macrosdefine-syntax
He also invented efficient algorithms for hygienic macro expansion, accurate decimal-to-binary conversions, and bounded-latency generational garbage collection.

Garbage collection (computer science)

garbage collectiongarbage collectorgarbage-collected
He also invented efficient algorithms for hygienic macro expansion, accurate decimal-to-binary conversions, and bounded-latency generational garbage collection.

Boston

Boston, MassachusettsBoston, MABoston, United States

Massachusetts

MACommonwealth of MassachusettsMass.

Denotational semantics of the Actor model

Clinger's modeldenotational modelsdenotational semantics
In his doctoral dissertation, Will Clinger developed the first denotation semantics for the Actor model.