Find link

SIGPLAN not in Dominator (graph theory)

language:

Find link is a tool written by Edward Betts.

searching for SIGPLAN 436 found (754 total)

alternate case: sIGPLAN

List of computer science conferences (1,333 words) [view diff] exact match in snippet view article find links to article

European Symposium on Programming HOPL – ACM SIGPLAN History of Programming Languages Conference ICFP – ACM SIGPLAN International Conference on Functional Programming

Matthew Flatt (468 words) [view diff] exact match in snippet view article find links to article

the macro system, and library links. In 2018, Flatt received the ACM SIGPLAN's Programming Languages Software Award (jointly with the Racket core team)

F* (programming language) (430 words) [view diff] exact match in snippet view article

programming with value-dependent types. ICFP '11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming. Vol. 46. Tokyo, Japan:

Region-based memory management (2,919 words) [view diff] exact match in snippet view article find links to article

dynamically allocated objects". POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY,

Speculative multithreading (1,180 words) [view diff] exact match in snippet view article find links to article

separation for privatization and reductions" (PDF). Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '12

Recursive ascent parser (2,004 words) [view diff] exact match in snippet view article find links to article

"Very fast LR parsing". Proceedings of the 1986 SIGPLAN symposium on Compiler construction - SIGPLAN '86. pp. 145–151. doi:10.1145/12276.13326. ISBN 0897911970

False sharing (1,041 words) [view diff] exact match in snippet view article find links to article

memory multiprocessors through compile time data transformations". ACM SIGPLAN Notices. 30 (8). Association for Computing Machinery (ACM): 179–188. doi:10

spilling via graph coloring". Proceedings of the 1982 SIGPLAN symposium on Compiler construction - SIGPLAN '82. pp. 98–101. doi:10.1145/800230.806984. ISBN 978-0897910743

Pointer analysis (1,540 words) [view diff] exact match in snippet view article find links to article

(2011-01-26). "Pick your contexts well". Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '11. Austin

Principle of least astonishment (1,651 words) [view diff] exact match in snippet view article find links to article

(December 1967). Southworth, R. N. (ed.). "Proposal for PL/I Pseudo-name". ACM SIGPLAN Notices. 2 (12) (PL/I Bulletin no. 5 ed.): 6. doi:10.1145/1139502.1139504

Non-blocking algorithm (2,385 words) [view diff] exact match in snippet view article find links to article

November 2003). "Language support for lightweight transactions" (PDF). ACM SIGPLAN Notices. 38 (11): 388. CiteSeerX 10.1.1.58.8466. doi:10.1145/949343.949340

Haskell (4,584 words) [view diff] exact match in snippet view article find links to article

to make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. ACM

Sonic Pi (477 words) [view diff] exact match in snippet view article find links to article

Alan F. (2013). "From sonic Pi to overtone". Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design. Farm '13. ACM. pp

Extensible programming (1,711 words) [view diff] exact match in snippet view article find links to article

Symposium, SIGPLAN Notices 4 no. 8 (August 1969). Schuman, S.A., ed., Proceedings of the International Symposium on Extensible Languages, SIGPLAN Notices

Refinement type (356 words) [view diff] exact match in snippet view article find links to article

Vazou, Niki. Liquid Haskell: Refinement Types for Haskell. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018). Volkov, Nikita

General-purpose programming language (1,501 words) [view diff] exact match in snippet view article find links to article

Joost (2000). "Domain-Specific Languages: An Annotated Bibliography". ACM SIGPLAN Notices. 35 (6): 26–36. CiteSeerX 10.1.1.33.8207. doi:10.1145/352029.352035

Matthias Felleisen (492 words) [view diff] exact match in snippet view article find links to article

Computer Science Education from the ACM. In 2012, he received the ACM SIGPLAN Programming Languages Achievement Award for "significant and lasting contribution

Alan Eustace (1,117 words) [view diff] exact match in snippet view article find links to article

Proceedings of the ACM SIGPLAN Conference on Programming language design and implementation (PLDI '94), pp. 196–205, 1994; ACM SIGPLAN Notices - Best of PLDI

David A. Moon (717 words) [view diff] exact match in snippet view article find links to article

(PDF), Proceedings of the Second ACM SIGPLAN Conference on History of Programming Languages (HOPL-II), SIGPLAN Notices, 28 (3): 231–270, doi:10.1145/155360

Generalized algebraic data type (1,325 words) [view diff] exact match in snippet view article find links to article

"Guarded recursive datatype constructors". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press. pp

Static single-assignment form (3,954 words) [view diff] exact match in snippet view article find links to article

Form". ACM SIGPLAN Notices. 30 (3): 13–22. doi:10.1145/202530.202532. Appel, Andrew W. (April 1998). "SSA is Functional Programming". ACM SIGPLAN Notices

Ada (programming language) (5,728 words) [view diff] exact match in snippet view article

translator and interpreter". Proceeding of the ACM-SIGPLAN symposium on Ada programming language – SIGPLAN '80. Vol. 15. pp. 194–201. doi:10.1145/948632.948659

Software pipelining (1,991 words) [view diff] exact match in snippet view article find links to article

the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation (PLDI 88), July 1988 pages 318-328. Also published as ACM SIGPLAN Notices

Donald B. Gillies (782 words) [view diff] exact match in snippet view article find links to article

pp. 93-97. On a transportable high level language for minicomputers, ACM SigPlan Notices (derive from SIGPLAN Conference) (Vol. 11, No. 4, April 1976.

Lazy evaluation (3,548 words) [view diff] exact match in snippet view article find links to article

resource-bounded execution yields efficient iteration". Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell '02): Pittsburgh, Pennsylvania, USA; October

Continuation-passing style (2,519 words) [view diff] exact match in snippet view article find links to article

S2CID 192862. Appel, Andrew W. (April 1998). "SSA is Functional Programming". ACM SIGPLAN Notices. 33 (4): 17–20. CiteSeerX 10.1.1.34.3282. doi:10.1145/278283.278285

CLU (programming language) (1,373 words) [view diff] exact match in snippet view article

others to list. Liskov, Barbara (1992). "A history of CLU". The second ACM SIGPLAN conference on History of programming languages. Liskov, Barbara; Zilles

Multitier programming (2,772 words) [view diff] exact match in snippet view article find links to article

Serrano, Manuel (2016). "A glimpse of Hopjs". Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. pp. 180–192. doi:10

Monadic second-order logic (1,308 words) [view diff] exact match in snippet view article find links to article

procedures for MSO on words based on derivatives of regular expressions". ACM SIGPLAN Notices. 48 (9): 3–f12. doi:10.1145/2544174.2500612. hdl:20.500.11850/106053

Static program analysis (1,924 words) [view diff] exact match in snippet view article find links to article

program analysis via bayesian optimisation". Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages

Type class (2,293 words) [view diff] exact match in snippet view article find links to article

to make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). Association

Paul Hudak (245 words) [view diff] exact match in snippet view article find links to article

2003". Association for Computing Machinery. Retrieved May 1, 2015. "ACM SIGPLAN: Most Influential ICFP Paper Award". Association for Computing Machinery

Gprof (1,050 words) [view diff] exact match in snippet view article find links to article

Graph Execution Profiler // Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, SIGPLAN Notices, Vol. 17, No 6, pp. 120-126; doi: 10.1145/800230

Squeak (958 words) [view diff] exact match in snippet view article find links to article

VM development through simulation tools". Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (PDF)

Join-pattern (6,432 words) [view diff] exact match in snippet view article find links to article

ACM SIGPLAN Notices. 43 (10): 53–72. doi:10.1145/1449955.1449770. Russo, Claudio V. (23 October 2008). "Join Patterns for Visual Basic". ACM SIGPLAN Notices

Conor McBride (709 words) [view diff] exact match in snippet view article find links to article

Pierre-Evariste (2014). "Transporting Functions across Ornaments". ACM SIGPLAN Notices. 47 (9): 103–114. arXiv:1201.4801. doi:10.1145/2398856.2364544

Gosling Emacs (837 words) [view diff] exact match in snippet view article find links to article

James (June 1981), "A Redisplay Algorithm", ACM SIGPLAN Notices, 16 (6), Proceedings of the ACM SIGPLAN Symposium on Text Manipulation: 123–129, doi:10

WxHaskell (199 words) [view diff] exact match in snippet view article find links to article

portable and concise GUI library for haskell". Proceedings of the 2004 ACM SIGPLAN workshop on Haskell. pp. 57–68. doi:10.1145/1017472.1017483. ISBN 1-58113-850-4

Tracing just-in-time compilation (1,501 words) [view diff] exact match in snippet view article find links to article

Partial Evaluation in a Tracing JIT" (PDF). Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. PEPM '11. pp. 43–52

Per Brinch Hansen (4,443 words) [view diff] exact match in snippet view article find links to article

on the History of Programming Languages, Cambridge, MA, April 1993, In SIGPLAN Notices 28, 3 (March 1993), 1–35 Model programs for computational science:

Incremental computing (1,189 words) [view diff] exact match in snippet view article find links to article

(2002). "Monads for incremental computing". Proceedings of the seventh ACM SIGPLAN international conference on Functional programming. New York: ACM. pp. 26–35

Actor model (7,144 words) [view diff] exact match in snippet view article find links to article

Workshop on Object-Based Concurrent Programming. 1988. Special Issue of SIGPLAN Notices. Darrell Woelk. Developing InfoSleuth Agents Using Rosette: An

Rematerialization (363 words) [view diff] exact match in snippet view article find links to article

Rematerialization. Proceedings of the SIGPLAN 92 Conference on Programming Language Design and Implementation, SIGPLAN Notices 27(7), p.311-321. July 1992

Geometry of interaction (490 words) [view diff] exact match in snippet view article find links to article

"The geometry of optimal lambda reduction". Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '92. p. 15

Axiom (computer algebra system) (2,120 words) [view diff] exact match in snippet view article

|journal= (help) James H. Griesmer; Richard D. Jenks (1972). "Scratchpad". ACM SIGPLAN Notices. 7 (10): 93–102. doi:10.1145/942576.807019. Richard D. Jenks (1974)

SNOBOL (2,578 words) [view diff] exact match in snippet view article find links to article

Waldemar (2007), "The evolution of Lua", Proceedings of the third ACM SIGPLAN conference on History of programming languages (PDF), p. 26, doi:10.1145/1238844

Partitioned global address space (1,072 words) [view diff] exact match in snippet view article find links to article

parallel programming. ACM SIGPLAN Fortran Forum 17(2), 1–31 (1998). J. Reid: Coarrays in the Next Fortran Standard. SIGPLAN Fortran Forum 29(2), 10–27

FORMAC (266 words) [view diff] exact match in snippet view article find links to article

(FORmula MAnipulation Compiler)". Proceedings of HOPL-II, The second ACM SIGPLAN conference on History of programming languages. pp. 209–230. doi:10.1145/154766

Session type (895 words) [view diff] exact match in snippet view article find links to article

"Multiparty asynchronous session types". Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 273–284. doi:10

Xmonad (1,909 words) [view diff] exact match in snippet view article find links to article

'12 Proceedings of the 2012 Haskell Symposium. ICFP 2012 The 17th ACM SIGPLAN International Conference on Functional Programming. Copenhagen, Denmark:

A-0 System (487 words) [view diff] exact match in snippet view article find links to article

Sammet pg. 12 Hopper, Grace. "Keynote Address". Proceedings of the ACM SIGPLAN History of Programming Languages (HOPL) conference, June 1978. doi:10.1145/800025

Compiler correctness (1,088 words) [view diff] exact match in snippet view article find links to article

Compiler Back-End or: Programming a Compiler with a Proof Assistant". ACM SIGPLAN Notices. 41: 42–54. doi:10.1145/1111320.1111042. Leroy, Xavier (2009-12-01)

Erlang (programming language) (4,769 words) [view diff] exact match in snippet view article

Joe (2007). History of Erlang. HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages. ISBN 978-1-59593-766-7

XPL (2,343 words) [view diff] exact match in snippet view article find links to article

Kamnitzer, S. H. "Bootstrapping XPL from IBM/360 to UNIVAC 1100." ACM SIGPLAN Notices May 1975: 14-20. Karger, Paul A. "An Implementation of XPL for

Straw man proposal (715 words) [view diff] exact match in snippet view article find links to article

language, as described in 1993 by Col William Whitaker in an article ACM SIGPLAN Notices. They are: STRAWMAN issued in April 1975 WOODENMAN issued in August

Mark–compact algorithm (1,028 words) [view diff] exact match in snippet view article find links to article

Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the 27th ACM SIGPLAN Conference on Programming

Plus (programming language) (593 words) [view diff] exact match in snippet view article

Department of Computer Science, University of Toronto, Proceedings of the SIGPLAN symposium on Languages for system implementation, 1971, pages 79-88 "The

APT (programming language) (815 words) [view diff] exact match in snippet view article

and ROBEX was a derivative of EXAPT. Douglas T. Ross (1978). In: ACM SIGPLAN Notices, Vol. 13, No. 8, August 1978 MIT CADCAM 50 Years of CAD MIT TechTV

IDL specification language (262 words) [view diff] exact match in snippet view article find links to article

Ada". Proceedings of the ACM-SIGPLAN symposium on Ada programming language. Annual International Conference on Ada. ACM-SIGPLAN. pp. 36–46. Retrieved 2016-02-10

Meta-circular evaluator (1,945 words) [view diff] exact match in snippet view article find links to article

Abstract Machines". Brics Report Series. 10 (13). 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'03):

Type inference (3,675 words) [view diff] exact match in snippet view article find links to article

automatic tool generation from ad hoc data." ACM SIGPLAN Notices. Vol. 43. No. 1. ACM, 2008." ACM SIGPLAN Notices. Vol. 43. No. 1. ACM, 2008. Lappin, Shalom;

Gradual typing (1,108 words) [view diff] exact match in snippet view article find links to article

Thatte, Satish (1990). "Quasi-static typing". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM

LIS (programming language) (176 words) [view diff] exact match in snippet view article

Ada". Proceedings of the ACM-SIGPLAN symposium on Ada programming language. Annual International Conference on Ada. ACM-SIGPLAN. pp. 36–46. Retrieved 2016-02-10

Memory safety (1,911 words) [view diff] exact match in snippet view article find links to article

runtime checks or garbage collection" (PDF). Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems. ACM. pp

David F. Bacon (783 words) [view diff] exact match in snippet view article find links to article

low overhead and consistent utilization". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03. pp

SETL (815 words) [view diff] exact match in snippet view article find links to article

translator and interpreter". Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80. Vol. 15. pp. 194–201. doi:10.1145/948632.948659

Portable C Compiler (1,126 words) [view diff] exact match in snippet view article find links to article

portable compiler: theory and practice". Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. Tucson, Arizona.: 97–104

Boilerplate text (517 words) [view diff] exact match in snippet view article find links to article

practical design pattern for generic programming". Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

Bogosort (1,884 words) [view diff] exact match in snippet view article find links to article

pearl)", Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP '05) (PDF), SIGPLAN Notices, pp. 192–203, doi:10.1145/1086365

