DOCSLIB.ORG

A Bibliography of Publications in ACM SIGPLAN Notices, 2000–2009

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Bibliography of Publications in ACM SIGPLAN Notices, 2000–2009 A Bibliography of Publications in ACM SIGPLAN Notices, 2000{2009 Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 09 November 2018 Version 1.82 Title word cross-reference '00 [2478, 33, 2480, 118, 119]. '01 [211]. 16-bit [855]. 2 [128, 1280]. 2000 [36, 327]. 2001 2 [1630]. 3 [1092, 1344, 1682, 1695, 248]. < [59, 58, 537, 274, 60]. 2003 [958, 1122]. 2008 [1230]. > [1230]. F [2067, 871]. TM [2060, 2005, 2164]. 21364 [674]. 21st [271]. [179, 175, 177]. ∆ [1505]. Γ [1615]. k [2088]. 28th [2482, 54]. λ [877, 960]. m [722]. N [1510, 2293, 522]. Π [1924, 2434]. Π0 [1630]. T [1364]. 6 [1715]. 64 [233, 364, 204]. -calculus [722, 960]. -complete [1630]. -pin '99 [16, 17]. [1344]. -queen [522]. -STL [27]. -synchronous [1510]. -valued [248]. -way = [534]. [2293]. abandoned [1032]. ABCD [90]. abduction .NET [1236, 2119, 1204, 865, 285, 973, 1348]. [2193]. Abstract [1190, 18, 985, 370, 926, 2292, 2362, 2365, /garbage [1919]. 1 2 2363, 2442, 499, 2366, 2367, 2295, 2358, 2075, 1108, 1402, 637, 893, 1281, 2048, 673, 770, 2443, 19, 1591, 500, 984, 2440, 2359, 408, 744, 839, 921, 2334, 2134, 340, 1077, 1572, 373]. 1582, 1946, 2297, 2360, 1826, 2446, 2400, 1615, adaptivity [1971]. Adding 253, 2441, 2199, 1192, 2364, 1211, 827, 1958, [1474, 1864, 1000, 2430, 1466]. additions 1590, 266, 2368, 1196, 2444, 2296, 419, 894, [1548]. address [667, 2239, 1978, 1274]. 890, 2361, 2445, 755, 2294, 1957, 1200, 2293]. Addressing [2149, 1837, 2355, 1240]. Abstraction [304, 1640, 2438, 854, 501, 489, ADDS [1493]. adjusting 876, 1481, 1333, 1932, 1324, 844, 1183, 1262, [1558, 1953, 2301, 2092, 2185]. 2318, 1318, 1626]. abstraction-safe [876]. administration [1225]. ado [1928]. Abstractions [303, 989, 1741, 1584, 1071, Adoption [554, 1336, 1124]. Advanced 1785, 1786, 2180, 1456, 1337, 1069]. [1156, 140, 1109, 1742, 832]. Advancements abstracts [1534, 2060, 2005, 1608, 2164]. [1224]. advances [1963]. advantage [757]. Accelerating [1970, 2416, 2241]. adventure [155]. Adventures [1509]. Accelerator [1701]. accelerators advice [1527]. advisor [1710]. affine [2275, 2263, 2350]. Acceptability [968]. [724, 341]. affinity [1088]. again [650]. age Acceptability-oriented [968]. Access [2145, 2151, 453]. agent [1345, 172, 1238]. [1638, 704, 1973, 499, 68, 2045, 743, 888, agent-oriented [172]. Agents [1345, 1234]. 1675, 635, 1036]. accessed [78]. accesses aggregates [1841]. aggregation [911, 2461]. [76]. accessing [667]. accidents [148]. aggressive [1528]. Agile accommodate [1549]. accommodating [2436, 1218, 1176, 1485]. ahead [1818, 1011]. [920]. account [1936]. accounting ahead-of-time [1818]. AI [1300]. AJA [1334, 2231]. accumulating [1635, 641]. [1345]. Ajax [2406]. AJEER [1165, 1221]. Accuracy [222, 816, 1376]. Accurate Alexander [2436]. algebra [1979, 772, 1688, 336, 1572, 1687, 1793, 2050, [1003, 171, 997, 1211]. Algebraic 346, 358]. Accurately [1635, 424, 2214, 716, 1455, 1430, 1514, 1264]. [1, 2, 1041, 1039, 1040]. achieving [1386]. Algorithm Ackermann [931]. ACM [54, 539, 319, 30, [1573, 396, 1487, 1545, 767, 1683, 758, 1549, 52, 1486, 1539, 2485, 824, 2480]. 557, 850, 1111, 797, 1565, 2251, 1046, 1048, ACM-SIGACT [54]. ACM/SIGPLAN 848, 1759, 1964, 141, 142, 1090, 691]. [2485]. acme [1155, 1209, 1402]. acoustic Algorithmic [420, 2302]. Algorithms [2072]. acquisition [1314]. Across [101, 88, 1940, 607, 2170, 1478, 669, 674, 174, [105, 341, 1481, 1883, 1091]. action [1062]. 768, 1579, 313, 732, 729]. Alias actions [2052, 2169]. ActionScript [2359]. [701, 928, 1562, 2029, 1078, 1943]. aliased Activation [205]. active [2363, 677, 768]. [1897]. Aliasing Activities [317]. Acute [1427]. ad [309, 804, 1450, 1048, 1904, 1749]. [1392, 1962, 2382, 1388, 1733]. ad-hoc alignment [1074]. Allocation [1388]. Ada [1003, 1001]. ADAPT [340]. [226, 229, 193, 350, 101, 548, 2425, 783, 2055, adaptability [599]. Adaptable 609, 681, 1034, 1037, 1017, 1511, 1019, 1113, [1345, 107, 625, 703]. adaptation 2056, 1745, 1762, 745, 1378, 1841, 1415, 1070, [563, 337, 1643]. adaptations [668]. 1529, 2026, 733, 759, 1380, 608, 152, 682, Adapters [27, 1179, 1260]. Adapting 1090, 725, 1027, 1033, 856, 1091, 1112, 1381]. [1647, 857, 896, 1991]. adaption [2449]. Allocator [194, 1567, 770]. Allocators Agdaptive [296, 230]. allow [2433]. almost [2480, 506, 377, 159, 236, 769, 371, 1980, 474, [1634, 2209]. along [1183, 1262]. Alpha 3 [48, 674]. AlphaServer [184]. ALT [1230]. [2436]. antipatterns [1261]. any [1301]. Alternatives [190]. Ambient [246]. anything [2242]. AOP ambients [265, 490]. ambiguity [1549]. [863, 1220, 1239, 1468, 966]. APE.FORTH ambiguous [521]. amnesia [1142]. analogy [706]. aperiodic [1814]. API [2288, 1371]. [1919]. analyses [971, 1738, 2419, 2356, 559, apples [1903]. Application 1008, 508, 1342, 2470, 1615, 2469, 560, 2030]. [1288, 179, 613, 2253, 1218, 908, 1228, 1834, Analysis 454, 1169, 1784, 1475, 452, 2389, 1764, 72, [305, 469, 1357, 1038, 312, 290, 287, 309, 128, 1799, 1182, 1259, 2057, 1862, 1396, 691]. 2122, 590, 406, 2163, 207, 517, 289, 478, 547, Application-aware [2253]. 2481, 2423, 1558, 842, 2240, 808, 1055, 2047, Application-level [1288, 908, 1784]. 1293, 709, 2365, 2370, 484, 2363, 1366, 1450, Applications [377, 37, 194, 195, 376, 302, 802, 1651, 723, 1023, 1217, 2193, 728, 1538, 2477, 858, 38, 683, 2133, 463, 1217, 845, 1947, 626, 903, 68, 1285, 1811, 930, 2035, 2238, 1999, 697, 1386, 946, 1387, 1557, 1828, 1833, 758, 1029, 2399, 1709, 2118, 148, 1937, 2332, 1254, 1158, 1215, 868, 2250, 1896, 1488, 66, 1562, 2031, 813, 628, 637, 1902, 84, 1623, 1858, 2281, 1093, 658, 2401, 2313, 2406, 2469, 254, 1798, 91, 741, 638, 530, 1340, 2114, 1331, 593, 2462, 926, 682, 1574, 1526, 849, 1791, 586, 1339, 2032, 2331, 1790, 1581, 2414, 2404, 2274, 2117, 2306, 1986, 343, 1843, 1770, 1338, 1872, 1241, 1793, 2188, 865, 1131, 2467, 2276, 755, 1588, 2425, 333]. apply [1130]. 2338, 513, 344, 1750, 1761, 655, 2308, 1065]. Applying [935, 759, 757, 658]. Approach analysis [1826, 1747, 2029, 1066, 2284, 330, [24, 46, 185, 402, 1218, 782, 938, 2363, 723, 1664, 780, 704, 519, 1755, 486, 795, 1792, 76, 2202, 2133, 180, 845, 1228, 2330, 1484, 1612, 817, 529, 171, 1383, 1650, 2468, 879, 1938, 1968, 1658, 711, 1358, 1359, 2225, 1332, 794, 1513, 2400, 1505, 1736, 1592, 253, 997, 2120, 1752, 1319, 1435, 1959, 1424, 1542, 1761, 883, 1769, 1536, 878, 1161, 2462, 452, 2167, 1577, 686, 1214, 2424, 1753, 2205, 1179, 1260, 2290, 2329, 250, 2046, 67, 441, 497, 2322, 78, 2466, 2160, 567, 2299, 2191, 2314, 166, 599, 2257, 1356, 331, 1597, 1854, 1473, 2107, 1032, 1457, 1449, 1885, 366]. approaches [970]. 1583, 1052, 1411, 72, 2337, 2274, 1413, 1883, approximate [1048]. approximating 136, 2306, 1981, 1855, 343, 288, 1077, 2011, [2230]. approximation [1722]. arbitrarily 1770, 1078, 1737, 1838, 694, 1943, 1079, 1594, [341]. arbitrary [915]. arbitration [674]. 803, 540, 358, 356, 357]. analyzable [696]. Archipelago [1978]. architect [1245]. analyzer [809]. analyzers [1279]. Architectural Analyzing [2476, 200, 201, 2248, 199, 2280, 2221, 101, [487, 2123, 2317, 1832, 1591, 1542, 1590]. 2423, 1977, 1460, 1689, 1461]. Architecture anatomy [1426]. Ancestor [1185]. [1292, 656, 184, 363, 192, 202, 207, 474, 204, anchored [1480]. andante [1234]. Android 1155, 1209, 903, 1687, 1601, 2050, 1684, 688, [2358]. ands [1916]. ANI [1250]. annealed 1202, 2355, 1025, 379, 1693, 1097, 2436, 2247, [1485]. Annotated 461, 1671, 1463, 1694, 756, 833, 899, 613, [100, 783, 1797, 441, 517]. Annotation 1781, 552, 1607, 1253]. architectures [6, 2117, 696]. annotations [1821, 1227, 1294, 607, 1683, 1387, 1278, 1074, [2423, 701, 2307, 300]. Annual [54]. 679, 766, 604, 857, 848, 2280, 1462, 2342, 605, anomalies [1557, 1036]. Anomaly 608, 2241, 1094, 1605, 1835, 2294, 351, 362]. [2225, 1691, 1421, 1762]. Anomaly-based Archive [42, 1250]. archJava [1155, 1209]. [2225]. ANSI [2321]. ANSI-C [2321]. ArchMatE [1460]. Area [1605, 333]. answer [1521]. ant [1793]. anthropology Aristotelian [178]. arithmetical [269]. 4 arithmetics [1592]. Arity [2445]. [2064, 2360, 2369]. authentication [986]. Arity-generic [2445]. ARM Author [209, 316, 2475, 427, 2058]. [2292, 1114, 598, 2355]. ARMI [921]. Array authorization [2064]. Authors [2464, 421, 1088, 1819, 90, 2045, 898, 915, [30, 389, 390, 43, 52, 99, 124, 216, 125, 217, 1340, 814, 341, 936, 78, 1086]. arrays 279, 324, 476, 280, 325, 477, 544, 583, 621, [2056, 1273, 2037, 630, 1272, 832, 1185]. 545, 584, 622, 962, 57]. Auto [1561, 2314]. Arrows [423, 2452, 2375]. ART [965]. auto-parallelization [2314]. Artemis [1557]. artifact [1175]. artificial Auto-vectorization [1561]. Autolocker [1858]. arts [2142, 1203]. asparagus [1121]. [1524]. automata [263, 1554, 521]. Aspect [218, 479, 480, 1647, 1452, 1917, Automate [8, 1228]. Automated 1167, 596, 1468, 1909, 1214, 932, 1453, 2160, [908, 761, 2206, 1813, 1342, 1820, 2225, 1385, 1670, 2396, 1966, 1163]. aspect-oriented 2424, 2001, 1809]. Automatic [480, 1452, 1917, 596, 1909, 1214, 932, 1453, [1018, 1013, 2012, 304, 1707, 1569, 1020, 937, 2160, 1670]. AspectC2C [1966]. 601, 530, 745, 1378, 2180, 1780, 422, 2329, AspectCOOL [480]. aspectJ [1221, 1474, 1779, 1942, 358, 1830, 1265, 829, 1931, 532, 1377, 1717, 1653, 1232, 692, 1165, 693]. 2016, 2051, 92, 1962, 1362, 1581, 1424, 1788, aspectJ-enabled [1221, 1165]. Aspects 900, 2261, 1852, 2245, 2211, 882, 494, 2210, [33, 2131, 2295, 1917, 1243, 1757, 518, 1229, 1795, 2223, 1799]. Automatically 693, 880, 894]. Aspectual [1453]. ASPLOS [1387, 811, 2401, 1769, 660, 104, 1767, 1279]. [2476]. ASPLOS-IX [2476]. assemblies Automating [1470]. automotive [1222]. [2409]. Assembly [417, 1772, 735, 1448, autonomic [910]. autonomous [164, 337]. 1584, 597, 1522, 1771, 418, 1146]. Assertion available [337]. AV I O [1675]. avionics [247, 306]. assertions [2319, 600]. [842, 922]. avoidance [2190]. Avoiding Assessing [1739, 1261]. Assessment [262]. Award [537]. Awards [120, 31, 537]. [791, 2408]. Assignment Aware [348, 193, 2288, 1602, 1208, 1789, [298, 607, 1111, 852, 1099].
Load more

Recommended publications
  • Perhaps Not the Answer You Were Expecting but You Asked for It
    Perhaps Not The Answer You Were Expecting But You Asked For It (An Accidental Blook) Conor McBride October 23, 2019 2 Contents 1 Haskell Curiosities 7 1.1 What is () in Haskell, exactly? . 7 1.2 What does () mean in Haskell? . 8 1.3 Implement the function lines in Haskell . 9 1.4 Boolean Expression evaluation (subtle type error) . 9 1.5 Purely functional data structures for text editors . 10 1.6 What are some motivating examples for Cofree CoMonad in Haskell? . 12 1.7 Find indices of things in lists . 15 1.8 How do I extend this mergeWords function to any number of strings? . 15 1.9 Example of UndecidableInstances yielding nonterminating typecheck . 16 1.10 Why do 3 and x (which was assigned 3) have different inferred types in Haskell? . 17 1.11 Use case for rank-3 (or higher) polymorphism? . 18 1.12 Why don’t Haskell compilers facilitate deterministic memory management? . 19 1.13 How does ArrowLoop work? Also, mfix? . 19 1.14 What does ) mean in a type signature? . 20 1.15 Meaning of Double and Floating point? . 21 1.16 Haskell terminology: meaning of type vs. data type, are they synonyms? . 22 1.17 Can you formulate the Bubble sort as a monoid or semigroup? . 23 1.18 Is this a correctly implemented mergesort in Haskell? . 24 1.19 Haskell type system nuances (ambiguity) . 26 1.20 Understanding a case of Haskell Type Ambiguity . 27 1.21 Why does Haskell use ! instead of =?.......................... 27 1.22 Is it possible to make a type an instance of a class if its type parameters are in the wrong order? .
    [Show full text]
  • Haskell Communities and Activities Report
    Haskell Communities and Activities Report http://tinyurl.com/haskcar Thirty Fourth Edition — May 2018 Mihai Maruseac (ed.) Chris Allen Christopher Anand Moritz Angermann Francesco Ariis Heinrich Apfelmus Gershom Bazerman Doug Beardsley Jost Berthold Ingo Blechschmidt Sasa Bogicevic Emanuel Borsboom Jan Bracker Jeroen Bransen Joachim Breitner Rudy Braquehais Björn Buckwalter Erik de Castro Lopo Manuel M. T. Chakravarty Eitan Chatav Olaf Chitil Alberto Gómez Corona Nils Dallmeyer Tobias Dammers Kei Davis Dimitri DeFigueiredo Richard Eisenberg Maarten Faddegon Dennis Felsing Olle Fredriksson Phil Freeman Marc Fontaine PÁLI Gábor János Michał J. Gajda Ben Gamari Michael Georgoulopoulos Andrew Gill Mikhail Glushenkov Mark Grebe Gabor Greif Adam Gundry Jennifer Hackett Jurriaan Hage Martin Handley Bastiaan Heeren Sylvain Henry Joey Hess Kei Hibino Guillaume Hoffmann Graham Hutton Nicu Ionita Judah Jacobson Patrik Jansson Wanqiang Jiang Dzianis Kabanau Nikos Karagiannidis Anton Kholomiov Oleg Kiselyov Ivan Krišto Yasuaki Kudo Harendra Kumar Rob Leslie David Lettier Ben Lippmeier Andres Löh Rita Loogen Tim Matthews Simon Michael Andrey Mokhov Dino Morelli Damian Nadales Henrik Nilsson Wisnu Adi Nurcahyo Ulf Norell Ivan Perez Jens Petersen Sibi Prabakaran Bryan Richter Herbert Valerio Riedel Alexey Radkov Vaibhav Sagar Kareem Salah Michael Schröder Christian Höner zu Siederdissen Ben Sima Jeremy Singer Gideon Sireling Erik Sjöström Chris Smith Michael Snoyman David Sorokin Lennart Spitzner Yuriy Syrovetskiy Jonathan Thaler Henk-Jan van Tuyl Tillmann Vogt Michael Walker Li-yao Xia Kazu Yamamoto Yuji Yamamoto Brent Yorgey Christina Zeller Marco Zocca Preface This is the 34th edition of the Haskell Communities and Activities Report. This report has 148 entries, 5 more than in the previous edition.
    [Show full text]
  • Anders Åstrand: a Paragon of the Modern Musical Aesthetic
    University of Kentucky UKnowledge Theses and Dissertations--Music Music 2017 Anders Åstrand: A Paragon of the Modern Musical Aesthetic Matthew Geiger University of Kentucky, [email protected] Digital Object Identifier: https://doi.org/10.13023/ETD.2017.069 Right click to open a feedback form in a new tab to let us know how this document benefits ou.y Recommended Citation Geiger, Matthew, "Anders Åstrand: A Paragon of the Modern Musical Aesthetic" (2017). Theses and Dissertations--Music. 81. https://uknowledge.uky.edu/music_etds/81 This Doctoral Dissertation is brought to you for free and open access by the Music at UKnowledge. It has been accepted for inclusion in Theses and Dissertations--Music by an authorized administrator of UKnowledge. For more information, please contact [email protected]. STUDENT AGREEMENT: I represent that my thesis or dissertation and abstract are my original work. Proper attribution has been given to all outside sources. I understand that I am solely responsible for obtaining any needed copyright permissions. I have obtained needed written permission statement(s) from the owner(s) of each third-party copyrighted matter to be included in my work, allowing electronic distribution (if such use is not permitted by the fair use doctrine) which will be submitted to UKnowledge as Additional File. I hereby grant to The University of Kentucky and its agents the irrevocable, non-exclusive, and royalty-free license to archive and make accessible my work in whole or in part in all forms of media, now or hereafter known. I agree that the document mentioned above may be made available immediately for worldwide access unless an embargo applies.
    [Show full text]
  • STATICALLY CHECKING INTER-PROPERTY CONSTRAINTS and Its Applications in Web Apis
    Proefschrift ingediend met het oog op het behalen van een doctoraatsdiploma Dissertation submitted in fulfilment of the requirement for the degree of Doctor of Philosophy in Sciences STATICALLY CHECKING INTER-PROPERTY CONSTRAINTS and its Applications in Web APIs Nathalie Oostvogels Promotor: Prof. Dr. Wolfgang De Meuter Copromotor: Prof. Dr. Joeri De Koster Faculty of Science and Bio-Engineering Sciences Statically Checking Inter-property Constraints and its Applications in Web APIs Nathalie Oostvogels Dissertation submitted in fulfillment of the requirement for the degree of Doctor of Sciences April 2019 Jury: Prof. Dr. Wolfgang De Meuter, Vrije Universiteit Brussel (promotor) Prof. Dr. Joeri De Koster, Vrije Universiteit Brussel (copromotor) Prof. Dr. Ann Now´e,Vrije Universiteit Brussel (chair) Prof. Dr. Dominique Devriese, Vrije Universiteit Brussel (secretary) Prof. Dr. Ann Dooms, Vrije Universiteit Brussel Prof. Dr. Tobias Wrigstad, Uppsala University Dr. Manuel Serrano, INRIA Printed by: Crazy Copy Center Productions VUB Pleinlaan 2, 1050 Brussel Tel / fax : +32 2 629 33 44 [email protected] www.crazycopy.be ISBN 978 94 930 7921 2 NUR 989 Acknowledgements: The work in this dissertation has been funded by a PhD Fellowship of the Re- search Foundation - Flanders (FWO) and the SBO project Tearless by the Agency for Innovation and Entrepreneurship (VLAIO). Copyright: All rights reserved. No part of this publication may be produced in any form by print, photoprint, microfilm, electronic or any other means without permission from the author. c 2019 Nathalie Oostvogels Abstract Software applications do not stand on their own: their code often uses libraries to incorporate functionality to facilitate the development process (such as abstrac- tions and helper functions) or to integrate functionality from third parties.
    [Show full text]
  • Hermano José Marques Cintra.Pdf
    PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO PROGRAMA DE PÓS-GRADUAÇÃO EM TECNOLOGIAS DA INTELIGÊNCIA E DESIGN DIGITAL HERMANO JOSÉ MARQUES CINTRA A NOVA POTÊNCIA DA COOPERAÇÃO: efeitos da interatividade digital na ação coletiva empreendedora São Paulo - SP 2016 HERMANO JOSÉ MARQUES CINTRA A NOVA POTÊNCIA DA COOPERAÇÃO: efeitos da interatividade digital na ação coletiva empreendedora Tese apresentada à Banca Examinadora da Pontifícia Universidade Católica de São Paulo, exigência parcial para obtenção do título de Doutor em Tecnologias da Inteligência e Design Digital. Área de concentração: processos cognitivos e ambientes digitais Orientador: Profa. Dra. Maria Lucia Santaella Braga. São Paulo – SP 2016 ERRATA CINTRA, H J M. A Nova Potência da Cooperação: efeitos da interatividade digital na ação coletiva empreendedora. (Tese de Doutorado) Pontifícia Universidade Católica de São Paulo - Programa de Tecnologias da Inteligência e Design Digital, 2016. Folha (página) Linha Onde se lê: Leia-se: 19 (s/n) 4 <http://www.hcintra.com.br/linksdoutorado> <http://www.hcintra.com/linksdoutorado> 385 (355) 4 <http://www.hcintra.com.br/biBliodoutorado> <http://www.hcintra.com/biBliodoutorado> (Os endereços não possuem a terminação “.br”) Autorização de Publicação Autorizo a reprodução total ou parcial desta tese por processos de fotocópia ou eletrônicos para fins acadêmicos, científicos e educacionais, desde que citada a fonte. São Paulo, 28 de junho de 2016 Convite ao diáloGo O trabalho aqui apresentado procura entender a cooperação em ambiente digitais, portanto, não poderiam faltar meus localizadores digitais e meu convite à discussão dos temas abordados: Email: hcintra (em) hotmail.com Skype: hermano (ponto) cintra Site: www.hcintra.com Folha de Assinaturas da Banca Examinadora Profa.
    [Show full text]