John C.Reynolds

John C.Reynolds
Nascer
John Charles Reynolds

(1935-06-01)1º de junho de 1935
Estados Unidos
Morreu28 de abril de 2013 (2013-04-28)(77 anos)
CidadaniaEstados Unidos
Educação
Ph.D. da Universidade Purdue. , Universidade de Harvard (1961)
Conhecido porcontinuações , interpretadores de definição, desfuncionalização , Forsythe, linguagem Gedanken, tipos de interseção , cálculo lambda polimórfico , parametricidade relacional , lógica de separação , ALGOL
PrêmiosMedalha Lovelace (2010)
Carreira científica
CamposCientista da computação
InstituiçõesUniversidade de Siracusa
Universidade Carnegie Mellon
TesePropriedades de superfície da matéria nuclear  (1961)
Alunos de doutoradoBenjamin C. Pierce
Local na rede Internetwww.cs.cmu.edu/~jcr

John Charles Reynolds (1 de junho de 1935 – 28 de abril de 2013) foi um cientista da computação americano . [1]

Educação e afiliações

John Reynolds estudou na Purdue University e depois obteve o título de Doutor em Filosofia (Ph.D.) em física teórica pela Universidade de Harvard em 1961. Ele foi professor de ciência da informação na Syracuse University de 1970 a 1986. Desde então, até sua morte, ele foi professor de ciência da computação na Carnegie Mellon University . Ele também ocupou cargos de visitante na Universidade de Aarhus ( Dinamarca ), na Universidade de Edimburgo , no Imperial College London , na Microsoft Research ( Cambridge , Reino Unido) e na Queen Mary University of London .

Trabalho acadêmico

O principal interesse de pesquisa de Reynolds estava na área de design de linguagens de programação e linguagens de especificação associadas , especialmente no que diz respeito à semântica formal . Ele inventou o cálculo lambda polimórfico (Sistema F) e formulou a propriedade da parametricidade semântica ; o mesmo cálculo foi descoberto independentemente por Jean-Yves Girard . Ele escreveu um artigo seminal sobre intérpretes de definição, que esclareceu os primeiros trabalhos sobre continuações e introduziu a técnica de desfuncionalização . Ele aplicou a teoria das categorias à semântica da linguagem de programação . Ele definiu as linguagens de programação Gedanken e Forsythe, conhecidas pelo uso de tipos de interseção . Ele trabalhou em uma lógica de separação para descrever e raciocinar sobre estruturas de dados mutáveis ​​compartilhadas .

Reynolds criou uma formulação elegante e idealizada da linguagem de programação ALGOL , que exibe a pureza sintática e semântica do ALGOL e é usada na pesquisa de linguagens de programação. Também apresentou um argumento metodológico convincente sobre a adequação dos efeitos locais no contexto de linguagens de chamada por nome , em contraste com os efeitos globais usados ​​por linguagens de chamada por valor, como ML . A integridade conceitual da linguagem tornou-a um dos principais objetos de pesquisa semântica, junto com a Programação de Funções Computáveis ​​(PCF) e o ML. [2]

Foi editor de periódicos como o Communications of the ACM e o Journal of the ACM . Em 2001, foi nomeado Fellow da Association for Computing Machinery (ACM). Ele ganhou o prêmio ACM SIGPLAN Programming Language Achievement em 2003 e a Medalha Lovelace da British Computer Society em 2010.

Publicações selecionadas

Livros
  • O Ofício da Programação, Prentice Hall International, 1981. ISBN  0-13-188862-5 .
  • Teorias de Linguagens de Programação , Cambridge University Press , 1998. ISBN 0-521-59414-6 . 
Artigos
  • "Sistemas Transformacionais e a Estrutura Algébrica das Fórmulas Atômicas" (PDF) . Inteligência de Máquina . 5 : 135–151. 1970.
  • "Rumo a uma teoria da estrutura de tipos" (PDF) . Colóquio sobre a Programação . Paris, França. 1974. pp. doi :10.1007/3-540-06859-7_148 . Recuperado em 06/11/2014 .
  • "Tipos, Abstração e Polimorfismo Paramétrico" (PDF) . Processamento de Informação '83 . 1983. pp. Arquivado do original (PDF) em 10/03/2016 . Recuperado em 06/11/2014 .
  • "Lógica de separação: uma lógica para estruturas de dados mutáveis ​​​​compartilhadas" (PDF) . 17º Simpósio IEEE sobre Lógica em Ciência da Computação (LICS 2002) . pp. 55–74. doi :10.1109/LICS.2002.1029817.

Referências

  1. ^ Fisher, Larry (29 de abril de 2013). "John Reynolds, 1935–2013". Comunicações da ACM : ACM News . Estados Unidos: Associação para Máquinas de Computação . Recuperado em 30 de abril de 2013 .
  2. ^ O'Hearn, Peter ; Tennent, Robert D. (1997). Linguagens semelhantes a Algol . Cambridge, Massachusetts, Estados Unidos: Birkhauser Boston. doi :10.1007/978-1-4612-4118-8. ISBN 978-0-8176-3880-1. S2CID6273486  .

Leitura adicional

links externos

  • Website oficial
  • Curriculum vitae
  • John C. Reynolds no servidor de bibliografia DBLP
  • John C. Reynolds no Projeto Genealogia da Matemática
  • Verificação e Semântica do Programa: Trabalhos Adicionais (Londres, 2004)
Retrieved from "https://en.wikipedia.org/w/index.php?title=John_C._Reynolds&oldid=1191042665"