Top-down parsing (1,368 words) [view diff] exact match in snippet view article find links to article

International Symposium on Practical Aspects of Declarative Languages (PADL), ACM-SIGPLAN , Volume 4902/2008, Pages: 167-181, January 2008, San Francisco. Frost

Functional programming (8,688 words) [view diff] exact match in snippet view article find links to article

Erlang". Proceedings of the third ACM SIGPLAN conference on History of programming languages. Third ACM SIGPLAN Conference on History of Programming Languages

Runtime predictive analysis (1,499 words) [view diff] exact match in snippet view article find links to article

Cormac (2012). "Sound predictive race detection in polynomial time". ACM SIGPLAN Notices. 47 (1): 387. doi:10.1145/2103621.2103702. ISSN 0362-1340. Şerbănuţă

Polymorphic Programming Language (111 words) [view diff] exact match in snippet view article find links to article

(eds.). "Some features of PPL – a Polymorphic Programming Language". ACM SIGPLAN Notices. 4 (8) (Proceedings of Extensible Language Symposium ed.). ACM

Futhark (programming language) (452 words) [view diff] exact match in snippet view article

Parallelism and In-Place Array Updates" (PDF). Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2017

Type safety (3,647 words) [view diff] exact match in snippet view article find links to article

"Principal type-schemes for functional programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association

Douglas T. Ross (2,851 words) [view diff] exact match in snippet view article find links to article

"Origins of the APT Language for Automatically Programmed Tools". ACM SIGPLAN Notices. 13 (8): 61–99. doi:10.1145/960118.808374. S2CID 17069101. Ross

Virtual machine (3,495 words) [view diff] exact match in snippet view article find links to article

Smalltalk written in itself". OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Mary (programming language) (576 words) [view diff] exact match in snippet view article

later. van der Meulen, S. G. (June 1977). "ALGOL 68 might-have-beens". ACM SIGPLAN Notices. 12 (6): 1–18. doi:10.1145/872738.807137. Gjessing, Stein; Nygaard

William Cook (computer scientist) (207 words) [view diff] exact match in snippet view article

of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990) AppleScript. Proceedings of the third ACM SIGPLAN conference on History

LALR parser (1,470 words) [view diff] exact match in snippet view article find links to article

Pennello (1979), "Efficient Computation of LALR(1) Look-Ahead Sets", Sigplan Notices - SIGPLAN, vol. 14, no. 8, pp. 176–187 Parsing Techniques: A Practical Guide

L4 microkernel family (4,004 words) [view diff] exact match in snippet view article find links to article

the manual: an approach to high-assurance microkernel development". ACM SIGPLAN Haskell Workshop. Portland, Oregon. pp. 60–71. Klein, Gerwin; Elphinstone

Translational Backus–Naur form (540 words) [view diff] exact match in snippet view article find links to article

grammar. The TBNF concept was first published in April 2006 in a paper at SIGPLAN Notices, a special interest group of the ACM. Here is a sample grammar

Boomerang (programming language) (113 words) [view diff] exact match in snippet view article

and Alan Schmitt. Boomerang: Resourceful Lenses for String Data. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco

Subject-oriented programming (1,544 words) [view diff] case mismatch in snippet view article find links to article

Applications, September 1993 "Most Influential OOPSLA Paper Award". www.sigplan.org. Harold Ossher, Peri Tarr. Operation-Level Composition: A Case in (Join)

Unikernel (1,115 words) [view diff] exact match in snippet view article find links to article

(March 2013). "Unikernels: Library Operating Systems for the Cloud" (PDF). SIGPLAN Notices (ASPLOS 13). 48 (4): 461. doi:10.1145/2499368.2451167. Kaloper-Meršinjak

QuickCheck (1,115 words) [view diff] exact match in snippet view article find links to article

John (2002). "Testing Monadic Programs with QuickCheck" (PostScript). SIGPLAN Notices. 37 (12): 47–59. CiteSeerX 10.1.1.111.1618. doi:10.1145/636517

Separation logic (3,650 words) [view diff] exact match in snippet view article find links to article

assertion language for mutable data structures". Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 14–26

SimFiT (245 words) [view diff] exact match in snippet view article find links to article

Sleightholme (August 2007). "Introduction to NAG Fortran builder". ACM SIGPLAN Fortran Forum. 26 (2): 12–24. doi:10.1145/1279941.1279943. S2CID 7955473

Data-flow analysis (3,390 words) [view diff] exact match in snippet view article find links to article

Program Optimization" (PDF). Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL). POPL '73. Boston

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

Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Maier,

Explicit parallelism (227 words) [view diff] exact match in snippet view article find links to article

programming: design of an overview class. Proceedings of the 2011 ACM SIGPLAN X10 Workshop. pp. 1–6. doi:10.1145/2212736.2212738. Dijkstra, Edsger W

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

Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Maier,

System software (605 words) [view diff] exact match in snippet view article find links to article

Sammet, Jean (October 1971). "Brief Survey of Languages Used for Systems Implementation". ACM SIGPLAN Notices. 6 (9): 1–19. doi:10.1145/942596.807055.

Superoptimization (891 words) [view diff] exact match in snippet view article find links to article

Greg; Randall, Keith (2002). "Denali: A Goal-directed Superoptimizer". ACM SIGPLAN Notices. 37 (5): 304–314. doi:10.1145/543552.512566. Granlund, Torbjörn;

Data-flow analysis (3,390 words) [view diff] exact match in snippet view article find links to article

Program Optimization" (PDF). Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL). POPL '73. Boston

Expression problem (1,863 words) [view diff] exact match in snippet view article find links to article

(1999). "Modular object-oriented programming with units and mixins". ACM SIGPLAN Notices. 34: 94–104. doi:10.1145/291251.289432. Cook, William (1989). A

Multics Emacs (247 words) [view diff] exact match in snippet view article find links to article

customizable self-documenting display editor", Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation, doi:10.1145/800209.806466, hdl:1721

Hand coding (431 words) [view diff] exact match in snippet view article find links to article

(August 18, 1993). "Compiling machine-independent parallel programs". ACM SIGPLAN Notices. 28 (8): 99–108. doi:10.1145/163114.163127. S2CID 7707093 – via

Simon Thompson (professor) (624 words) [view diff] exact match in snippet view article

International Conference on Functional Programming (ICFP). Online – via ACM SIGPLAN. Thompson, Simon (May 1997). Higher-order + Polymorphic = Reusable (Report)

Apache Beam (360 words) [view diff] exact match in snippet view article find links to article

Easy, efficient data-parallel pipelines". Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (PDF). ACM

Polyvariance (215 words) [view diff] exact match in snippet view article find links to article

Information to Intersection and Union Types". Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98). 11

Hermes (programming language) (367 words) [view diff] exact match in snippet view article

ISBN 978-0-13-389537-7. Lowry, Andy (1992). "The Hermes language in outline form". ACM SIGPLAN Notices. 27 (8): 51–70. doi:10.1145/142137.142148. ISSN 0362-1340. S2CID 28615424

AdvFS (1,085 words) [view diff] exact match in snippet view article find links to article

and Chandramohan A. Thekkath. "Petal: Distributed virtual disks." ACM SIGPLAN Notices. Vol. 31. No. 9. ACM, 1996. Available online Chandramohan A. Thekkath

Parallel Extensions (864 words) [view diff] exact match in snippet view article find links to article

Burckhardt, Sebastian (2009). "The Design of a Task Parallel Library". ACM SIGPLAN Notices. 44 (10): 227. CiteSeerX 10.1.1.146.4197. doi:10.1145/1639949.1640106

Ada Programming Support Environment (437 words) [view diff] exact match in snippet view article find links to article

"Ada debugging and testing support environments". Proceedings of the ACM-SIGPLAN symposium on The ADA programming language. ACM. pp. 16–25. doi:10.1145/800004

Haskell features (3,537 words) [view diff] exact match in snippet view article find links to article

