Find link

language:

Find link is a tool written by Edward Betts.

searching for Gordon Plotkin 5 found (54 total)

TAPAs model checker (489 words) [view diff] exact match in snippet view article find links to article

defined using a structured operational semantics in the style invented by Gordon Plotkin. TAPAS is the result of collective work, beginning in 1990 with a tool

Lawvere theory (283 words) [view diff] exact match in snippet view article find links to article

Science, 172 (Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin): 437–458, CiteSeerX 10.1.1.158.5440, doi:10.1016/j.entcs.2007.02.019

Actor model and process calculi (3,220 words) [view diff] exact match in snippet view article find links to article

Thati 2004). Will Clinger (building on the work of Irene Greif [1975], Gordon Plotkin [1976], Henry Baker [1978], Michael Smyth [1978], and Francez, Hoare

Denotational semantics of the Actor model (3,289 words) [view diff] exact match in snippet view article find links to article

S\rightarrow P[S+(S\times R)]} which defines a domain of resumptions [Gordon Plotkin 1976]. However, power domains can be defined for any domain whatsoever

Mogensen–Scott encoding (1,623 words) [view diff] exact match in snippet view article find links to article

note "Types for the Scott numerals" by Martín Abadi, Luca Cardelli and Gordon Plotkin (February 18, 1993). Stump, A. (2009). Directly reflective meta-programming