SIGPLAN é um Grupo de Interesse Especial (Special Interest Group) em linguagens de programação da Association for Computing Machinery[1].

Conferências

editar

Newsletters

editar

Prêmios

editar

Programming Languages Achievement Award:

SIGPLAN Doctoral Dissertation Award:

  • 2001: Rastislav Bodik
  • 2002: Michael Hicks
  • 2003: Godmar Back
  • 2005: Sumit Gulwani
  • 2006: Xiangyu Zhang
  • 2007: Swarat Chaudhuri
  • 2008: Michael Bond and Viktor Vafeiadis
  • 2009: Akash Lai and William Thies

SIGPLAN Distinguished Service Award:

Most Influential PLDI Paper Award:

Most Influential POPL Paper Award:

  • 2010 (for 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients, Luca Cardelli e Andrew D. Gordon
  • 2009 (for 1999): JFlow: Practical Mostly-Static Information Flow Control, Andrew C. Myers
  • 2008 (for 1998): From System F to Typed Assembly Language, Greg Morrisett, David Walker, Karl Crary, e Neal Glew
  • 2007 (for 1997): Proof-carrying Code, George Necula
  • 2006 (for 1996): Points-to Analysis in Almost Linear Time, Bjarne Steensgaard
  • 2005 (for 1995): A Language with Distributed Scope, Luca Cardelli
  • 2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions, Mads Tofte e Jean-Pierre Talpin
  • 2003 (for 1993): Imperative functional programming, Simon Peyton Jones e Philip Wadler

Most Influential OOPSLA Paper Award:

  • 2009 (for 1999): Implementing Jalapeño in Java, Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, e Stephen Smith
  • 2008 (for 1998): Ownership Types for Flexible Alias Protection, David G. Clarke, John M. Potter, e James Noble
  • 2007 (for 1997): Call Graph Construction in Object-Oriented Languages, David Grove, Greg DeFouw, Jeffrey Dean, e Craig Chambers
  • 2006 (for 1986-1996):
    • Subject Oriented Programming: A Critique of Pure Objects, William Harrison e Harold Ossher
    • Concepts and Experiments in Computational Reflection, Pattie Maes
    • Self: The Power of Simplicity, David Ungar e Randall B. Smith

Most Influential ICFP Paper Award:

  • 2009 (for 1999): Haskell and XML: Generic combinators or type-based translation?, Malcolm Wallace e Colin Runciman
  • 2008 (for 1998): Cayenne — a language with dependent types, Lennart Augustsson
  • 2007 (for 1997): Functional Reactive Animation, Conal Elliott e Paul Hudak
  • 2006 (for 1996): Optimality and inefficiency: what isn't a cost model of the lambda calculus?, Julia L. Lawall e Harry G. Mairson

Referências

  1. MUELLER, Frank (ed.); BESTAVROS, Azer (ed.) (1999). Languages, Compilers, and Tools for Embedded Systems. ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings (Lecture Notes in Computer Science) (em inglês). Nova York: Springer. 260 páginas. ISBN 978-3540650751 

Ligações externas

editar

📚 Artikel Terkait di Wikipedia

Coq

inteiros em apenas uma linha de prova: Require Import ZArith. Open Scope Z_scope. Goal forall a b c:Z, (a + b + c) ^ 2 = a * a + b ^ 2 + c * c + 2 *

Oberon (sistema operacional)

commercially available platforms. PACO – (scope) PArallel COmpiler. Appears in A2 (see entry above). Compiles each scope in an independent thread. RISC5 – the

História dos sistemas operacionais

fevereiro 1957, 22-6726-1  The USE Compiler Programming Manual for the UNIVAC Scientific 1103A and 1105 Computers (PDF), [S.l.: s.n.]  A Programmer's Guide

Modelos de linguagem de grande escala

Tamara; Moon, AJung; Guo, Jin L.C. (23 de junho de 2025). Opening the Scope of Openness in AI. Proceedings of the 2025 ACM Conference on Fairness, Accountability

Aritmética

ISBN 978-0-8147-5837-3  Nakov, Svetlin; Kolev, Veselin (2013). Fundamentals of Computer Programming with C#: The Bulgarian C# Book (em inglês). [S.l.]: Faber Publishing

Python

forma de encapsulamento. Ainda na CNRI, Guido lançou a iniciativa Computer Programming for Everybody (CP4E; literalmente, "Programação de Computadores para

História dos ambientes virtuais de aprendizagem

(1980) Computer-based Learning at the Open University and the CICERO system. In Lewis, R. and Tagg, E. (Eds.) Computer Assisted Learning: scope, progress

SuperCollider

ser chamados por qualquer ordem de palavras chave. Closures são léxicos e scope é tanto léxico como dinãmico. Características típicas adicionais de linguagens