Peyton Jones, Andrew Gordon, and Sigbjorn Finne. Concurrent Haskell. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PoPL). 1996. (Some

John Vlissides (312 words) [view diff] exact match in snippet view article find links to article

to computer science that John Vlissides made during his lifetime, ACM SIGPLAN has established the John Vlissides Award. The award is presented annually

Le Lisp (316 words) [view diff] exact match in snippet view article find links to article

Guy L.; Gabriel, Richard P. (1 March 1993). "The evolution of Lisp". ACM SIGPLAN Notices. 28 (3): 231–270. doi:10.1145/155360.155373. ISSN 0362-1340. Retrieved

Common subexpression elimination (462 words) [view diff] exact match in snippet view article find links to article

Elimination." Proceedings of a Symposium on Compiler Construction, ACM SIGPLAN Notices 5(7), July 1970, pages 850–856. Briggs, Preston, Cooper, Keith

Glasgow Haskell Compiler (1,872 words) [view diff] exact match in snippet view article find links to article

of Haskell: Being Lazy With Class" (PDF). Procedures of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III). Retrieved 1 September

Automatic bug fixing (4,117 words) [view diff] exact match in snippet view article find links to article

generation by learning correct code". Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 298–312

Philip Wadler (1,031 words) [view diff] exact match in snippet view article find links to article

; Hughes, J. (1992). "Report on the programming language Haskell". ACM SIGPLAN Notices. 27 (5): 1. doi:10.1145/130697.130699. S2CID 15516611. Wadler,

Source (programming language) (407 words) [view diff] exact match in snippet view article

SPLASH-E. Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2021). New York, NY: ACM SIGPLAN. pp. 65–70. doi:10.1145/3484272

DIANA (intermediate language) (247 words) [view diff] exact match in snippet view article

Ada". Proceedings of the ACM-SIGPLAN symposium on Ada programming language. Annual International Conference on Ada. ACM-SIGPLAN. pp. 36–46. Retrieved 2016-02-10

ObjVlisp (451 words) [view diff] exact match in snippet view article find links to article

Pierre (1987). "Metaclasses are first class: The ObjVlisp Model". ACM SIGPLAN Notices. 22 (12): 156–162. doi:10.1145/38807.38822. ISSN 0362-1340. Ferber

Garbage collection (computer science) (4,023 words) [view diff] exact match in snippet view article

Explicit Memory Management" (PDF). Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications

Compiler (7,949 words) [view diff] exact match in snippet view article find links to article

assemblers". Hopper, Grace. "Keynote Address". Proceedings of the ACM SIGPLAN History of Programming Languages (HOPL) conference, June 1978. doi:10.1145/800025

Splash (543 words) [view diff] exact match in snippet view article find links to article

by MIT SPLASH (conference), a computer science conference held by the SIGPLAN special interest group of the ACM Splash (website), an event management

Parser combinator (1,678 words) [view diff] exact match in snippet view article find links to article

Accommodate Ambiguity and Left Recursion in Polynomial Time" (PDF). ACM SIGPLAN Notices. 41 (5): 46–54. doi:10.1145/1149982.1149988. S2CID 8006549. Frost

Software requirements specification (1,033 words) [view diff] exact match in snippet view article find links to article

"Testing large software with automated software evaluation systems". SIGPLAN Not. 10 (6): 382–394. doi:10.1145/390016.808461. ISSN 0362-1340. "IEEE

Language for Systems Development (127 words) [view diff] exact match in snippet view article find links to article

Andries (1971). "Language for Systems Development". Proceedings of the SIGPLAN symposium on Languages for system implementation -. pp. 50–72. doi:10.1145/800234

Memory management (3,004 words) [view diff] exact match in snippet view article find links to article

"Composing High-Performance Memory Allocators" (PDF). Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. PLDI

Texas Instruments Explorer (539 words) [view diff] exact match in snippet view article find links to article

Dussud, P. H. 1988. Lisp hardware architecture: the Explorer II and beyond. SIGPLAN Lisp Pointers 1, 6 (Apr. 1988), 13–18. http://doi.acm.org/10.1145/1317224

Processor sharing (391 words) [view diff] exact match in snippet view article find links to article

multiprocessor fair scheduling using distributed weighted round-robin" (PDF). ACM SIGPLAN Notices. 44 (4): 65. CiteSeerX 10.1.1.567.2170. doi:10.1145/1594835.1504188

Bare machine (443 words) [view diff] exact match in snippet view article find links to article

Muli; Landau, Alex; Schuster, Assaf; Tsafrir, Dan (2012). "ELI". ACM SIGPLAN Notices. 47 (4): 411–422. doi:10.1145/2248487.2151020. "Practical Guide

Liquid Haskell (180 words) [view diff] exact match in snippet view article find links to article

Eric (2014). "Refinement types for Haskell". Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. International Conference

Purely functional programming (902 words) [view diff] exact match in snippet view article find links to article

functional programming. McCarthy, John (June 1978). "History of Lisp". In ACM SIGPLAN History of Programming Languages Conference: 217–223. doi:10.1145/800025

PureScript (714 words) [view diff] exact match in snippet view article find links to article

"Suggesting Valid Hole Fits for Typed-Holes (Experience Report)", ACM SIGPLAN Notices, 53 (7): 179–185, doi:10.1145/3299711.3242760, S2CID 218480974

History of the Actor model (2,776 words) [view diff] exact match in snippet view article find links to article

history Kay, Alan (March 1993). "The Early History of Smalltalk" (PDF). ACM SIGPLAN Notices. 28 (3): 69–75. doi:10.1145/155360.155364. Archived from the original

Ike Nassi (634 words) [view diff] exact match in snippet view article find links to article

(August 1973). "Flowchart techniques for structured programming". ACM SIGPLAN Notices. 8 (8): 12–26. doi:10.1145/953349.953350. S2CID 38436079. Nassi

List of computer science conference acronyms (1,284 words) [view diff] exact match in snippet view article find links to article

Principles and Practice of Knowledge Discovery in Databases PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation PLoP – Pattern

Partial-redundancy elimination (518 words) [view diff] exact match in snippet view article find links to article

Kaufmann. 1997. Knoop, J., Ruthing, O., and Steffen, B. Lazy Code Motion. ACM SIGPLAN Notices Vol. 27, Num. 7, Jul. 1992, '92 Conference on PLDI. Paleri, V.

Memoization (3,741 words) [view diff] exact match in snippet view article find links to article

Functional Executable Specifications of Non-Deterministic Top-Down Parsers". SIGPLAN Notices. 29 (4): 23–30. doi:10.1145/181761.181764. S2CID 10616505. Frost

Read–eval–print loop (1,326 words) [view diff] exact match in snippet view article find links to article

principled approach to REPL interpreters". Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on

2-EXPTIME (932 words) [view diff] exact match in snippet view article find links to article

"On the synthesis of a reactive module". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '89. New

Futures and promises (4,638 words) [view diff] exact match in snippet view article find links to article

of the Symposium on Artificial Intelligence Programming Languages. ACM SIGPLAN Notices 12, 8. pp. 55–59. Archived from the original on 4 July 2008. Retrieved

Virtual method table (1,944 words) [view diff] exact match in snippet view article find links to article

-- 12th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97), ACM SIGPLAN, Oct 1997, Atlanta,

Robert Dewar (1,802 words) [view diff] exact match in snippet view article find links to article

translator and interpreter". Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80. Vol. 15. pp. 194–201. doi:10.1145/948632.948659

Cybil (programming language) (118 words) [view diff] exact match in snippet view article

Ragan, Richard R. (May 1985). "CYBIL - CYBER Implementation Language". ACM SIGPLAN Notices. 20 (5): 21–30. doi:10.1145/988327.988331. S2CID 19695019. Retrieved

Ikarus (Scheme implementation) (460 words) [view diff] exact match in snippet view article

Kent (2007). "Implicit phasing for R6RS libraries". Proc. of the 2007 ACM SIGPLAN International Conference on Functional Programming. Freiburg, Germany.

Dependent type (2,608 words) [view diff] exact match in snippet view article find links to article

(2006). "Why dependent types matter" (PDF). Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston

Gauche (Scheme implementation) (423 words) [view diff] exact match in snippet view article

Higher-Order and Symbolic Computation, 11(1), September, 1998 and ACM SIGPLAN Notices, 33(9), October, 1998. Carl Bruggeman, Oscar Waddell and R. Kent

An Open Letter to Hobbyists (3,478 words) [view diff] exact match in snippet view article find links to article

Publications. pp. 90, 91. Warren, Jim C. (July 1976). "Correspondence". SIGPLAN Notices. 11 (7). ACM: 1. Jim Warren, the editor of Dr. Dobb's Journal,

Completely Fair Scheduler (1,247 words) [view diff] exact match in snippet view article find links to article

multiprocessor fair scheduling using distributed weighted round-robin" (PDF). ACM SIGPLAN Notices. 44 (4): 65. CiteSeerX 10.1.1.567.2170. doi:10.1145/1594835.1504188

Value numbering (977 words) [view diff] exact match in snippet view article find links to article

global program optimization". Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206

Adin Falkoff (376 words) [view diff] exact match in snippet view article find links to article

text in PDF Falkoff, A.D., and K.E. Iverson, "The Evolution of APL", ACM SIGPLAN Notices 13:8, August 1978. full text in PDF Falkoff, A.D., and K.E. Iverson

Lennart Augustsson (435 words) [view diff] exact match in snippet view article find links to article

language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. pp. 239–250. CiteSeerX 10

Maxine Virtual Machine (875 words) [view diff] exact match in snippet view article find links to article

"Heterogeneous Managed Runtime Systems". Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. VEE

Automatic vectorization (2,938 words) [view diff] exact match in snippet view article find links to article

instruction sets". Proceedings of the ACM SIGPLAN conference on Programming language design and implementation. ACM SIGPLAN Notices. 35 (5): 145–156. doi:10.1145/358438

Lightweight Java (119 words) [view diff] exact match in snippet view article find links to article

(2007-10-21). "The java module system: Core design and semantic definition". ACM SIGPLAN Notices. 42 (10). Association for Computing Machinery: 499–514. doi:10

HHVM (1,126 words) [view diff] exact match in snippet view article find links to article

Region-Based Compiler for PHP and Hack". Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM

Brzozowski derivative (1,362 words) [view diff] exact match in snippet view article find links to article

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the 37th ACM SIGPLAN Conference on Programming

Dennis Allison (328 words) [view diff] exact match in snippet view article find links to article

TINY BASIC". SIGPLAN Notices. 11 (7). ACM: 25–33. doi:10.1145/987491.987494. The ACM Special Interest Group on Programming Languages (SIGPLAN) reprinted

ALGOL 68S (282 words) [view diff] exact match in snippet view article find links to article

compiling No formats Hibbard, P.G. (May 1977). "A Sublanguage of ALGOL 68". SIGPLAN Notices. 12 (5): 71–79. doi:10.1145/954652.1781177. S2CID 37914993. http://vestein

Darcs (759 words) [view diff] exact match in snippet view article find links to article

distributed version management in Haskell", Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, Tallinn, Estonia, pp. 1–4, doi:10.1145/1088348.1088349

Nuprl (507 words) [view diff] exact match in snippet view article find links to article

2017). "Computational higher-dimensional type theory" (PDF). 43nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). "The People's

Fabrik (software) (107 words) [view diff] exact match in snippet view article

Ken (November 1988). "Fabrik: a visual programming environment". ACM SIGPLAN Notices. 23 (11): 176–190. doi:10.1145/62084.62100. ISSN 0362-1340. Fabrik

Uniqueness type (578 words) [view diff] exact match in snippet view article find links to article

Wadler, Philip (17–19 June 1991). Is there a use for linear logic?. ACM SIGPLAN symposium on partial evaluation and semantics-based program manipulation

Oaklisp (213 words) [view diff] exact match in snippet view article find links to article

1986). "Oaklisp: an object-oriented scheme with first class types". ACM SIGPLAN Notices. 21 (11): 30–37. doi:10.1145/960112.28701. ISSN 0362-1340. Kevin

LR-attributed grammar (164 words) [view diff] case mismatch in snippet view article find links to article

Informatik-Fachberichte volume 53. J. van Katwijk: A preprocessor for YACC or A poor man's approach to parsing attributed grammars. Sigplan Notices 18:10 (1983), 12–15.

