Find link

SIGPLAN not in Iterative reconstruction

language:

jump to random article

view article
Find link is a tool written by Edward Betts.

searching for SIGPLAN 439 found (754 total)

alternate case: sIGPLAN

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

European Symposium on Programming HOPL – ACM SIGPLAN History of Programming Languages Conference ICFP – ACM SIGPLAN International Conference on Functional Programming
Matthew Flatt (468 words) [view diff] exact match in snippet view article find links to article
the macro system, and library links. In 2018, Flatt received the ACM SIGPLAN's Programming Languages Software Award (jointly with the Racket core team)
F* (programming language) (430 words) [view diff] exact match in snippet view article
programming with value-dependent types. ICFP '11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming. Vol. 46. Tokyo, Japan:
Region-based memory management (2,919 words) [view diff] exact match in snippet view article find links to article
dynamically allocated objects". POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY,
Speculative multithreading (1,180 words) [view diff] exact match in snippet view article find links to article
separation for privatization and reductions" (PDF). Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '12
False sharing (1,041 words) [view diff] exact match in snippet view article find links to article
memory multiprocessors through compile time data transformations". ACM SIGPLAN Notices. 30 (8). Association for Computing Machinery (ACM): 179–188. doi:10
Recursive ascent parser (2,004 words) [view diff] exact match in snippet view article find links to article
"Very fast LR parsing". Proceedings of the 1986 SIGPLAN symposium on Compiler construction - SIGPLAN '86. pp. 145–151. doi:10.1145/12276.13326. ISBN 0897911970
Register allocation (5,066 words) [view diff] exact match in snippet view article find links to article
spilling via graph coloring". Proceedings of the 1982 SIGPLAN symposium on Compiler construction - SIGPLAN '82. pp. 98–101. doi:10.1145/800230.806984. ISBN 978-0897910743
Principle of least astonishment (1,651 words) [view diff] exact match in snippet view article find links to article
(December 1967). Southworth, R. N. (ed.). "Proposal for PL/I Pseudo-name". ACM SIGPLAN Notices. 2 (12) (PL/I Bulletin no. 5 ed.): 6. doi:10.1145/1139502.1139504
Pointer analysis (1,540 words) [view diff] exact match in snippet view article find links to article
(2011-01-26). "Pick your contexts well". Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '11. Austin
Non-blocking algorithm (2,385 words) [view diff] exact match in snippet view article find links to article
November 2003). "Language support for lightweight transactions" (PDF). ACM SIGPLAN Notices. 38 (11): 388. CiteSeerX 10.1.1.58.8466. doi:10.1145/949343.949340
Sonic Pi (477 words) [view diff] exact match in snippet view article find links to article
Alan F. (2013). "From sonic Pi to overtone". Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design. Farm '13. ACM. pp
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
Extensible programming (1,711 words) [view diff] exact match in snippet view article find links to article
Symposium, SIGPLAN Notices 4 no. 8 (August 1969). Schuman, S.A., ed., Proceedings of the International Symposium on Extensible Languages, SIGPLAN Notices
Refinement type (356 words) [view diff] exact match in snippet view article find links to article
Vazou, Niki. Liquid Haskell: Refinement Types for Haskell. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018). Volkov, Nikita
General-purpose programming language (1,501 words) [view diff] exact match in snippet view article find links to article
Joost (2000). "Domain-Specific Languages: An Annotated Bibliography". ACM SIGPLAN Notices. 35 (6): 26–36. CiteSeerX 10.1.1.33.8207. doi:10.1145/352029.352035
Matthias Felleisen (492 words) [view diff] exact match in snippet view article find links to article
Computer Science Education from the ACM. In 2012, he received the ACM SIGPLAN Programming Languages Achievement Award for "significant and lasting contribution
David A. Moon (717 words) [view diff] exact match in snippet view article find links to article
(PDF), Proceedings of the Second ACM SIGPLAN Conference on History of Programming Languages (HOPL-II), SIGPLAN Notices, 28 (3): 231–270, doi:10.1145/155360
Barbara G. Ryder (284 words) [view diff] exact match in snippet view article find links to article
for Computing Machinery SIGPLAN (2013-08-17). "SIGPLAN Distinguished Service Award". SIGPLAN. Retrieved 2013-08-17. ACM SIGPLAN. "20 Years of PLDI (1979–1999)
Generalized algebraic data type (1,325 words) [view diff] exact match in snippet view article find links to article
"Guarded recursive datatype constructors". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press. pp
Static single-assignment form (3,954 words) [view diff] exact match in snippet view article find links to article
Form". ACM SIGPLAN Notices. 30 (3): 13–22. doi:10.1145/202530.202532. Appel, Andrew W. (April 1998). "SSA is Functional Programming". ACM SIGPLAN Notices
Ada (programming language) (5,728 words) [view diff] exact match in snippet view article
translator and interpreter". Proceeding of the ACM-SIGPLAN symposium on Ada programming language – SIGPLAN '80. Vol. 15. pp. 194–201. doi:10.1145/948632.948659
Software pipelining (1,991 words) [view diff] exact match in snippet view article find links to article
the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation (PLDI 88), July 1988 pages 318-328. Also published as ACM SIGPLAN Notices
Donald B. Gillies (782 words) [view diff] exact match in snippet view article find links to article
pp. 93-97. On a transportable high level language for minicomputers, ACM SigPlan Notices (derive from SIGPLAN Conference) (Vol. 11, No. 4, April 1976.
Lazy evaluation (3,548 words) [view diff] exact match in snippet view article find links to article
resource-bounded execution yields efficient iteration". Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell '02): Pittsburgh, Pennsylvania, USA; October
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
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
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
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
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
Type class (2,293 words) [view diff] exact match in snippet view article find links to article
to make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). Association
Paul Hudak (245 words) [view diff] exact match in snippet view article find links to article
2003". Association for Computing Machinery. Retrieved May 1, 2015. "ACM SIGPLAN: Most Influential ICFP Paper Award". Association for Computing Machinery
Gprof (1,050 words) [view diff] exact match in snippet view article find links to article
Graph Execution Profiler // Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, SIGPLAN Notices, Vol. 17, No 6, pp. 120-126; doi: 10.1145/800230
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
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
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
IDL specification language (262 words) [view diff] exact match in snippet view article find links to article
Ada". Proceedings of the ACM-SIGPLAN symposium on Ada programming language. Annual International Conference on Ada. ACM-SIGPLAN. pp. 36–46. Retrieved 2016-02-10
Meta-circular evaluator (1,945 words) [view diff] exact match in snippet view article find links to article
Abstract Machines". Brics Report Series. 10 (13). 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'03):
Type inference (3,675 words) [view diff] exact match in snippet view article find links to article
automatic tool generation from ad hoc data." ACM SIGPLAN Notices. Vol. 43. No. 1. ACM, 2008." ACM SIGPLAN Notices. Vol. 43. No. 1. ACM, 2008. Lappin, Shalom;
Gradual typing (1,108 words) [view diff] exact match in snippet view article find links to article
Thatte, Satish (1990). "Quasi-static typing". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM
LIS (programming language) (176 words) [view diff] exact match in snippet view article
Ada". Proceedings of the ACM-SIGPLAN symposium on Ada programming language. Annual International Conference on Ada. ACM-SIGPLAN. pp. 36–46. Retrieved 2016-02-10
Memory safety (1,911 words) [view diff] exact match in snippet view article find links to article
runtime checks or garbage collection" (PDF). Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems. ACM. pp
David F. Bacon (783 words) [view diff] exact match in snippet view article find links to article
low overhead and consistent utilization". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03. pp
SETL (815 words) [view diff] exact match in snippet view article find links to article
translator and interpreter". Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80. Vol. 15. pp. 194–201. doi:10.1145/948632.948659
Portable C Compiler (1,126 words) [view diff] exact match in snippet view article find links to article
portable compiler: theory and practice". Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. Tucson, Arizona.: 97–104
Boilerplate text (517 words) [view diff] exact match in snippet view article find links to article
practical design pattern for generic programming". Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
Bogosort (1,884 words) [view diff] exact match in snippet view article find links to article
pearl)", Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP '05) (PDF), SIGPLAN Notices, pp. 192–203, doi:10.1145/1086365
Top-down parsing (1,368 words) [view diff] exact match in snippet view article find links to article
International Symposium on Practical Aspects of Declarative Languages (PADL), ACM-SIGPLAN , Volume 4902/2008, Pages: 167-181, January 2008, San Francisco. Frost
Functional programming (8,688 words) [view diff] exact match in snippet view article find links to article
Erlang". Proceedings of the third ACM SIGPLAN conference on History of programming languages. Third ACM SIGPLAN Conference on History of Programming Languages
Runtime predictive analysis (1,499 words) [view diff] exact match in snippet view article find links to article
Cormac (2012). "Sound predictive race detection in polynomial time". ACM SIGPLAN Notices. 47 (1): 387. doi:10.1145/2103621.2103702. ISSN 0362-1340. Şerbănuţă
Polymorphic Programming Language (111 words) [view diff] exact match in snippet view article find links to article
(eds.). "Some features of PPL – a Polymorphic Programming Language". ACM SIGPLAN Notices. 4 (8) (Proceedings of Extensible Language Symposium ed.). ACM
Futhark (programming language) (452 words) [view diff] exact match in snippet view article
Parallelism and In-Place Array Updates" (PDF). Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2017
Type safety (3,647 words) [view diff] exact match in snippet view article find links to article
"Principal type-schemes for functional programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association
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
Douglas T. Ross (2,851 words) [view diff] exact match in snippet view article find links to article
"Origins of the APT Language for Automatically Programmed Tools". ACM SIGPLAN Notices. 13 (8): 61–99. doi:10.1145/960118.808374. S2CID 17069101. Ross
Virtual machine (3,495 words) [view diff] exact match in snippet view article find links to article
Smalltalk written in itself". OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mary (programming language) (576 words) [view diff] exact match in snippet view article
later. van der Meulen, S. G. (June 1977). "ALGOL 68 might-have-beens". ACM SIGPLAN Notices. 12 (6): 1–18. doi:10.1145/872738.807137. Gjessing, Stein; Nygaard
William Cook (computer scientist) (207 words) [view diff] exact match in snippet view article
of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990) AppleScript. Proceedings of the third ACM SIGPLAN conference on History
L4 microkernel family (4,004 words) [view diff] exact match in snippet view article find links to article
the manual: an approach to high-assurance microkernel development". ACM SIGPLAN Haskell Workshop. Portland, Oregon. pp. 60–71. Klein, Gerwin; Elphinstone
Boomerang (programming language) (113 words) [view diff] exact match in snippet view article
and Alan Schmitt. Boomerang: Resourceful Lenses for String Data. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco
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
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
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)
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
Data-flow analysis (3,390 words) [view diff] exact match in snippet view article find links to article
Program Optimization" (PDF). Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL). POPL '73. Boston
Database theory (372 words) [view diff] exact match in snippet view article find links to article
Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Maier,
Database theory (372 words) [view diff] exact match in snippet view article find links to article
Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119). Maier,
System software (605 words) [view diff] exact match in snippet view article find links to article
Sammet, Jean (October 1971). "Brief Survey of Languages Used for Systems Implementation". ACM SIGPLAN Notices. 6 (9): 1–19. doi:10.1145/942596.807055.
Expression problem (1,863 words) [view diff] exact match in snippet view article find links to article
(1999). "Modular object-oriented programming with units and mixins". ACM SIGPLAN Notices. 34: 94–104. doi:10.1145/291251.289432. Cook, William (1989). A
Deforestation (computer science) (182 words) [view diff] exact match in snippet view article
C.A.R. Hoare (2001). "Playing by the rules: rewriting as a practical optimization technique in GHC" (PDF). Proc. ACM/SIGPLAN Haskell Workshop. v t e
Explicit parallelism (227 words) [view diff] exact match in snippet view article find links to article
programming: design of an overview class. Proceedings of the 2011 ACM SIGPLAN X10 Workshop. pp. 1–6. doi:10.1145/2212736.2212738. Dijkstra, Edsger W
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
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)
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
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
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
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
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
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
Polyvariance (215 words) [view diff] exact match in snippet view article find links to article
Information to Intersection and Union Types". Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98). 11
Hermes (programming language) (367 words) [view diff] exact match in snippet view article
ISBN 978-0-13-389537-7. Lowry, Andy (1992). "The Hermes language in outline form". ACM SIGPLAN Notices. 27 (8): 51–70. doi:10.1145/142137.142148. ISSN 0362-1340. S2CID 28615424
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
Haskell features (3,537 words) [view diff] exact match in snippet view article find links to article
Peyton Jones, Andrew Gordon, and Sigbjorn Finne. Concurrent Haskell. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PoPL). 1996. (Some
Le Lisp (316 words) [view diff] exact match in snippet view article find links to article
Guy L.; Gabriel, Richard P. (1 March 1993). "The evolution of Lisp". ACM SIGPLAN Notices. 28 (3): 231–270. doi:10.1145/155360.155373. ISSN 0362-1340. Retrieved
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
Source (programming language) (407 words) [view diff] exact match in snippet view article
SPLASH-E. Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2021). New York, NY: ACM SIGPLAN. pp. 65–70. doi:10.1145/3484272
ObjVlisp (451 words) [view diff] exact match in snippet view article find links to article
Pierre (1987). "Metaclasses are first class: The ObjVlisp Model". ACM SIGPLAN Notices. 22 (12): 156–162. doi:10.1145/38807.38822. ISSN 0362-1340. Ferber
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
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
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,
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
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
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
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
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
History of the Actor model (2,776 words) [view diff] exact match in snippet view article find links to article
history Kay, Alan (March 1993). "The Early History of Smalltalk" (PDF). ACM SIGPLAN Notices. 28 (3): 69–75. doi:10.1145/155360.155364. Archived from the original
Ike Nassi (634 words) [view diff] exact match in snippet view article find links to article
(August 1973). "Flowchart techniques for structured programming". ACM SIGPLAN Notices. 8 (8): 12–26. doi:10.1145/953349.953350. S2CID 38436079. Nassi
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
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
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
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
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
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
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
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
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.
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):
Memoization (3,741 words) [view diff] exact match in snippet view article find links to article
Functional Executable Specifications of Non-Deterministic Top-Down Parsers". SIGPLAN Notices. 29 (4): 23–30. doi:10.1145/181761.181764. S2CID 10616505. Frost
Read–eval–print loop (1,326 words) [view diff] exact match in snippet view article find links to article
principled approach to REPL interpreters". Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on
2-EXPTIME (932 words) [view diff] exact match in snippet view article find links to article
"On the synthesis of a reactive module". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '89. New
Futures and promises (4,638 words) [view diff] exact match in snippet view article find links to article
of the Symposium on Artificial Intelligence Programming Languages. ACM SIGPLAN Notices 12, 8. pp. 55–59. Archived from the original on 4 July 2008. Retrieved
Virtual method table (1,944 words) [view diff] exact match in snippet view article find links to article
-- 12th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97), ACM SIGPLAN, Oct 1997, Atlanta,
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
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,
Ikarus (Scheme implementation) (460 words) [view diff] exact match in snippet view article
Kent (2007). "Implicit phasing for R6RS libraries". Proc. of the 2007 ACM SIGPLAN International Conference on Functional Programming. Freiburg, Germany.
Dependent type (2,608 words) [view diff] exact match in snippet view article find links to article
(2006). "Why dependent types matter" (PDF). Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston
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
Gauche (Scheme implementation) (423 words) [view diff] exact match in snippet view article
Higher-Order and Symbolic Computation, 11(1), September, 1998 and ACM SIGPLAN Notices, 33(9), October, 1998. Carl Bruggeman, Oscar Waddell and R. Kent
Completely Fair Scheduler (1,247 words) [view diff] exact match in snippet view article find links to article
multiprocessor fair scheduling using distributed weighted round-robin" (PDF). ACM SIGPLAN Notices. 44 (4): 65. CiteSeerX 10.1.1.567.2170. doi:10.1145/1594835.1504188
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
Adin Falkoff (376 words) [view diff] exact match in snippet view article find links to article
text in PDF Falkoff, A.D., and K.E. Iverson, "The Evolution of APL", ACM SIGPLAN Notices 13:8, August 1978. full text in PDF Falkoff, A.D., and K.E. Iverson
Lennart Augustsson (435 words) [view diff] exact match in snippet view article find links to article
language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. pp. 239–250. CiteSeerX 10
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
Value numbering (977 words) [view diff] exact match in snippet view article find links to article
global program optimization". Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp. 194–206
Lightweight Java (119 words) [view diff] exact match in snippet view article find links to article
(2007-10-21). "The java module system: Core design and semantic definition". ACM SIGPLAN Notices. 42 (10). Association for Computing Machinery: 499–514. doi:10
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
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
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
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
Nuprl (507 words) [view diff] exact match in snippet view article find links to article
2017). "Computational higher-dimensional type theory" (PDF). 43nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). "The People's
Fabrik (software) (107 words) [view diff] exact match in snippet view article
Ken (November 1988). "Fabrik: a visual programming environment". ACM SIGPLAN Notices. 23 (11): 176–190. doi:10.1145/62084.62100. ISSN 0362-1340. Fabrik
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
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
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
Oaklisp (213 words) [view diff] exact match in snippet view article find links to article
1986). "Oaklisp: an object-oriented scheme with first class types". ACM SIGPLAN Notices. 21 (11): 30–37. doi:10.1145/960112.28701. ISSN 0362-1340. Kevin
LR-attributed grammar (164 words) [view diff] case mismatch in snippet view article find links to article
Informatik-Fachberichte volume 53. J. van Katwijk: A preprocessor for YACC or A poor man's approach to parsing attributed grammars. Sigplan Notices 18:10 (1983), 12–15.
Aspect weaver (2,113 words) [view diff] exact match in snippet view article find links to article
"Semantics of static pointcuts in aspectJ". Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 11–23
Evaluation strategy (5,194 words) [view diff] exact match in snippet view article find links to article
"Parameter-passing and the lambda calculus". Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91. p. 2
Luca Cardelli (578 words) [view diff] exact match in snippet view article find links to article
Levy, J. J. (1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) '90. pp
Abstract data type (4,412 words) [view diff] exact match in snippet view article find links to article
with abstract data types". Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages. SIGPLAN Notices. Vol. 9. pp. 50–59. CiteSeerX 10.1.1.136
Alias analysis (893 words) [view diff] exact match in snippet view article find links to article
Eliot B. (1998). "Type-based alias analysis". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI
Partial evaluation (591 words) [view diff] exact match in snippet view article find links to article
"Tutorial Notes on Partial Evaluation". POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for
Pixar Image Computer (1,321 words) [view diff] exact match in snippet view article find links to article
programming languages and operating systems. Vol. 15. Palo Alto, CA: ACM SIGARCH/SIGPLAN/SIGOPS. pp. 193–8. doi:10.1145/36206.36202. ISBN 0818608056. S2CID 18834615
David Ungar (627 words) [view diff] exact match in snippet view article find links to article
David Ungar, Randall B. Smith. ACM HOPL-III, 2007. Proc. of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), B. Ryder, B, Hailpern
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
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
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
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)
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
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
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
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
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
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)
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
Metaprogramming (1,435 words) [view diff] exact match in snippet view article find links to article
statically-typed metaprogramming with type-level record computation" (PDF). ACM SIGPLAN Notices. PLDI '10. 45 (6): 122–133. doi:10.1145/1809028.1806612. Retrieved
Lawrence M. Breed (1,113 words) [view diff] exact match in snippet view article find links to article
OCLC 554296375. — (July 1971). "Generalizing APL scalar extension". ACM SIGPLAN Notices. 6 (5): 12–14. doi:10.1145/1115904.1115906. S2CID 40788922. "Evapotrons"
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
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
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)
Zen of Python (1,095 words) [view diff] exact match in snippet view article find links to article
(2018-10-24). "On the usage of pythonic idioms". Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on
Iftran (384 words) [view diff] exact match in snippet view article find links to article
"Extensions to Fortran to support structured programming" in [SIGPLAN] (1973) SIGPLAN Notices 8(06) June 1973 SPECIAL ISSUE: Abstracts in programming
Behavioral subtyping (1,381 words) [view diff] exact match in snippet view article find links to article
B. (May 1988). "Keynote address - data abstraction and hierarchy". ACM SIGPLAN Notices. 23 (5): 17–34. doi:10.1145/62139.62141. van Vleck, Tom (April
Xerox NoteTaker (369 words) [view diff] exact match in snippet view article find links to article
Kay: The Early History of Smalltalk. In: Proceedings of HOPL II. "ACM SIGPLAN notices", Vol. 28, No. 3, March 1993, Association for Computing Machinery
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
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
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
Andrei Voronkov (595 words) [view diff] exact match in snippet view article find links to article
Andrei (2016). "The vampire and the FOOL". Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016. pp. 37–48. arXiv:1510
Vertex cover in hypergraphs (1,328 words) [view diff] exact match in snippet view article find links to article
Robert; Choi, Jong-Deok (2003). "Hybrid dynamic data race detection". ACM SIGPLAN Notices. 38 (10): 167–178. doi:10.1145/966049.781528. O'Callahan, Robert;
Greenfoot (1,189 words) [view diff] exact match in snippet view article find links to article
object visualisation with interaction". Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
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
Dataflow programming (1,616 words) [view diff] exact match in snippet view article find links to article
processing: POGOL". POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages. ACM. pp. 226–234. Underwater
Parsing expression grammar (6,505 words) [view diff] exact match in snippet view article find links to article
Recognition Based Syntactic Foundation" (PDF). Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 111–122
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
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
.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
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
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
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
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
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,
Susan G. Bond (886 words) [view diff] exact match in snippet view article find links to article
ISBN 90-5702-481-0. Lindsey, C. H. (1 March 1993). "A history of ALGOL 68". ACM SIGPLAN Notices. 28 (3): 97–132. doi:10.1145/155360.155365. Putley, E. H. (January
Reactive programming (3,535 words) [view diff] exact match in snippet view article find links to article
technique for transparent functional reactivity", Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
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)
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
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é
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
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
Covariance and contravariance (computer science) (6,678 words) [view diff] exact match in snippet view article
combining definition- and use-site variance". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI'11)
C (programming language) (11,186 words) [view diff] exact match in snippet view article
Ritchie, Dennis M. (March 1993). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3). ACM: 201–208. doi:10.1145/155360.155580. By courtesy of
X3J13 (1,179 words) [view diff] exact match in snippet view article find links to article
L. Jr.; Gabriel, Richard P. (1993). "The Evolution of Lisp" (PDF). ACM SIGPLAN Notices. 28 (3): 85, 231–270. doi:10.1145/155360.155373. Retrieved 2018-12-19
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
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
PQCC (255 words) [view diff] exact match in snippet view article find links to article
and the “Middle End” of the PQCC Ada compiler", Proceedings of the ACM-SIGPLAN symposium on The ADA programming language (1980). ISBN 0-89791-030-3. Documents
B (programming language) (1,394 words) [view diff] exact match in snippet view article
Ritchie, Dennis M. (March 1993). "The Development of the C Language". ACM SIGPLAN Notices. 28 (3): 201–208. doi:10.1145/155360.155580. Thompson, Ken (7 January
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
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
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
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
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
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
Bjarne Stroustrup (1,981 words) [view diff] case mismatch in snippet view article find links to article
Stroustrup: Classes: An Abstract Data Type Facility for the C Language. Sigplan Notices, January 1982. doi:10.1145/947886.947893 More than a hundred technical
Dov Gabbay (717 words) [view diff] exact match in snippet view article find links to article
On the temporal analysis of fairness. POPL'80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages, January
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
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
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
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).
Inversion of control (1,497 words) [view diff] exact match in snippet view article find links to article
Sweet, Richard (25 June 1985). "The Mesa Programming Environment". ACM SIGPLAN Notices. 20 (7): 216–229. doi:10.1145/17919.806843. Visual_Basic_(classic)
ROOP (programming language) (157 words) [view diff] exact match in snippet view article
Li, Tao (December 1995). "A Rule-based and Object-oriented AI Programming Language". ACM SIGPLAN Notices. 30 (12): 17–24. doi:10.1145/219726.219736.
Valgrind (1,443 words) [view diff] exact match in snippet view article find links to article
"Valgrind: A framework for heavyweight dynamic binary instrumentation". ACM SIGPLAN Notices. 42 (6). ACM: 89–100. doi:10.1145/1273442.1250746. Seward, Julian;
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
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
Tim Sweeney (1,844 words) [view diff] exact match in snippet view article find links to article
Multivalued Language with a Dependent Type System. Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. Neal Glew, Tim Sweeney & Leaf
Susan B. Horwitz (919 words) [view diff] exact match in snippet view article find links to article
Binkley) was selected as one of the 50 best papers to appear at the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) during
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
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
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
Fjölnir (programming language) (203 words) [view diff] exact match in snippet view article
Agnarsson, Snorri; Krishnamoorthy, M. S. (1985). "Towards a theory of packages". ACM SIGPLAN Notices. 20 (7): 117–130. doi:10.1145/17919.806833. v t e
GLR parser (853 words) [view diff] exact match in snippet view article find links to article
Bernard (December 1971). "Parallel non-deterministic bottom-up parsing". ACM SIGPLAN Notices. Proceedings of the international symposium on Extensible languages
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
James Cordy (1,043 words) [view diff] exact match in snippet view article find links to article
Approach to Semantic Processing, Proc. ACM 1979 SIGPLAN Symposium on Compiler Construction, ACM SIGPLAN Notices Vol. 14, No. 8, August 1979, pp. 39-49
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
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
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
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
List of text editors (890 words) [view diff] exact match in snippet view article find links to article
Structural Code Editing with Multiple Cursors". Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on
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
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
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
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
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
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
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)
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
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
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
SequenceL (2,395 words) [view diff] exact match in snippet view article find links to article
And Multi-Core Parallelisms (PDF), DAMP '10 Proceedings of the 5th ACM SIGPLAN workshop on Declarative Aspects of Multicore Programming, New York, NY
Bounds checking (1,237 words) [view diff] exact match in snippet view article find links to article
Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on Programing Language Design and Implementations (PLDI2009)
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
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
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.
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
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
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
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
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
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
Floating-point arithmetic (14,200 words) [view diff] exact match in snippet view article find links to article
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '10: ACM SIGPLAN Conference on Programming Language
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
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:
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}}:
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
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.
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
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
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
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
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
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.
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,
Delimited continuation (2,279 words) [view diff] exact match in snippet view article find links to article
denotational testbed with continuations and partial continuations". Proc. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques. pp. 218–225
Code refactoring (2,800 words) [view diff] exact match in snippet view article find links to article
Support for Refactorability Decay Prevention". Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
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
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
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
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
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
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
Filesystem Hierarchy Standard (1,582 words) [view diff] exact match in snippet view article find links to article
NixOS: A Purely Functional Linux Distribution (PDF). ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming. Victoria, British Columbia
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
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
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
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
Call graph (1,566 words) [view diff] exact match in snippet view article find links to article
October 1997). "Call graph construction in object-oriented languages". ACM SIGPLAN Notices. 32 (10). ACM: 108, 108–124, 124. doi:10.1145/263700.264352. Eisenbarth
Control-flow graph (1,548 words) [view diff] exact match in snippet view article find links to article
representation Frances E. Allen (July 1970). "Control flow analysis". SIGPLAN Notices. 5 (7): 1–19. doi:10.1145/390013.808479. Reese T. Prosser (1959)
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 –
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
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
Double-checked locking (2,142 words) [view diff] exact match in snippet view article find links to article
Hans-J (Jun 2005). "Threads cannot be implemented as a library" (PDF). ACM SIGPLAN Notices. 40 (6): 261–268. doi:10.1145/1064978.1065042. Archived from the
Dark silicon (559 words) [view diff] exact match in snippet view article find links to article
"Conservation cores: reducing the energy of mature computations" (PDF). ACM SIGPLAN Notices. 45 (3): 205–218. doi:10.1145/1735971.1736044. ISSN 0362-1340.
Bunched logic (2,856 words) [view diff] exact match in snippet view article find links to article
"Syntactic control of interference". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp. 39–46
Hindley–Milner type system (8,534 words) [view diff] exact match in snippet view article find links to article
(January 2012). "Giving Haskell a promotion". Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. pp. 53–66. doi:10
SP/k (282 words) [view diff] exact match in snippet view article find links to article
ACM 20,5 (May 1977) Richard C. Holt, "Teaching the Fatal Disease (or) Introductory Computer Programming Using PL/I", ACM SIGPLAN Notices 8,5 (May 1973)
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
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)
Josh Fisher (783 words) [view diff] exact match in snippet view article find links to article
Compiler Construction, 1984: 37–47. Retrospective, Best of PLDI, ACM SIGPLAN Notices, 39(4):112, 2003. B. Ramakrishna Rau, Joseph A. Fisher: Instruction-level
Kenneth E. Iverson (6,476 words) [view diff] exact match in snippet view article find links to article
Adin D.; Iverson, Kenneth E. (August 1978). "The Evolution of APL". ACM SIGPLAN Notices. 13 (8): 47–57. doi:10.1145/960118.808372. S2CID 6050177. Retrieved
Thunk (1,888 words) [view diff] exact match in snippet view article find links to article
Cost of Virtual Function Calls in C++" (PDF). Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications
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
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
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
Barbara Liskov (1,803 words) [view diff] exact match in snippet view article find links to article
Zilles, Stephen (1974-03-28). "Programming with abstract data types". ACM SIGPLAN Notices. 9 (4): 50–59. doi:10.1145/942572.807045. ISSN 0362-1340. Liskov
Parametric polymorphism (2,058 words) [view diff] exact match in snippet view article find links to article
inference for finite-rank intersection types". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for
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
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
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
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
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
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
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
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.
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
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".
Empty type (260 words) [view diff] exact match in snippet view article find links to article
types in polymorphic lambda calculus". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. Vol. 87. pp
Message sequence chart (816 words) [view diff] exact match in snippet view article find links to article
"Multiple instances and symbolic variables in executable sequence charts". ACM SIGPLAN Notices. 37 (11): 83–100. CiteSeerX 10.1.1.20.5984. doi:10.1145/583854
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.
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
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
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
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
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
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
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
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
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
Transitive closure (2,306 words) [view diff] exact match in snippet view article find links to article
"Universality of data retrieval languages". Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages - POPL '79. pp. 110–119
Sandrine Blazy (273 words) [view diff] exact match in snippet view article find links to article
on CompCert, with the 2021 ACM Software System Award and the 2022 ACM SIGPLAN Programming Languages Software Award. In 2023, Blazy received the CNRS
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
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
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
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
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
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
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
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
Haddock (software) (270 words) [view diff] exact match in snippet view article
2006-10-11 at the Wayback Machine -(by Simon Marlow, Proceedings of the ACM SIGPLAN workshop on Haskell, 2002; PDF) "Haddock is being used to document the
Catamorphism (1,835 words) [view diff] exact match in snippet view article find links to article
inductive datatypes with negative occurrences". Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. ICFP '11. Catamorphisms
Operator-precedence parser (1,839 words) [view diff] exact match in snippet view article find links to article
"Top Down Operator Precedence." Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973). Norvell, Theodore
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
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
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
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,
Camel case (4,584 words) [view diff] exact match in snippet view article find links to article
Niklaus Wirth (2007). "Modula-2 and Oberon". Proceedings of the third ACM SIGPLAN conference on History of programming languages. HOPL III - San Diego. pp
Lua (programming language) (5,450 words) [view diff] exact match in snippet view article
W. (2007). "The evolution of Lua" (PDF). Proceedings of the third ACM SIGPLAN conference on History of programming languages. pp. 2–1–2–26. doi:10.1145/1238844
Software design pattern (3,185 words) [view diff] exact match in snippet view article find links to article
pattern implementation in Java and AspectJ". Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Lucy Gilbert (287 words) [view diff] exact match in snippet view article find links to article
languages for distributed computing". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. St. Petersburg
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
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
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
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
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
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
GrammaTech (894 words) [view diff] exact match in snippet view article find links to article
"The Synthesizer Generator". In SDE 1 Proc. of the first ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments
Principal type (327 words) [view diff] exact match in snippet view article find links to article
principal typings and what are they good for?". Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96. pp
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
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
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".
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
Lambda-mu calculus (836 words) [view diff] exact match in snippet view article find links to article
for functional computation with control". Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97. New
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
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:
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
META II (1,130 words) [view diff] exact match in snippet view article find links to article
SYNTAX equation. These languages were developed by members of the L.A. ACM SIGPLAN sub-group on Syntax Directed Compilers. Schorre viewed the META II language
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
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
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
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
Leo (text editor) (816 words) [view diff] exact match in snippet view article
"Reimagining Literate Programming". OOPSLA '09: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and
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
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,
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
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
Polymorphic recursion (740 words) [view diff] exact match in snippet view article find links to article
λ-calculus using a Stack of Regions". POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY,
Marionnet (721 words) [view diff] exact match in snippet view article find links to article
Six Months and Be Happy Archived 2011-01-25 at the Wayback Machine: ACM SIGPLAN Workshop on ML, Freiburg (Germany), 2007. Marionnet : un logiciel graphique
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
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
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
Leo (text editor) (816 words) [view diff] exact match in snippet view article
"Reimagining Literate Programming". OOPSLA '09: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and
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.
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
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
HaXml (480 words) [view diff] exact match in snippet view article find links to article
"Haskell and XML: generic combinators or type-based translation?" (PDF). ACM SIGPLAN Notices. 34 (9): 148–159. doi:10.1145/317765.317794. Official website
PLEX (programming language) (354 words) [view diff] exact match in snippet view article
Armstrong, Joe (2007). "A history of Erlang". Proceedings of the third ACM SIGPLAN conference on History of programming languages. doi:10.1145/1238844.1238850
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.
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
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
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
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
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'
Norman Meyrowitz (704 words) [view diff] exact match in snippet view article find links to article
of an object-oriented hypemedia system and applications framework. ACM SIGPLAN Notices, 21(11), 186–201. Yankelovich, N., Haan, B. J., Meyrowitz, N. K
Dimensional analysis (11,900 words) [view diff] exact match in snippet view article find links to article
of measure: domain-specific constraint solving in GHC Haskell" (PDF). SIGPLAN Notices. 50 (12): 11–22. doi:10.1145/2887747.2804305. Archived (PDF) from
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
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)
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
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
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
HTML (9,603 words) [view diff] exact match in snippet view article find links to article
Feminism in Programming Language Design". Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on
Lisp (book) (728 words) [view diff] exact match in snippet view article
suggested as a better choice. Daniel Weinreb reviewed the 2nd edition for ACM SIGPLAN Lisp Pointers. He noted significant improvements in the example code, facilitated
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
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
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
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
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
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:
Alliant Computer Systems (1,359 words) [view diff] exact match in snippet view article find links to article
(2007). The rise and fall of High Performance Fortran. HOPL III: 3rd ACM SIGPLAN conference on History of programming languages. pp. 7-1 – 7-22. doi:10
Software transactional memory (2,117 words) [view diff] exact match in snippet view article find links to article
"Composable memory transactions" (PDF). Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05
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;
Inheritance (object-oriented programming) (3,811 words) [view diff] exact match in snippet view article
Peter S. (1990). Inheritance is not subtyping. Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). pp. 125–135
Flix (programming language) (3,274 words) [view diff] exact match in snippet view article
K. (1988). "Polymorphic effect systems". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp
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
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
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
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
Cache prefetching (2,495 words) [view diff] exact match in snippet view article find links to article
Reconstructing Program Behavior in the Processor Cache Hierarchy". ACM SIGPLAN Notices. 52 (4): 737–749. doi:10.1145/3093336.3037701. ISSN 0362-1340.
Arithmetic shift (1,667 words) [view diff] exact match in snippet view article find links to article
Guy L. (November 1977). "Arithmetic shifting considered harmful". ACM SIGPLAN Notices Archive. 12 (11). New York: ACM Press: 61–69. doi:10.1145/956641
Gaussian integer (4,797 words) [view diff] exact match in snippet view article find links to article
Baker (1993). "Complex Gaussian Integers for "Gaussian Graphics"". ACM SIGPLAN Notices. 28 (11): 22–27. doi:10.1145/165564.165571. S2CID 8083226. IMO
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)