Find link

SIGPLAN not in Functional programming

language:

Find link is a tool written by Edward Betts.

searching for SIGPLAN 439 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

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

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

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

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

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

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

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

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

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

Barbara G. Ryder (284 words) [view diff] exact match in snippet view article find links to article

for Computing Machinery SIGPLAN (2013-08-17). "SIGPLAN Distinguished Service Award". SIGPLAN. Retrieved 2013-08-17. ACM SIGPLAN. "20 Years of PLDI (1979–1999)

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

Barbara G. Ryder (284 words) [view diff] exact match in snippet view article find links to article

for Computing Machinery SIGPLAN (2013-08-17). "SIGPLAN Distinguished Service Award". SIGPLAN. Retrieved 2013-08-17. ACM SIGPLAN. "20 Years of PLDI (1979–1999)

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

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

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

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

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

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

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

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)

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

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)

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

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

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)

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)

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

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

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

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

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

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

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;

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

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

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

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

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

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

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

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ţă

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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,

Deforestation (computer science) (182 words) [view diff] exact match in snippet view article

C.A.R. Hoare (2001). "Playing by the rules: rewriting as a practical optimization technique in GHC" (PDF). Proc. ACM/SIGPLAN Haskell Workshop. v t e

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

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

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;

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

Deforestation (computer science) (182 words) [view diff] exact match in snippet view article

C.A.R. Hoare (2001). "Playing by the rules: rewriting as a practical optimization technique in GHC" (PDF). Proc. ACM/SIGPLAN Haskell Workshop. v t e

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

History of compiler construction (6,372 words) [view diff] exact match in snippet view article find links to article

parsing". ACM SIGPLAN Notices. Vol. 21, no. 7. G.H. Roberts (1988). "Recursive ascent: an LR analog to recursive descent". ACM SIGPLAN Notices. 23 (8):

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.

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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"

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

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

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

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

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)

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

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

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)

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

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

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;

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

.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

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

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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

Benjamin C. Pierce (328 words) [view diff] case mismatch in snippet view article find links to article

acm.org. Retrieved 2019-09-10. "Most Influential POPL Paper Award". www.sigplan.org. Retrieved 2019-09-10. Prof. Pierce's Homepage Benjamin C. Pierce at

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

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

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

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

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

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

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

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

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

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

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

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).

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

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

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;

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

David Taylor Model Basin (591 words) [view diff] exact match in snippet view article find links to article

December 2021. Sammet, Jean (1978). "The Early History of COBOL". ACM SIGPLAN Notices. 13 (8). Association for Computing Machinery: 121–161. doi:10.1145/960118

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

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

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

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

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)

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

David Taylor Model Basin (591 words) [view diff] exact match in snippet view article find links to article

December 2021. Sammet, Jean (1978). "The Early History of COBOL". ACM SIGPLAN Notices. 13 (8). Association for Computing Machinery: 121–161. doi:10.1145/960118

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

Class-responsibility-collaboration card (361 words) [view diff] exact match in snippet view article find links to article

Cunningham, Ward (1986). "A Laboratory for Teaching Object Oriented Thinking". SIGPLAN Notices. 24 (10): 1–6. doi:10.1145/74878.74879. Martin Fowler, UML Distilled

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

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)

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

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

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

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

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.

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

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

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

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

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

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.

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

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

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

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}}:

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:

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

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

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,

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

Sea of nodes (668 words) [view diff] exact match in snippet view article find links to article

1995). "Global code motion/Global value numbering". Proceedings of the ACM SIGPLAN 1995 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

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

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 –

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

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)

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.

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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".

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.

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:

Jeanne Ferrante (817 words) [view diff] exact match in snippet view article find links to article

the SSA form by the Association for Computing Machinery with their 2006 SIGPLAN Programming Languages Achievement Award. In 1992, Ferrante and her husband

Brian Reid (computer scientist) (1,936 words) [view diff] exact match in snippet view article

approach to computer document formatting". Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80. ACM

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

Return statement (2,186 words) [view diff] exact match in snippet view article find links to article

Markku (March 1989). "How to best return the value of a function". ACM SIGPLAN Notices. 24 (3). Association for Computing Machinery: 55–56. doi:10.1145/66083

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

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

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

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

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

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

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

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

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:

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

Object-oriented operating system (3,399 words) [view diff] exact match in snippet view article find links to article

Peter (December 1987). "Dimensions of Object-based Language Design". ACM SIGPLAN Notices. 22 (12): 168–182. doi:10.1145/38807.38823. Also in Conference

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

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

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

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

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

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

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

Lua (programming language) (5,427 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

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

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

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

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

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:

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

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

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

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

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

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

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

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

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

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

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".

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

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

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

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

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

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

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

Object composition (2,284 words) [view diff] exact match in snippet view article find links to article

Mira (October 1, 2001). "Object-oriented composition untangled". ACM SIGPLAN Notices. 36 (11): 283–299. doi:10.1145/504311.504303. ISSN 0362-1340. OMG

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

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

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

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

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

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

Increment and decrement operators (1,196 words) [view diff] exact match in snippet view article find links to article

operators". Swift evolution. Ritchie, Dennis M. (March 1993). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3): 5. doi:10.1145/155360.155580.

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

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

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

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.

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

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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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:

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

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

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)

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

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

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

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;

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)

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

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.

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

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

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

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

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