Aspect weaver (2,113 words) [view diff] exact match in snippet view article find links to article

"Semantics of static pointcuts in aspectJ". Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 11–23

TidalCycles (864 words) [view diff] exact match in snippet view article find links to article

"Making programming languages to dance to". Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design. FARM

Evaluation strategy (5,194 words) [view diff] exact match in snippet view article find links to article

"Parameter-passing and the lambda calculus". Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91. p. 2

Luca Cardelli (578 words) [view diff] exact match in snippet view article find links to article

Levy, J. J. (1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) '90. pp

Abstract data type (4,412 words) [view diff] exact match in snippet view article find links to article

with abstract data types". Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages. SIGPLAN Notices. Vol. 9. pp. 50–59. CiteSeerX 10.1.1.136

Partial evaluation (591 words) [view diff] exact match in snippet view article find links to article

"Tutorial Notes on Partial Evaluation". POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for

Pixar Image Computer (1,321 words) [view diff] exact match in snippet view article find links to article

programming languages and operating systems. Vol. 15. Palo Alto, CA: ACM SIGARCH/SIGPLAN/SIGOPS. pp. 193–8. doi:10.1145/36206.36202. ISBN 0818608056. S2CID 18834615

David Ungar (627 words) [view diff] exact match in snippet view article find links to article

David Ungar, Randall B. Smith. ACM HOPL-III, 2007. Proc. of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), B. Ryder, B, Hailpern

Type family (1,131 words) [view diff] exact match in snippet view article find links to article

(2005). "Associated Types with Class". Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press: 1–13

Differential testing (1,149 words) [view diff] exact match in snippet view article find links to article

and understanding bugs in C compilers,” in Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM

Emerald (programming language) (187 words) [view diff] exact match in snippet view article

Development of the Emerald Programming Language". Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III. ACM. pp. 11–1–11-51

Alias analysis (893 words) [view diff] exact match in snippet view article find links to article

Eliot B. (1998). "Type-based alias analysis". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI

Alexander Stepanov (567 words) [view diff] exact match in snippet view article find links to article

"Evolving a language in and for the real world". Proceedings of the third ACM SIGPLAN conference on History of programming languages. pp. 4-1 – 4-59. doi:10

C preprocessor (3,677 words) [view diff] exact match in snippet view article find links to article

Ritchie, Dennis M. (March 1993). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3). ACM: 201–208. doi:10.1145/155360.155580. Ritchie, Dennis

Carl Hewitt (1,588 words) [view diff] exact match in snippet view article find links to article

Open Systems with SALSA. OOPSLA 2001 Intriguing Technology Track. ACM SIGPLAN Notices, 36(12):20-34, December 2001. Eker, Johan; Janneck, Jörn W. (2001-11-28)

Ward Cunningham (1,431 words) [view diff] exact match in snippet view article find links to article

Cunningham (December 1992). "The WyCash portfolio management system". ACM SIGPLAN OOPS Messenger. 4 (2): 29–30. doi:10.1145/157710.157715. ISSN 1055-6400

Metaprogramming (1,435 words) [view diff] exact match in snippet view article find links to article

statically-typed metaprogramming with type-level record computation" (PDF). ACM SIGPLAN Notices. PLDI '10. 45 (6): 122–133. doi:10.1145/1809028.1806612. Retrieved

Memory barrier (1,390 words) [view diff] exact match in snippet view article find links to article

Threads Cannot Be Implemented As a Library. Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. Association

Quantum programming (4,217 words) [view diff] exact match in snippet view article find links to article

"Invariants of quantum programs: Characterisations and generation", ACM SIGPLAN Notices, 52: 818–832, doi:10.1145/3093333.3009840, hdl:10453/127333 Liu

Xerox NoteTaker (369 words) [view diff] exact match in snippet view article find links to article

Kay: The Early History of Smalltalk. In: Proceedings of HOPL II. "ACM SIGPLAN notices", Vol. 28, No. 3, March 1993, Association for Computing Machinery

Zen of Python (1,095 words) [view diff] exact match in snippet view article find links to article

(2018-10-24). "On the usage of pythonic idioms". Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on

Iftran (384 words) [view diff] exact match in snippet view article find links to article

"Extensions to Fortran to support structured programming" in [SIGPLAN] (1973) SIGPLAN Notices 8(06) June 1973 SPECIAL ISSUE: Abstracts in programming

Behavioral subtyping (1,381 words) [view diff] exact match in snippet view article find links to article

B. (May 1988). "Keynote address - data abstraction and hierarchy". ACM SIGPLAN Notices. 23 (5): 17–34. doi:10.1145/62139.62141. van Vleck, Tom (April

Bernd Bruegge (636 words) [view diff] exact match in snippet view article find links to article

analyzers. In ACM SIGPLAN Notices, 28(10), 1993. Bernd Bruegge, Jim Blythe, et al. Object-oriented system modeling with OMT. In ACM SIGPLAN Notices, 27(10)

Program structure tree (1,164 words) [view diff] exact match in snippet view article find links to article

(1980), "Prime subprogram parsing of a program", Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80, pp

Turing tarpit (432 words) [view diff] exact match in snippet view article find links to article

April 2023. Perlis, A (September 1982). "Epigrams on Programming". ACM SIGPLAN Notices. 17 (9). Yale University: 7–13. doi:10.1145/947955.1083808. S2CID 20512767

Choreographic programming (1,543 words) [view diff] exact match in snippet view article find links to article

(2013). "Deadlock-freedom-by-design". Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13. p. 263

Short Code (computer language) (403 words) [view diff] exact match in snippet view article

Evolution of the High Level Programming Languages: A Critical Perspective. ACM SIGPLAN Notices (December 1998) 33(12) page 74. Wexelblat, Richard L. (Ed.) (1981)

Lawrence M. Breed (1,113 words) [view diff] exact match in snippet view article find links to article

OCLC 554296375. — (July 1971). "Generalizing APL scalar extension". ACM SIGPLAN Notices. 6 (5): 12–14. doi:10.1145/1115904.1115906. S2CID 40788922. "Evapotrons"

Sort Merge Generator (135 words) [view diff] exact match in snippet view article find links to article

February 1995. Remington Rand. Hopper, Grace. "Keynote Address". Proceedings of the ACM SIGPLAN History of Programming Languages (HOPL) conference. v t e

E-graph (2,143 words) [view diff] exact match in snippet view article find links to article

Randall, Keith (2002-05-17). "Denali: a goal-directed superoptimizer". ACM SIGPLAN Notices. 37 (5): 304–314. doi:10.1145/543552.512566. ISSN 0362-1340. Yang

Software prototyping (5,326 words) [view diff] exact match in snippet view article find links to article

translator and interpreter". Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80. Vol. 15. pp. 194–201. doi:10.1145/948632.948659

Andrei Voronkov (595 words) [view diff] exact match in snippet view article find links to article

Andrei (2016). "The vampire and the FOOL". Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016. pp. 37–48. arXiv:1510

Vertex cover in hypergraphs (1,328 words) [view diff] exact match in snippet view article find links to article

Robert; Choi, Jong-Deok (2003). "Hybrid dynamic data race detection". ACM SIGPLAN Notices. 38 (10): 167–178. doi:10.1145/966049.781528. O'Callahan, Robert;

Greenfoot (1,189 words) [view diff] exact match in snippet view article find links to article

object visualisation with interaction". Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Agora (programming language) (225 words) [view diff] exact match in snippet view article

Agora: Message Passing as a Foundation for Exploring OO Language Concepts, SIGPLAN Notices, 29(12):48-57, December 1994. Modular Inheritance of Objects Through

Dataflow programming (1,616 words) [view diff] exact match in snippet view article find links to article

processing: POGOL". POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages. ACM. pp. 226–234. Underwater

Parsing expression grammar (6,505 words) [view diff] exact match in snippet view article find links to article

Recognition Based Syntactic Foundation" (PDF). Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 111–122

Struct (C programming language) (811 words) [view diff] exact match in snippet view article

Ritchie, Dennis M. (March 1993). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3): 201–208. doi:10.1145/155360.155580. The scheme of type

MOL-360 (135 words) [view diff] exact match in snippet view article find links to article

1971). "Brief Survey of Languages Used for Systems Implementation". ACM SIGPLAN Notices. 6 (9): 1–19. doi:10.1145/942596.807055. System Development Corporation

.QL (311 words) [view diff] exact match in snippet view article find links to article

Object-oriented queries over software systems. In Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation

Comparison of Pascal and C (6,299 words) [view diff] exact match in snippet view article find links to article

37-38, ACM SIGPLAN Notices, Volume 11, Issue 1, January 1976. Niklaus Wirth: Recollections about the Development of Pascal. 333-342, ACM SIGPLAN Notices

Nix (package manager) (1,109 words) [view diff] exact match in snippet view article

NixOS: A Purely Functional Linux Distribution (PDF). ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming. pp. 367–378. Burr,

BEAM (Erlang virtual machine) (466 words) [view diff] exact match in snippet view article

Joe (2007-06-09). "A history of Erlang". Proceedings of the third ACM SIGPLAN conference on History of programming languages. HOPL III. New York, NY

Susan G. Bond (886 words) [view diff] exact match in snippet view article find links to article

ISBN 90-5702-481-0. Lindsey, C. H. (1 March 1993). "A history of ALGOL 68". ACM SIGPLAN Notices. 28 (3): 97–132. doi:10.1145/155360.155365. Putley, E. H. (January

Reactive programming (3,535 words) [view diff] exact match in snippet view article find links to article

technique for transparent functional reactivity", Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Concurrent Collections (506 words) [view diff] exact match in snippet view article find links to article

parallel dense linear algebra (PDF). PPoPP '10. Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel programming. pp. 345–346

Harmony (operating system) (1,446 words) [view diff] exact match in snippet view article

"Harmony as an Object-Oriented Operating System". Proceedings of the ACM SIGPLAN Workshop on Object-Oriented Concurrent Programming. Vol. 24. San Diego

IMP (programming language) (618 words) [view diff] exact match in snippet view article

Walter (May 1974). "Syntax Extension and the IMP72 Programming Language". SIGPLAN Notices. 9 (5). Association for Computing Machinery: 13–30. doi:10.1145/987413

C (programming language) (11,186 words) [view diff] exact match in snippet view article

Ritchie, Dennis M. (March 1993). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3). ACM: 201–208. doi:10.1145/155360.155580. By courtesy of

Kai Li (821 words) [view diff] exact match in snippet view article find links to article

architecture. 2004 One of the 50 influential papers in 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2012 ACM

Virtual memory compression (2,666 words) [view diff] exact match in snippet view article find links to article

Strategies in Heap Management and Memory Hierarchies"), and appearing in ACM SIGPLAN Notices in January 1991. Helix Software Company pioneered virtual memory

PQCC (255 words) [view diff] exact match in snippet view article find links to article

and the “Middle End” of the PQCC Ada compiler", Proceedings of the ACM-SIGPLAN symposium on The ADA programming language (1980). ISBN 0-89791-030-3. Documents

Richard Vuduc (970 words) [view diff] exact match in snippet view article find links to article

"Model-driven autotuning of sparse matrix-vector multiply on GPUs". ACM SIGPLAN Notices. Im, Eun-Jin; Yelick, Katherine; Vuduc, Richard (February 2004)

System appreciation (175 words) [view diff] exact match in snippet view article find links to article

Using Dependency Models to Manage Software Architecture. 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications

Covariance and contravariance (computer science) (6,678 words) [view diff] exact match in snippet view article

combining definition- and use-site variance". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI'11)

Dexter Kozen (792 words) [view diff] exact match in snippet view article find links to article

undergraduate education)". Cornell. Retrieved 2022-09-08. "POPL 2020 Program". SIGPLAN. Retrieved 2022-09-08. Smolka, Steffen; Foster, Nate; Hsu, Justin; Kappé

