Find link

language:

Find link is a tool written by Edward Betts.

searching for SIGPLAN 438 found (753 total)

alternate case: sIGPLAN

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Alan Eustace (1,115 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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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;

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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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,

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.

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

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

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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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"

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)

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

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

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

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

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

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

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)

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

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)

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

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

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

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

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

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

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

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

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

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

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

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é

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

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,

.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

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;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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)

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

Valgrind (1,445 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;

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

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)

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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.

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

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

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

Floating-point arithmetic (14,182 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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,

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.

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

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

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

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

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

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

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

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

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

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 –

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

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

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

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

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

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

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

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)

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 –

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)

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

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.

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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.

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

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

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

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

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

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

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

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

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

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:

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

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

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

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

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

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

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

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

META II (1,092 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. It is notable how Schorre thought

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

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

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

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:

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

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

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

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

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

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

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

Lambda-mu calculus (837 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

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

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

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

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

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

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

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

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

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

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

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

semantic and textual differences between two versions of a program". ACM SIGPLAN Notices. 25 (6): 234–245. CiteSeerX 10.1.1.49.3377. doi:10.1145/93548.93574

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

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

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

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

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

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.

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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:

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

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

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

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,

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

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'

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

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

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

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

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

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

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

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

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

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

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;

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

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

Elizabeth Rather (293 words) [view diff] exact match in snippet view article find links to article

Donald R.; Moore, Charles H. (March 1993). "The Evolution of Forth". ACM SIGPLAN Notices. 28 (3): 177–199. doi:10.1145/155360.155369. ANS Forth Standard

Software transactional memory (2,117 words) [view diff] exact match in snippet view article find links to article

"Composable memory transactions" (PDF). Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05

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

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)

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

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

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

Proceedings of the 2002 Workshop on Memory System Performance (MSP '02), SIGPLAN Notices, 38 (2S): 37–43, CiteSeerX 10.1.1.586.7474, doi:10.1145/773039

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)

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

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.

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

List of programmers (3,766 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 Dries Buytaert – created Drupal Steve Capps –