PQCC (255 words) [view diff] exact match in snippet view article find links to article

and the “Middle End” of the PQCC Ada compiler", Proceedings of the ACM-SIGPLAN symposium on The ADA programming language (1980). ISBN 0-89791-030-3. Documents

Dov Gabbay (717 words) [view diff] exact match in snippet view article find links to article

On the temporal analysis of fairness. POPL'80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages, January

B (programming language) (1,394 words) [view diff] exact match in snippet view article

Ritchie, Dennis M. (March 1993). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3): 201–208. doi:10.1145/155360.155580. Thompson, Ken (7 January

Bjarne Stroustrup (1,981 words) [view diff] case mismatch in snippet view article find links to article

Stroustrup: Classes: An Abstract Data Type Facility for the C Language. Sigplan Notices, January 1982. doi:10.1145/947886.947893 More than a hundred technical

Common Lisp Interface Manager (990 words) [view diff] exact match in snippet view article find links to article

an interface builder for the Common Lisp Interface Manager – CLIB". ACM SIGPLAN Notices. 28 (8). New York, New York, United States: Association for Computing

Strong and weak typing (1,326 words) [view diff] exact match in snippet view article find links to article

Liskov, B; Zilles, S (1974). "Programming with abstract data types". ACM SIGPLAN Notices. 9 (4): 50–59. CiteSeerX 10.1.1.136.3043. doi:10.1145/942572.807045

James H. Morris (453 words) [view diff] case mismatch in snippet view article find links to article

184-201. Henderson, P., & Morris, J. H. (1976). A lazy evaluator. ACM Sigact-Sigplan Symposium on Principles of Programming Languages (pp. 95–103). DBLP. Neuwirth

X3J13 (1,179 words) [view diff] exact match in snippet view article find links to article

L. Jr.; Gabriel, Richard P. (1993). "The Evolution of Lisp" (PDF). ACM SIGPLAN Notices. 28 (3): 85, 231–270. doi:10.1145/155360.155373. Retrieved 2018-12-19

Criticism of Java (3,615 words) [view diff] exact match in snippet view article find links to article

type systems are unsound: the existential crisis of null pointers". ACM SIGPLAN Notices. 51 (10): 838–848. doi:10.1145/3022671.2984004. ISSN 0362-1340

Actor-Based Concurrent Language (255 words) [view diff] exact match in snippet view article find links to article

Reflection in an Object-Oriented Concurrent Language, T. Watanabe et al., SIGPLAN Notices 23(11):306-315 (Nov 1988) An Implementation of An Operating System

Go! (programming language) (797 words) [view diff] exact match in snippet view article

C. Varela; et al. (2004). On Modelling Agent Systems with Erlang. ACM SIGPLAN Erlang Workshop '04. Archived from the original on 2009-11-15. Retrieved

Valgrind (1,443 words) [view diff] exact match in snippet view article find links to article

"Valgrind: A framework for heavyweight dynamic binary instrumentation". ACM SIGPLAN Notices. 42 (6). ACM: 89–100. doi:10.1145/1273442.1250746. Seward, Julian;

Exception handling (1,806 words) [view diff] exact match in snippet view article find links to article

(1975a). Structured exception handling. Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75. pp. 204–224

Inversion of control (1,497 words) [view diff] exact match in snippet view article find links to article

Sweet, Richard (25 June 1985). "The Mesa Programming Environment". ACM SIGPLAN Notices. 20 (7): 216–229. doi:10.1145/17919.806843. Visual_Basic_(classic)

Profile-guided optimization (983 words) [view diff] exact match in snippet view article find links to article

1957, p. 195 "K. Pettis, R. Hansen, Profile Guided Code Positioning, ACM SIGPLAN Programming Language Design and Implementation Conference 1990" (PDF).

Shape analysis (program analysis) (1,057 words) [view diff] exact match in snippet view article

and programs with recursive data structures". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. ACM

Web platform (937 words) [view diff] exact match in snippet view article find links to article

Feminism in Programming Language Design". Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on

Structural type system (1,121 words) [view diff] exact match in snippet view article find links to article

(January 1990). "Inheritance is not subtyping". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. San

Fjölnir (programming language) (203 words) [view diff] exact match in snippet view article

Agnarsson, Snorri; Krishnamoorthy, M. S. (1985). "Towards a theory of packages". ACM SIGPLAN Notices. 20 (7): 117–130. doi:10.1145/17919.806833. v t e

Structure and Interpretation of Computer Programs (799 words) [view diff] exact match in snippet view article find links to article

critique of Abelson and Sussman or why calculating is better than scheming". SIGPLAN Not. 22 (3): 83–94. doi:10.1145/24697.24706. ISSN 0362-1340. Official website

Simply Fortran (71 words) [view diff] exact match in snippet view article find links to article

KDevelop Armstrong, Jeffrey (24 July 2012). "Introducing Simply Fortran". ACM SIGPLAN Fortran Forum. 31 (2): 20–27. doi:10.1145/2338786.2338788. S2CID 33536414

GLR parser (853 words) [view diff] exact match in snippet view article find links to article

Bernard (December 1971). "Parallel non-deterministic bottom-up parsing". ACM SIGPLAN Notices. Proceedings of the international symposium on Extensible languages

Susan B. Horwitz (919 words) [view diff] exact match in snippet view article find links to article

Binkley) was selected as one of the 50 best papers to appear at the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) during

ROOP (programming language) (157 words) [view diff] exact match in snippet view article

Li, Tao (December 1995). "A Rule-based and Object-oriented AI Programming Language". ACM SIGPLAN Notices. 30 (12): 17–24. doi:10.1145/219726.219736.

Tim Sweeney (1,844 words) [view diff] exact match in snippet view article find links to article

Multivalued Language with a Dependent Type System. Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. Neal Glew, Tim Sweeney & Leaf

Csmith (127 words) [view diff] exact match in snippet view article find links to article

"Finding and understanding bugs in C compilers". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11

JOVIAL (1,428 words) [view diff] exact match in snippet view article find links to article

Schwartz, Jules I. (August 8, 1978). "The Development of Jovial" (PDF). ACM SIGPLAN Notices. 13 (8): 203. doi:10.1145/960118.808385. S2CID 17913060. Retrieved

Boilerplate code (1,324 words) [view diff] exact match in snippet view article find links to article

practical design pattern for generic programming". Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

List of object-oriented programming languages (339 words) [view diff] exact match in snippet view article find links to article

languages Rentsch, Tim (1 September 1982). "Object oriented programming". ACM SIGPLAN Notices. 17 (9): 51–57. doi:10.1145/947955.947961. S2CID 14373518. Coplien

Douglas McIlroy (1,677 words) [view diff] exact match in snippet view article find links to article

Griswold, Ralph (1978). "A history of the SNOBOL programming languages". ACM SIGPLAN Notices. 13 (8). ACM: 275–308. doi:10.1145/960118.808393. ISSN 0362-1340

Courcelle's theorem (3,146 words) [view diff] exact match in snippet view article find links to article

Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11) (PDF), SIGPLAN Notices, vol. 46, pp. 283–294

Monica S. Lam (942 words) [view diff] exact match in snippet view article find links to article

networking tool, based on an extensible chat platform. Lam chaired the ACM SIGPLAN Programming Languages Design and Implementation Conference in 2000, served

Process isolation (564 words) [view diff] exact match in snippet view article find links to article

James R. (October 2006). Deconstructing Process Isolation (PDF). ACM SIGPLAN Workshop on Memory Systems Performance and Correctness. doi:10.1145/1178597

AppleScript (6,523 words) [view diff] exact match in snippet view article find links to article

Cook, William (2007). "AppleScript" (PDF). Proceedings of the third ACM SIGPLAN conference on History of programming languages. Association for Computing

Factor (programming language) (1,160 words) [view diff] exact match in snippet view article

Daniel (2010). "Factor: a dynamic stack-based programming language". ACM SIGPLAN Notices. 45 (12). ACM: 43–58. doi:10.1145/1899661.1869637. Pestov, Slava

A.out (1,232 words) [view diff] exact match in snippet view article find links to article

(20–23 April 1993). The Development of the C Language. The Second ACM SIGPLAN History of Programming Languages Conference (HOPL-II). Cambridge, MA: ACM

Joshua Bloch (598 words) [view diff] exact match in snippet view article find links to article

"How to design a good API and why it matters". Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

James Cordy (1,043 words) [view diff] exact match in snippet view article find links to article

Approach to Semantic Processing, Proc. ACM 1979 SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices Vol. 14, No. 8, August 1979, pp. 39-49

List of text editors (890 words) [view diff] exact match in snippet view article find links to article

Structural Code Editing with Multiple Cursors". Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on

API (5,224 words) [view diff] exact match in snippet view article find links to article

own risk: the Java unsafe API in the wild". Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages

API (5,224 words) [view diff] exact match in snippet view article find links to article

own risk: the Java unsafe API in the wild". Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages

System programming language (888 words) [view diff] exact match in snippet view article find links to article

1971). "Brief Survey of Languages Used for Systems Implementation". ACM SIGPLAN Notices. 6 (9): 1–19. doi:10.1145/942596.807055. Wirth, Niklaus (1968)

Bounds checking (1,237 words) [view diff] exact match in snippet view article find links to article

Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on Programing Language Design and Implementations (PLDI2009)

Transclusion (2,576 words) [view diff] exact match in snippet view article find links to article

Ritchie, Dennis M. (1993-03-01). "The development of the C language". ACM SIGPLAN Notices. 28 (3): 201–208. doi:10.1145/155360.155580. Archived from the

Runtime system (2,649 words) [view diff] exact match in snippet view article find links to article

efficient multithreaded runtime system". Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming. Association

SequenceL (2,395 words) [view diff] exact match in snippet view article find links to article

And Multi-Core Parallelisms (PDF), DAMP '10 Proceedings of the 5th ACM SIGPLAN workshop on Declarative Aspects of Multicore Programming, New York, NY

Device driver synthesis and verification (3,034 words) [view diff] exact match in snippet view article find links to article

Ranjit Jhala, Rupak Majumdar and Gregoire Sutre. "Lazy Abstraction", In ACM SIGPLAN-SIGACT Conference on Principles of Programming Languages, 2002. H. Post

Abstract machine (2,704 words) [view diff] exact match in snippet view article find links to article

Pablo; Mazza, Damiano (2014-11-26). "Distilling abstract machines". ACM SIGPLAN Notices. 49 (9): 363–376. doi:10.1145/2692915.2628154. ISSN 0362-1340.

GQM (679 words) [view diff] exact match in snippet view article find links to article

(1975-04-01). "An analysis of errors and their causes in system programs". ACM SIGPLAN Notices. 10 (6): 327–336. doi:10.1145/390016.808455. ISSN 0362-1340. Basili

Discrete mathematics (2,771 words) [view diff] exact match in snippet view article find links to article

2008). "Cyclic proofs of program termination in separation logic". ACM SIGPLAN Notices. 43 (1): 101–112. doi:10.1145/1328897.1328453. Mohar, Bojan; Thomassen

Sophia Drossopoulou (377 words) [view diff] exact match in snippet view article find links to article

"Ownership, encapsulation and the disjointness of type and effect". ACM SIGPLAN Notices. 37 (11): 292–310. doi:10.1145/583854.582447. Sophia Drossopoulou

Instruction scheduling (1,189 words) [view diff] exact match in snippet view article find links to article

Instruction Scheduling for Superscalar Machines" (PDF). Proceedings of the ACM, SIGPLAN '91 Conference on Programming Language Design and Implementation. (Global

Programming paradigm (2,666 words) [view diff] exact match in snippet view article find links to article

(November 2008). "Teaching programming languages in a post-linnaean age". ACM SIGPLAN Notices. 43 (11). ACM: 81–83. doi:10.1145/1480828.1480846. S2CID 35714982

Polytope model (698 words) [view diff] exact match in snippet view article find links to article

polyhedral parallelizer and locality optimizer". Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '08

Floating-point arithmetic (14,200 words) [view diff] exact match in snippet view article find links to article

Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '10: ACM SIGPLAN Conference on Programming Language

Responsibility-driven design (1,996 words) [view diff] exact match in snippet view article find links to article

(1989). "Object-Oriented Design: A Responsibility-Driven Approach". ACM SIGPLAN Notices. 24 (10): 74. doi:10.1145/74878.74885. Anthony J. H. Simons; Monique

Synchronization (computer science) (2,572 words) [view diff] exact match in snippet view article

synchronization on concurrent algorithms (PDF). Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM. pp. 1–10

Syntactic sugar (1,956 words) [view diff] exact match in snippet view article find links to article

(help) Perlis, A. J. (September 1982). "Epigrams on programming". ACM SIGPLAN Notices. 17 (9). New York, NY, USA: Association for Computing Machinery:

Java virtual machine (3,416 words) [view diff] exact match in snippet view article find links to article

the Java bytecode language and verifier". Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Monomorphization (361 words) [view diff] exact match in snippet view article find links to article

for datatype-generic programming". Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '16. St.

Concurrent data structure (1,081 words) [view diff] exact match in snippet view article find links to article

synchronization on concurrent algorithms" (PDF). Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM. pp. 1–10

Debugging (3,479 words) [view diff] exact match in snippet view article find links to article

Kathryn S. (2007). "Tracking bad apples". Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA

Actor model implementation (1,608 words) [view diff] exact match in snippet view article find links to article

Proceedings of the Symposium on Artificial Intelligence Programming Languages. SIGPLAN Notices 12, August 1977. Peter Bishop Very Large Address Space Modularly

LL parser (4,308 words) [view diff] exact match in snippet view article find links to article

Kathleen (2011). "LL (*) the foundation of the ANTLR parser generator". ACM SIGPLAN Notices. 46 (6): 425–436. doi:10.1145/1993316.1993548.{{cite journal}}:

Composition filters (1,518 words) [view diff] exact match in snippet view article find links to article

Information. Aksit, Mehmet (1988). "Data Abstraction Mechanisms in Sina/st". ACM SIGPLAN Notices. 23 (11). ACM Press. ISSN 0362-1340: 267–275. doi:10.1145/62084

Angelic non-determinism (149 words) [view diff] exact match in snippet view article find links to article

Shaon; Rodarmor, Casey (2010). "Programming with Angelic Nondeterminism". SIGPLAN Notices. 45 (1): 339–352. doi:10.1145/1707801.1706339. ISSN 0362-1340.

Is-a (1,250 words) [view diff] exact match in snippet view article find links to article

2012. Liskov, Barbara (May 1988). Data Abstraction and Hierarchy (PDF). SIGPLAN Notices. Archived from the original on Jun 21, 2020. "The Liskov Substitution

Heisenbug (1,395 words) [view diff] exact match in snippet view article find links to article

2004". Queue.acm.org. Retrieved 2013-09-05. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, Pacific Grove,

Manual memory management (1,384 words) [view diff] exact match in snippet view article find links to article

"Reconsidering Custom Memory Allocation" (PDF). Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Dominator (graph theory) (1,131 words) [view diff] exact match in snippet view article

computing static single assignment form". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. POPL

Delimited continuation (2,279 words) [view diff] exact match in snippet view article find links to article

denotational testbed with continuations and partial continuations". Proc. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques. pp. 218–225

Application checkpointing (1,895 words) [view diff] exact match in snippet view article find links to article

system support for long-running computation on RFID-scale devices. ACM SIGPLAN Notices 47, 4 (March 2011), 159-170. DOI=10.1145/2248487.1950386 http://doi

Code refactoring (2,800 words) [view diff] exact match in snippet view article find links to article

Support for Refactorability Decay Prevention". Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

Segmentation fault (2,433 words) [view diff] exact match in snippet view article find links to article

runtime checks or garbage collection" (PDF). Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems. Vol. 38

Linker (computing) (2,280 words) [view diff] exact match in snippet view article

Norman (May 1996). "Relocating Machine Instructions by Currying" (PDF). ACM SIGPLAN Notices. 31 (5): 226–236. doi:10.1145/249069.231429. Archived (PDF) from

Call graph (1,566 words) [view diff] exact match in snippet view article find links to article

October 1997). "Call graph construction in object-oriented languages". ACM SIGPLAN Notices. 32 (10). ACM: 108, 108–124, 124. doi:10.1145/263700.264352. Eisenbarth

Fortran (11,171 words) [view diff] exact match in snippet view article find links to article

Fortran control structures to facilitate structured programming". ACM SIGPLAN Notices. 10 (9). acm.org: 19–30. doi:10.1145/987316.987320. "F Programming

Filesystem Hierarchy Standard (1,582 words) [view diff] exact match in snippet view article find links to article

NixOS: A Purely Functional Linux Distribution (PDF). ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming. Victoria, British Columbia

Pretty-printing (1,291 words) [view diff] exact match in snippet view article find links to article

text Richard C. Waters, "Using the new common Lisp pretty printer", ACM SIGPLAN Lisp Pointers 5:2:27-34, April–June 1992. full text Jargon File, s.v. grind

Roger Moore (computer scientist) (1,330 words) [view diff] exact match in snippet view article

(November 1970). "Errors and fixes in the APL/360 Program Product". ACM SIGPLAN Notices. 5 (11): 33. doi:10.1145/987461.987467. S2CID 28611594. ""A Data

Loop-level parallelism (2,046 words) [view diff] exact match in snippet view article find links to article

Goff, Gina (1991). "Practical dependence testing". Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation - PLDI

Gregor Kiczales (674 words) [view diff] exact match in snippet view article find links to article

A. (September 1, 1988). "Common Lisp Object System specification". ACM SIGPLAN Notices. 23 (SI): 1–142. doi:10.1145/885631.885632. ISSN 0362-1340. S2CID 27580105

List of computer scientists (5,229 words) [view diff] exact match in snippet view article find links to article

Rod Burstall – languages COWSEL (renamed POP-1), POP-2, NPL, Hope; ACM SIGPLAN 2009 PL Achievement Award Michael Butler – Event-B Pino Caballero Gil –

Bunched logic (2,856 words) [view diff] exact match in snippet view article find links to article

"Syntactic control of interference". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp. 39–46

SXML (492 words) [view diff] exact match in snippet view article find links to article

<and > respectively). Kiselyov, Oleg (2002). "SXML Specification". ACM SIGPLAN Notices. 37 (6): 52–58. doi:10.1145/571727.571736. S2CID 13955814. Kiselyov

Fortran (11,171 words) [view diff] exact match in snippet view article find links to article

Fortran control structures to facilitate structured programming". ACM SIGPLAN Notices. 10 (9). acm.org: 19–30. doi:10.1145/987316.987320. "F Programming

Hindley–Milner type system (8,534 words) [view diff] exact match in snippet view article find links to article

(January 2012). "Giving Haskell a promotion". Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. pp. 53–66. doi:10

Live coding (1,522 words) [view diff] exact match in snippet view article find links to article

languages to dance to: Live Coding with Tidal". In proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (PDF)

Double-checked locking (2,142 words) [view diff] exact match in snippet view article find links to article

Hans-J (Jun 2005). "Threads cannot be implemented as a library" (PDF). ACM SIGPLAN Notices. 40 (6): 261–268. doi:10.1145/1064978.1065042. Archived from the

Dark silicon (559 words) [view diff] exact match in snippet view article find links to article

"Conservation cores: reducing the energy of mature computations" (PDF). ACM SIGPLAN Notices. 45 (3): 205–218. doi:10.1145/1735971.1736044. ISSN 0362-1340.

Vector Pascal (170 words) [view diff] exact match in snippet view article find links to article

are also incorporated. Vector Pascal Compiler at sourceforge.net Reference Manual in SIGPLAN Notices Orthogonal Parallel Processing in Vector Pascal

Control-flow graph (1,548 words) [view diff] exact match in snippet view article find links to article

representation Frances E. Allen (July 1970). "Control flow analysis". SIGPLAN Notices. 5 (7): 1–19. doi:10.1145/390013.808479. Reese T. Prosser (1959)

ALGOL 68 (9,581 words) [view diff] exact match in snippet view article find links to article

of ALGOL 68. History of Programming Languages-II. Vol. 28. also in ACM SIGPLAN Notices 28(3), March 1993 (includes a comprehensive bibliography of the

SP/k (282 words) [view diff] exact match in snippet view article find links to article

ACM 20,5 (May 1977) Richard C. Holt, "Teaching the Fatal Disease (or) Introductory Computer Programming Using PL/I", ACM SIGPLAN Notices 8,5 (May 1973)

Josh Fisher (783 words) [view diff] exact match in snippet view article find links to article

Compiler Construction, 1984: 37–47. Retrospective, Best of PLDI, ACM SIGPLAN Notices, 39(4):112, 2003. B. Ramakrishna Rau, Joseph A. Fisher: Instruction-level

Kenneth E. Iverson (6,476 words) [view diff] exact match in snippet view article find links to article

Adin D.; Iverson, Kenneth E. (August 1978). "The Evolution of APL". ACM SIGPLAN Notices. 13 (8): 47–57. doi:10.1145/960118.808372. S2CID 6050177. Retrieved

Thunk (1,888 words) [view diff] exact match in snippet view article find links to article

Cost of Virtual Function Calls in C++" (PDF). Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications

Smalltalk (9,782 words) [view diff] exact match in snippet view article find links to article

Future: the story of Squeak, a practical Smalltalk written in itself". ACM SIGPLAN Notices. 32 (10). ACM Digital Library: 318–326. doi:10.1145/263700.263754

LogP machine (263 words) [view diff] exact match in snippet view article find links to article

1993), "LogP: Towards a realistic model of parallel computation", ACM SIGPLAN Notices, 28 (7): 1–12, CiteSeerX 10.1.1.319.7827, doi:10.1145/173284.155333

Scheme (programming language) (8,206 words) [view diff] exact match in snippet view article

(2016). "Binding as sets of scopes". Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 705–717. doi:10

Ahead-of-time compilation (980 words) [view diff] exact match in snippet view article find links to article

Craig (2002-01-14). "Staged compilation". Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

ARP4754 (1,560 words) [view diff] exact match in snippet view article find links to article

aviation software oversight improvement". Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on

Language workbench (588 words) [view diff] exact match in snippet view article find links to article

specification of languages and IDEs.". Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications

Iterative reconstruction (1,784 words) [view diff] exact match in snippet view article find links to article

performance model based image reconstruction". Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP '16

Constraint programming (2,322 words) [view diff] exact match in snippet view article find links to article

J-L. Lassez. "Constraint logic programming." Proceedings of the 14th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 1987. Mayoh

ISWIM (651 words) [view diff] exact match in snippet view article find links to article

Zoran (April 1993). "A definition of an ISWIM-like language via Scheme". ACM SIGPLAN Notices. 28 (4): 29–38. doi:10.1145/152739.152743. S2CID 14379260.

Symbolic execution (1,554 words) [view diff] exact match in snippet view article find links to article

"Efficient State Merging in Symbolic Execution". Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. New York

Barbara Liskov (1,803 words) [view diff] exact match in snippet view article find links to article

Zilles, Stephen (1974-03-28). "Programming with abstract data types". ACM SIGPLAN Notices. 9 (4): 50–59. doi:10.1145/942572.807045. ISSN 0362-1340. Liskov

Parametric polymorphism (2,058 words) [view diff] exact match in snippet view article find links to article

inference for finite-rank intersection types". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for

James B. Saxe (240 words) [view diff] exact match in snippet view article find links to article

Stata, Raymie (May 2002), "Extended static checking for Java", Proceedings of PLDI 2002, SIGPLAN Notices, 37 (5): 234–245, doi:10.1145/543552.512558

F2c (237 words) [view diff] exact match in snippet view article find links to article

1990. Also the paper of the same title by S. I. Feldman, published in ACM SIGPLAN Fortran Forum, vol. 9, issue 2, p. 21–22 (1990). The f2c source code and

Scribe (markup language) (1,124 words) [view diff] exact match in snippet view article

document formatting", Proceedings of the POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p. 24-31 doi:10

Frama-C (762 words) [view diff] exact match in snippet view article find links to article

report: OCaml for an industrial-strength static analysis framework". ACM SIGPLAN Notices. 44 (9): 281–286. doi:10.1145/1631687.1596591. "Why homepage".

Structure editor (1,190 words) [view diff] exact match in snippet view article find links to article

for incremental semantic analysis". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL). New York, NY:

Double-ended queue (2,281 words) [view diff] exact match in snippet view article find links to article

84, 124) Chris Okasaki (Aug. 1997), Catenable double-ended queues, ACM SIGPLAN Notices Volume 32 Issue 8 Haim Kaplan, Chris Okasaki, and Robert E. Tarjan

PAM library (571 words) [view diff] exact match in snippet view article find links to article

Daniel; Belloch, Guy E. (23 March 2018). "PAM: parallel augmented maps". ACM SIGPLAN Notices. 53 (1): 290–304. doi:10.1145/3200691.3178509. ISSN 0362-1340.

Cecil (programming language) (297 words) [view diff] exact match in snippet view article

optimizing compiler for object-oriented languages". Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Schizophrenia (object-oriented programming) (581 words) [view diff] exact match in snippet view article

ISBN 9783662050828. Stein, Lynn Andrea (1987-12-01). "Delegation is inheritance". ACM SIGPLAN Notices. 22 (12): 138–146 – via Association for Computing Machinery. Herrmann

The Computer Language Benchmarks Game (1,080 words) [view diff] exact match in snippet view article find links to article

Design and Implementation in Cyclone (PDF). Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation. Madrid, Spain

Abstraction (computer science) (3,922 words) [view diff] exact match in snippet view article

(1 May 1988). "Keynote address – data abstraction and hierarchy". ACM SIGPLAN Notices. 23. ACM: 17–34. doi:10.1145/62138.62141. ISBN 0897912667. S2CID 14219043

IBM Type-III Library (805 words) [view diff] exact match in snippet view article find links to article

(1978). "The development of the General Purpose Simulation System (GPSS)". SIGPLAN Notices. 14 (4): 183–198. doi:10.1145/800025.808382. ISSN 1558-1160. Extract

Message sequence chart (816 words) [view diff] exact match in snippet view article find links to article

"Multiple instances and symbolic variables in executable sequence charts". ACM SIGPLAN Notices. 37 (11): 83–100. CiteSeerX 10.1.1.20.5984. doi:10.1145/583854

Empty type (260 words) [view diff] exact match in snippet view article find links to article

types in polymorphic lambda calculus". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. Vol. 87. pp

Sandrine Blazy (273 words) [view diff] exact match in snippet view article find links to article

on CompCert, with the 2021 ACM Software System Award and the 2022 ACM SIGPLAN Programming Languages Software Award. In 2023, Blazy received the CNRS

Haddock (software) (270 words) [view diff] exact match in snippet view article

2006-10-11 at the Wayback Machine -(by Simon Marlow, Proceedings of the ACM SIGPLAN workshop on Haskell, 2002; PDF) "Haddock is being used to document the

Euclid (programming language) (342 words) [view diff] exact match in snippet view article

Mitchell and G.J. Popek 1977. Report on the programming language Euclid. SIGPLAN Notices 12, 2 (February 1977), 1-79. R.C. Holt, D.B. Wortman, J.R. Cordy

Molecular graphics (2,002 words) [view diff] exact match in snippet view article find links to article

two-dimensional interface of an interactive system for molecular studies". ACM SIGPLAN Notices. 7 (10): 76–85. doi:10.1145/942576.807017. Brooks FP Jr. The Computer

NesC (356 words) [view diff] exact match in snippet view article find links to article

"The nesC Language: A Holistic Approach to Networked Embedded Systems". SIGPLAN Notices. 38 (5). Association for Computing Machinery: 1–11. doi:10.1145/780822

Catamorphism (1,835 words) [view diff] exact match in snippet view article find links to article

inductive datatypes with negative occurrences". Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. ICFP '11. Catamorphisms

Tracing garbage collection (5,246 words) [view diff] exact match in snippet view article find links to article

(June 22, 2001). "A Parallel, Real-Time Garbage Collector" (PDF). ACM SIGPLAN Notices. 36 (5): 125–136. doi:10.1145/381694.378823. Bacon, David F.; Cheng

IBM Type-III Library (805 words) [view diff] exact match in snippet view article find links to article

(1978). "The development of the General Purpose Simulation System (GPSS)". SIGPLAN Notices. 14 (4): 183–198. doi:10.1145/800025.808382. ISSN 1558-1160. Extract

Schizophrenia (object-oriented programming) (581 words) [view diff] exact match in snippet view article

ISBN 9783662050828. Stein, Lynn Andrea (1987-12-01). "Delegation is inheritance". ACM SIGPLAN Notices. 22 (12): 138–146 – via Association for Computing Machinery. Herrmann

Typestate analysis (1,836 words) [view diff] exact match in snippet view article find links to article

compile-time enforcement of security". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. pp. 276–284

Sandrine Blazy (273 words) [view diff] exact match in snippet view article find links to article

on CompCert, with the 2021 ACM Software System Award and the 2022 ACM SIGPLAN Programming Languages Software Award. In 2023, Blazy received the CNRS

Molecular graphics (2,002 words) [view diff] exact match in snippet view article find links to article

two-dimensional interface of an interactive system for molecular studies". ACM SIGPLAN Notices. 7 (10): 76–85. doi:10.1145/942576.807017. Brooks FP Jr. The Computer

Algebraic data type (2,092 words) [view diff] exact match in snippet view article find links to article

history of Haskell: being lazy with class". Proceedings of the third ACM SIGPLAN conference on History of programming languages. ISBN 978-1-59593-766-7

John Regehr (174 words) [view diff] exact match in snippet view article find links to article

Regehr, John (2011). "Finding and understanding bugs in C compilers". ACM SIGPLAN Notices. 46 (6): 283. CiteSeerX 10.1.1.434.8805. doi:10.1145/1993316.1993532

Haddock (software) (270 words) [view diff] exact match in snippet view article

2006-10-11 at the Wayback Machine -(by Simon Marlow, Proceedings of the ACM SIGPLAN workshop on Haskell, 2002; PDF) "Haddock is being used to document the

Transitive closure (2,306 words) [view diff] exact match in snippet view article find links to article

"Universality of data retrieval languages". Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages - POPL '79. pp. 110–119

Unix System Laboratories (4,439 words) [view diff] exact match in snippet view article find links to article

Glen; Murray, Robert B. (December 1992). "Template Instantiation For C++". SIGPLAN Notices. 27 (12): 47–56. doi:10.1145/142181.142195. S2CID 27330199. Carroll

Robert L. Constable (807 words) [view diff] exact match in snippet view article find links to article

Scott D. (1979). "A PL/CV Precis". Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79). Association

Liuba Shrira (350 words) [view diff] exact match in snippet view article find links to article

for efficient asynchronous procedure calls in distributed systems". ACM SIGPLAN Notices. 23 (7): 260–267. doi:10.1145/960116.54016. ISSN 0362-1340. "Keynote

FP (programming language) (897 words) [view diff] exact match in snippet view article

Almaden Research Center, Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, CA, January

Camel case (4,584 words) [view diff] exact match in snippet view article find links to article

Niklaus Wirth (2007). "Modula-2 and Oberon". Proceedings of the third ACM SIGPLAN conference on History of programming languages. HOPL III - San Diego. pp

Lua (programming language) (5,450 words) [view diff] exact match in snippet view article

W. (2007). "The evolution of Lua" (PDF). Proceedings of the third ACM SIGPLAN conference on History of programming languages. pp. 2–1–2–26. doi:10.1145/1238844

Steensgaard's algorithm (250 words) [view diff] exact match in snippet view article find links to article

analysis in almost linear time" (PDF). POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY,

Dart (programming language) (3,357 words) [view diff] exact match in snippet view article

meta-level facilities of object-oriented programming languages" (PDF). ACM SIGPLAN Notices. 39 (10). ACM: 331–344. doi:10.1145/1035292.1029004. Retrieved

ALGOL 60 (2,762 words) [view diff] exact match in snippet view article find links to article

"The European Side of the Last Phase of the Development of ALGOL 60". ACM SIGPLAN Notices. 13 (8): 15–44. doi:10.1145/960118.808370. S2CID 15552479. Edinburgh

Software design pattern (3,185 words) [view diff] exact match in snippet view article find links to article

pattern implementation in Java and AspectJ". Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Coordinate descent (1,649 words) [view diff] exact match in snippet view article find links to article

performance model based image reconstruction". Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP '16

Software testing (10,043 words) [view diff] exact match in snippet view article find links to article

Koen; Hughes, John (2000). "QuickCheck". Proceedings of the fifth ACM SIGPLAN international conference on Functional programming. Icfp '00. pp. 268–279

Una-May O'Reilly (550 words) [view diff] exact match in snippet view article find links to article

optimization: improving compiler heuristics with machine learning". ACM SIGPLAN Notices. 38 (5): 77–90. doi:10.1145/780822.781141. ISSN 0362-1340. "Una-May

Bluespec (568 words) [view diff] exact match in snippet view article find links to article

Haskell: being lazy with class". HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages. San Diego, California:

Empirical algorithmics (1,220 words) [view diff] exact match in snippet view article find links to article

Dmitrijs; Hauswirth, Matthias (2012). Algorithmic Profiling. 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Digital

Null pointer (2,024 words) [view diff] exact match in snippet view article find links to article

Kathryn S. (2007). "Tracking bad apples". Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA

GrammaTech (894 words) [view diff] exact match in snippet view article find links to article

"The Synthesizer Generator". In SDE 1 Proc. of the first ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments

Lucy Gilbert (287 words) [view diff] exact match in snippet view article find links to article

languages for distributed computing". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. St. Petersburg

Generalized processor sharing (827 words) [view diff] exact match in snippet view article find links to article

multiprocessor fair scheduling using distributed weighted round-robin" (PDF). ACM SIGPLAN Notices. 44 (4): 65. CiteSeerX 10.1.1.567.2170. doi:10.1145/1594835.1504188

Kenneth L. McMillan (572 words) [view diff] exact match in snippet view article find links to article

generalization". ACM SIGPLAN Notices. 51 (6): 614–630. doi:10.1145/2980983.2908118. "Most Influential POPL Paper Award". ACM SIGPLAN. "LICS - Archive".

META II (1,130 words) [view diff] exact match in snippet view article find links to article

SYNTAX equation. These languages were developed by members of the L.A. ACM SIGPLAN sub-group on Syntax Directed Compilers. Schorre viewed the META II language

Principal type (327 words) [view diff] exact match in snippet view article find links to article

principal typings and what are they good for?". Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96. pp

Lambda-mu calculus (836 words) [view diff] exact match in snippet view article find links to article

for functional computation with control". Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97. New

Intentional Software (814 words) [view diff] exact match in snippet view article find links to article

Shane (2006). "Intentional software". Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Relational model (4,196 words) [view diff] exact match in snippet view article find links to article

Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Date, Christopher

COBOL (14,240 words) [view diff] exact match in snippet view article find links to article

Beyer 2009, p. 290. Sammet, Jean (1978). "The Early History of COBOL". ACM SIGPLAN Notices. 13 (8): 121–161. doi:10.1145/960118.808378. S2CID 10743643. Sammet

WATFIV (2,301 words) [view diff] exact match in snippet view article find links to article

Graham (July 1970). "Design characteristics of the WATFOR compiler". ACM SIGPLAN Notices: Proceedings of a Symposium on Compiler Optimization. 5 (7). Association

CEK Machine (1,846 words) [view diff] exact match in snippet view article find links to article

August 2014), "Distilling abstract machines", Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, ACM, pp. 363–376, doi:10

Partial application (1,290 words) [view diff] exact match in snippet view article find links to article

Eval/Apply for Higher-order Languages", ICFP '04 Proceedings of the ninth ACM SIGPLAN international conference on Functional programming Benjamin C. Pierce et

Linear temporal logic (1,832 words) [view diff] exact match in snippet view article find links to article

"On the synthesis of a reactive module" In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL '89). Association

Parsing (4,881 words) [view diff] exact match in snippet view article find links to article

International Symposium on Practical Aspects of Declarative Languages (PADL), ACM-SIGPLAN , Volume 4902/2008, Pages: 167 - 181, January 2008, San Francisco. Rekers

Polymorphic recursion (740 words) [view diff] exact match in snippet view article find links to article

λ-calculus using a Stack of Regions". POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY,

Pascal Costanza (282 words) [view diff] exact match in snippet view article find links to article

the Post-Java Era, Darmstadt, Germany, July 22, 2003; published in ACM SIGPLAN Notices Volume 38, Issue 8 (August 2003), ACM Press JMangler-A Powerful

Miranda (programming language) (1,733 words) [view diff] exact match in snippet view article

history of Haskell: Being lazy with class". Proceedings of the third ACM SIGPLAN conference on History of programming languages. New York, NY, USA: ACM

WATFIV (2,301 words) [view diff] exact match in snippet view article find links to article

Graham (July 1970). "Design characteristics of the WATFOR compiler". ACM SIGPLAN Notices: Proceedings of a Symposium on Compiler Optimization. 5 (7). Association

Leo (text editor) (816 words) [view diff] exact match in snippet view article

"Reimagining Literate Programming". OOPSLA '09: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and

Rachid Guerraoui (1,709 words) [view diff] exact match in snippet view article find links to article

the correctness of transactional memory". Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming - PPoPP '08

A-normal form (445 words) [view diff] exact match in snippet view article find links to article

"The Essence of Compiling with Continuations" (PDF). Proceedings ACM SIGPLAN 1993 Conf. on Programming Language Design and Implementation, PLDI'93.

Laning and Zierler system (830 words) [view diff] exact match in snippet view article find links to article

John Warner. The History of FORTRAN I, II and III. Proceedings First ACM SIGPLAN conference on History of programming languages. San Jose, California, USA

Linear temporal logic (1,832 words) [view diff] exact match in snippet view article find links to article

"On the synthesis of a reactive module" In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL '89). Association

Charles Simonyi (3,314 words) [view diff] exact match in snippet view article find links to article

S. (2006). "Intentional software". Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Polymorphic recursion (740 words) [view diff] exact match in snippet view article find links to article

λ-calculus using a Stack of Regions". POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY,

Marionnet (721 words) [view diff] exact match in snippet view article find links to article

Six Months and Be Happy Archived 2011-01-25 at the Wayback Machine: ACM SIGPLAN Workshop on ML, Freiburg (Germany), 2007. Marionnet : un logiciel graphique

F Sharp (programming language) (4,074 words) [view diff] exact match in snippet view article

Trelford, Phil (2007). "Learning with F#". Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming - CUFP '07. pp. 1–2

HaXml (480 words) [view diff] exact match in snippet view article find links to article

"Haskell and XML: generic combinators or type-based translation?" (PDF). ACM SIGPLAN Notices. 34 (9): 148–159. doi:10.1145/317765.317794. Official website

PLEX (programming language) (354 words) [view diff] exact match in snippet view article

Armstrong, Joe (2007). "A history of Erlang". Proceedings of the third ACM SIGPLAN conference on History of programming languages. doi:10.1145/1238844.1238850

Jules Schwartz (272 words) [view diff] exact match in snippet view article find links to article

Schwartz, Jules I. (August 8, 1978). "The Development of Jovial" (PDF). ACM SIGPLAN Notices. 13 (8): 203. doi:10.1145/960118.808385. S2CID 17913060. Retrieved

Janus (concurrent constraint programming language) (406 words) [view diff] exact match in snippet view article

"Actors as a special case of concurrent constraint (logic) programming". ACM SIGPLAN Notices. 25 (10): 57–66. doi:10.1145/97946.97955. Retrieved 29 October

Ted Kaehler (1,257 words) [view diff] exact match in snippet view article find links to article

future: The story of Squeak, a practical Smalltalk written in itself". ACM SIGPLAN Notices. 32: 318–326. doi:10.1145/263700.263754. Kaehler, Ted (March 29

Fault tolerance (4,996 words) [view diff] exact match in snippet view article find links to article

and Containment via Recovery Shepherding". Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '14'

De Bruijn index (1,593 words) [view diff] exact match in snippet view article find links to article

"Engineering formal metatheory" (PDF). Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, New

Concurrent ML (589 words) [view diff] exact match in snippet view article find links to article

(2004). "Kill-safe synchronization abstractions". Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation. Vol

Concurrent Euclid (295 words) [view diff] exact match in snippet view article find links to article

pages. R.C. Holt 1982. A short introduction to Concurrent Euclid. ACM SIGPLAN Notices 17, 5 (May. 1982), 60-79. R.C. Holt 1982. Tunis: a Unix look-alike

Linearizability (3,291 words) [view diff] exact match in snippet view article find links to article

(1987). "Axioms for concurrent objects". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. pp. 13–26

Harley Flanders (1,584 words) [view diff] exact match in snippet view article find links to article

1137/0132058. Flanders, Harley (December 1983). "Coroutines in Pascal". ACM SIGPLAN Notices. 18 (12): 49–56. doi:10.1145/988193.988198. S2CID 21839428. with

Susan Gerhart (513 words) [view diff] exact match in snippet view article find links to article

theory of test data selection, Toward a theory of test data selection". ACM SIGPLAN Notices. 10 (6): 493, 493–510, 510. doi:10.1145/800027.808473. S2CID 374434

Norman Meyrowitz (704 words) [view diff] exact match in snippet view article find links to article

of an object-oriented hypemedia system and applications framework. ACM SIGPLAN Notices, 21(11), 186–201. Yankelovich, N., Haan, B. J., Meyrowitz, N. K

Lisp (book) (728 words) [view diff] exact match in snippet view article

suggested as a better choice. Daniel Weinreb reviewed the 2nd edition for ACM SIGPLAN Lisp Pointers. He noted significant improvements in the example code, facilitated

HTML (9,603 words) [view diff] exact match in snippet view article find links to article

Feminism in Programming Language Design". Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on

Abstract interpretation (2,924 words) [view diff] exact match in snippet view article find links to article

functions for analyzing embedded software". Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded

Dimensional analysis (11,900 words) [view diff] exact match in snippet view article find links to article

of measure: domain-specific constraint solving in GHC Haskell" (PDF). SIGPLAN Notices. 50 (12): 11–22. doi:10.1145/2887747.2804305. Archived (PDF) from

Transaction logic (728 words) [view diff] exact match in snippet view article find links to article

Tabling for Transaction Logic. In Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP)

Union type (2,571 words) [view diff] exact match in snippet view article find links to article

Ritchie, Dennis M. (March 1993). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3): 201–208. doi:10.1145/155360.155580. The scheme of type

Alliant Computer Systems (1,359 words) [view diff] exact match in snippet view article find links to article

(2007). The rise and fall of High Performance Fortran. HOPL III: 3rd ACM SIGPLAN conference on History of programming languages. pp. 7-1 – 7-22. doi:10

Tiny BASIC (6,149 words) [view diff] exact match in snippet view article find links to article

Andrews1994, p. 91. Allison, Dennis (July 1976). "Design notes for TINY BASIC". SIGPLAN Notices. 11 (7). ACM: 25–33. doi:10.1145/987491.987494. S2CID 18819472

Heinz Lienhard (344 words) [view diff] case mismatch in snippet view article find links to article

Heinz Lienhard and Rudolf Schild: Echtzeitprogrammierung in PORTAL. ACM Sigplan Mitteilungen, Vol. 15, April 1980, Nr. 4, pp. 79 to 92. Lienhard, Heinz:

PL/C (4,270 words) [view diff] exact match in snippet view article find links to article

Jean E. (November 1978). "Roster of programming languages for 1976–77". SIGPLAN Notices. 13 (11): 56–85. doi:10.1145/953777.953783. S2CID 13509254. Leavitt

Ralph Griswold (600 words) [view diff] exact match in snippet view article find links to article

Griswold, Ralph E.; Hanson, David R. (April 1977). "An overview of SL5". ACM SIGPLAN Notices. 12 (4): 40–50. doi:10.1145/954654.954658. S2CID 38692673. Griswold

Language-based system (444 words) [view diff] exact match in snippet view article find links to article

non-interference by abstract interpretation Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages pp 186–97 (2004)

Elizabeth Rather (293 words) [view diff] exact match in snippet view article find links to article

Donald R.; Moore, Charles H. (March 1993). "The Evolution of Forth". ACM SIGPLAN Notices. 28 (3): 177–199. doi:10.1145/155360.155369. ANS Forth Standard

Software transactional memory (2,117 words) [view diff] exact match in snippet view article find links to article

"Composable memory transactions" (PDF). Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05

Quadratic formula (5,797 words) [view diff] exact match in snippet view article find links to article

"You Could Learn a Lot from a Quadratic: Overloading Considered Harmful", SIGPLAN Notices, 33 (1): 30–38, doi:10.1145/609742.609746 Mastronardi, Nicola;

Industrial Real-Time Fortran (324 words) [view diff] exact match in snippet view article find links to article

Kneis (October 1981). "Draft standard industrial real-time FORTRAN". ACM SIGPLAN Notices 16 (7): 45–60. MIL-STD-1753. DoD Supplement to X3.9-1978. U. S

Template Haskell (231 words) [view diff] exact match in snippet view article find links to article

"Template meta-programming for Haskell". Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. Association for Computing Machinery. pp. 1–16. doi:10

Comparison of programming languages by type system (373 words) [view diff] exact match in snippet view article find links to article

class loading in the Java virtual machine. Volume 33, Issue 10 of ACM SIGPLAN Notices, October 1998. "Types · the Julia Language". Archived from the

Inheritance (object-oriented programming) (3,811 words) [view diff] exact match in snippet view article

Peter S. (1990). Inheritance is not subtyping. Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). pp. 125–135

Cache prefetching (2,495 words) [view diff] exact match in snippet view article find links to article

Reconstructing Program Behavior in the Processor Cache Hierarchy". ACM SIGPLAN Notices. 52 (4): 737–749. doi:10.1145/3093336.3037701. ISSN 0362-1340.

Arithmetic shift (1,667 words) [view diff] exact match in snippet view article find links to article

Guy L. (November 1977). "Arithmetic shifting considered harmful". ACM SIGPLAN Notices Archive. 12 (11). New York: ACM Press: 61–69. doi:10.1145/956641

Gaussian integer (4,797 words) [view diff] exact match in snippet view article find links to article

Baker (1993). "Complex Gaussian Integers for "Gaussian Graphics"". ACM SIGPLAN Notices. 28 (11): 22–27. doi:10.1145/165564.165571. S2CID 8083226. IMO

Flix (programming language) (3,274 words) [view diff] exact match in snippet view article

K. (1988). "Polymorphic effect systems". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp