default search action
Search dblp for Publications
export results for "Science of Computer Programming"
@article{DBLP:journals/toce/MansoorPDS24, author = {Niloofar Mansoor and Cole S. Peterson and Michael D. Dodd and Bonita Sharif}, title = {Assessing the Effect of Programming Language and Task Type on Eye Movements of Computer Science Students}, journal = {{ACM} Trans. Comput. Educ.}, volume = {24}, number = {1}, pages = {2:1--2:38}, year = {2024} }
@inproceedings{DBLP:conf/etra/Jang0MK24, author = {Wunmin Jang and Hong Gao and Tilman Michaeli and Enkelejda Kasneci}, title = {Exploring Communication Dynamics: Eye-tracking Analysis in Pair Programming of Computer Science Education}, booktitle = {{ETRA}}, pages = {65:1--65:7}, publisher = {{ACM}}, year = {2024} }
@inproceedings{DBLP:conf/hicss/Perera24, author = {Muthupoltotage Udayangi Perera}, title = {Unveiling Resilience: Exploring Key Components of Resilience Among Undergraduate Computer Science Students in Introductory Programming Courses}, booktitle = {{HICSS}}, pages = {5134--5143}, publisher = {ScholarSpace}, year = {2024} }
@inproceedings{DBLP:conf/sigcse/ThorgeirssonLW024, author = {Sverrir Thorgeirsson and Lennart C. Lais and Theo B. Weidmann and Zhendong Su}, title = {Recursion in Secondary Computer Science Education: {A} Comparative Study of Visual Programming Approaches}, booktitle = {{SIGCSE} {(1)}}, pages = {1321--1327}, publisher = {{ACM}}, year = {2024} }
@incollection{DBLP:books/sp/24/Curien24, author = {Pierre{-}Louis Curien}, title = {Semantics and Syntax, Between Computer Science and Mathematics}, booktitle = {The French School of Programming}, pages = {147--174}, publisher = {Springer}, year = {2024} }
@proceedings{DBLP:conf/cpaior/2024-1, editor = {Bistra Dilkina}, title = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, {CPAIOR} 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14742}, publisher = {Springer}, year = {2024} }
@proceedings{DBLP:conf/cpaior/2024-2, editor = {Bistra Dilkina}, title = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, {CPAIOR} 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14743}, publisher = {Springer}, year = {2024} }
@proceedings{DBLP:conf/esop/2024-1, editor = {Stephanie Weirich}, title = {Programming Languages and Systems - 33rd European Symposium on Programming, {ESOP} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14576}, publisher = {Springer}, year = {2024} }
@proceedings{DBLP:conf/esop/2024-2, editor = {Stephanie Weirich}, title = {Programming Languages and Systems - 33rd European Symposium on Programming, {ESOP} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14577}, publisher = {Springer}, year = {2024} }
@proceedings{DBLP:conf/eurogp/2024, editor = {Mario Giacobini and Bing Xue and Luca Manzoni}, title = {Genetic Programming - 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14631}, publisher = {Springer}, year = {2024} }
@article{DBLP:journals/corr/abs-2403-19560, author = {Wunmin Jang and Hong Gao and Tilman Michaeli and Enkelejda Kasneci}, title = {Exploring Communication Dynamics: Eye-tracking Analysis in Pair Programming of Computer Science Education}, journal = {CoRR}, volume = {abs/2403.19560}, year = {2024} }
@phdthesis{DBLP:phd/ethos/Almdahem23, author = {Almabrok Almdahem}, title = {Teaching programming in the computer science strand of the 2014 National Curriculum for computing at key stage 4: challenges, difficulties and prospects}, school = {University of Wolverhampton, {UK}}, year = {2023} }
@inproceedings{DBLP:conf/iticse/Tuson23, author = {Ella Tuson}, title = {Applications of Programming as Theory Building in Computer Science Education}, booktitle = {ITiCSE {(2)}}, pages = {621--622}, publisher = {{ACM}}, year = {2023} }
@inproceedings{DBLP:conf/siie/Arias23, author = {Joaqu{\'{\i}}n Arias}, title = {Teach the importance of logic (programming) in Computer Science and why it is important}, booktitle = {{SIIE}}, pages = {1--6}, publisher = {{IEEE}}, year = {2023} }
@inproceedings{DBLP:conf/siie/SilvaGBVM23, author = {Leonardo Silva and Anabela Gomes and Ana Rosa Borges and Ver{\'{o}}nica Vasconcelos and Ant{\'{o}}nio Jos{\'{e}} Mendes}, title = {A study on the Motivation of Computer Science Students to Learn Programming}, booktitle = {{SIIE}}, pages = {1--7}, publisher = {{IEEE}}, year = {2023} }
@inproceedings{DBLP:conf/wccce/HafeezKRSB23, author = {Mustafa Hafeez and Anand Karki and Yara Radwan and Anis Saha and Angela M. Zavaleta Bernuy}, title = {Evaluating the Efficacy and Impacts of Remote Pair Programming for Introductory Computer Science Students}, booktitle = {{WCCCE}}, pages = {5:1--5:7}, publisher = {{ACM}}, year = {2023} }
@proceedings{DBLP:conf/birthday/2023he, editor = {Jonathan P. Bowen and Qin Li and Qiwen Xu}, title = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday}, series = {Lecture Notes in Computer Science}, volume = {14080}, publisher = {Springer}, year = {2023} }
@proceedings{DBLP:conf/birthday/2023hermenegildo, editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and John P. Gallagher and Roberto Giacobazzi}, title = {Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {13160}, publisher = {Springer}, year = {2023} }
@proceedings{DBLP:conf/cpaior/2023, editor = {Andr{\'{e}} A. Cir{\'{e}}}, title = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, {CPAIOR} 2023, Nice, France, May 29 - June 1, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13884}, publisher = {Springer}, year = {2023} }
@proceedings{DBLP:conf/esop/2023, editor = {Thomas Wies}, title = {Programming Languages and Systems - 32nd European Symposium on Programming, {ESOP} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13990}, publisher = {Springer}, year = {2023} }
@proceedings{DBLP:conf/eurogp/2023, editor = {Gisele L. Pappa and Mario Giacobini and Zdenek Vas{\'{\i}}cek}, title = {Genetic Programming - 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13986}, publisher = {Springer}, year = {2023} }
@inproceedings{DBLP:conf/educon/AlexanderHKJ22, author = {Benjamin Alexander and Yunfei Hou and Bilal Khan and Jennifer Kim Jin}, title = {Learn Programming In Virtual Reality? {A} Case Study of Computer Science Students}, booktitle = {{EDUCON}}, pages = {270--275}, publisher = {{IEEE}}, year = {2022} }
@inproceedings{DBLP:conf/iceee/Cavazos-Carrizales22, author = {Juan P. Cavazos{-}Carrizales and Francisco J. Ruiz{-}Sanchez}, title = {Computer Vision Interface for Symbolic Programming of Cartesian Motion to introduce Visually Impaired Children into Robotic Sciences}, booktitle = {{CCE}}, pages = {1--6}, publisher = {{IEEE}}, year = {2022} }
@proceedings{DBLP:conf/cpaior/2022, editor = {Pierre Schaus}, title = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, {CPAIOR} 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13292}, publisher = {Springer}, year = {2022} }
@proceedings{DBLP:conf/esop/2022, editor = {Ilya Sergey}, title = {Programming Languages and Systems - 31st European Symposium on Programming, {ESOP} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13240}, publisher = {Springer}, year = {2022} }
@proceedings{DBLP:conf/eurogp/2022, editor = {Eric Medvet and Gisele L. Pappa and Bing Xue}, title = {Genetic Programming - 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13223}, publisher = {Springer}, year = {2022} }
@book{DBLP:series/utcs/Weinzierl21, author = {Tobias Weinzierl}, title = {Principles of Parallel Scientific Computing - {A} First Guide to Numerical Concepts and Programming Methods}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2021} }
@article{DBLP:journals/jeric/BowmanJCS21, author = {Nicholas A. Bowman and Lindsay Jarratt and K. C. Culver and Alberto M. Segre}, title = {The Impact of Pair Programming on College Students' Interest, Perceptions, and Achievement in Computer Science}, journal = {{ACM} Trans. Comput. Educ.}, volume = {21}, number = {3}, pages = {19:1--19:19}, year = {2021} }
@inproceedings{DBLP:conf/cep/Hegarty-KellyM21, author = {Emlyn Hegarty{-}Kelly and Aidan Mooney}, title = {Analysis of an automatic grading system within first year Computer Science programming modules}, booktitle = {{CEP}}, pages = {17--20}, publisher = {{ACM}}, year = {2021} }
@proceedings{DBLP:conf/cpaior/2021, editor = {Peter J. Stuckey}, title = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, {CPAIOR} 2021, Vienna, Austria, July 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12735}, publisher = {Springer}, year = {2021} }
@proceedings{DBLP:conf/esop/2021, editor = {Nobuko Yoshida}, title = {Programming Languages and Systems - 30th European Symposium on Programming, {ESOP} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12648}, publisher = {Springer}, year = {2021} }
@proceedings{DBLP:conf/eurogp/2021, editor = {Ting Hu and Nuno Louren{\c{c}}o and Eric Medvet}, title = {Genetic Programming - 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12691}, publisher = {Springer}, year = {2021} }
@article{DBLP:journals/corr/abs-2105-09252, author = {Spyridon Doukakis and Alexandra Psaltidou and Athena Stavraki and Nikos Adamopoulos and Panagiotis Tsiotakis and Stathis Stergou}, title = {Measuring the technological pedagogical content knowledge {(TPACK)} of in-service teachers of computer science who teach algorithms and programming in upper secondary education}, journal = {CoRR}, volume = {abs/2105.09252}, year = {2021} }
@article{DBLP:journals/jeric/MargulieuxMFR20, author = {Lauren E. Margulieux and Briana B. Morrison and Baker Franke and Harivololona Ramilison}, title = {Effect of Implementing Subgoals in Code.org's Intro to Programming Unit in Computer Science Principles}, journal = {{ACM} Trans. Comput. Educ.}, volume = {20}, number = {4}, pages = {26:1--26:24}, year = {2020} }
@inproceedings{DBLP:conf/worldcist/BadicaBIMPU20, author = {Costin Badica and Amelia Badica and Mirjana Ivanovic and Ionut Dorinel Muraretu and Daniela Popescu and Cristinel Ungureanu}, title = {On the Role of Python in Programming-Related Courses for Computer Science and Engineering Academic Education}, booktitle = {WorldCIST {(3)}}, series = {Advances in Intelligent Systems and Computing}, volume = {1161}, pages = {192--202}, publisher = {Springer}, year = {2020} }
@proceedings{DBLP:conf/cp/2020, editor = {Helmut Simonis}, title = {Principles and Practice of Constraint Programming - 26th International Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12333}, publisher = {Springer}, year = {2020} }
@proceedings{DBLP:conf/cpaior/2020, editor = {Emmanuel Hebrard and Nysret Musliu}, title = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, {CPAIOR} 2020, Vienna, Austria, September 21-24, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12296}, publisher = {Springer}, year = {2020} }
@proceedings{DBLP:conf/esop/2020, editor = {Peter M{\"{u}}ller}, title = {Programming Languages and Systems - 29th European Symposium on Programming, {ESOP} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12075}, publisher = {Springer}, year = {2020} }
@proceedings{DBLP:conf/eurogp/2020, editor = {Ting Hu and Nuno Louren{\c{c}}o and Eric Medvet and Federico Divina}, title = {Genetic Programming - 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12101}, publisher = {Springer}, year = {2020} }
@proceedings{DBLP:conf/mfps/2020, editor = {Patricia Johann}, title = {Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2020, Online, October 1, 2020}, series = {Electronic Notes in Theoretical Computer Science}, volume = {352}, publisher = {Elsevier}, year = {2020} }
@article{DBLP:journals/ijcses/ChenJSS19, author = {Chen Chen and Stuart Jeckel and Gerhard Sonnert and Philip M. Sadler}, title = {"Cowboy" and "Cowgirl" Programming: The Effects of Precollege Programming Experiences on Success in College Computer Science}, journal = {Int. J. Comput. Sci. Educ. Sch.}, volume = {2}, number = {4}, pages = {22--40}, year = {2019} }
@article{DBLP:journals/jeric/LakanenK19, author = {Antti{-}Jussi Lakanen and Tommi K{\"{a}}rkk{\"{a}}inen}, title = {Identifying Pathways to Computer Science: The Long-Term Impact of Short-Term Game Programming Outreach Interventions}, journal = {{ACM} Trans. Comput. Educ.}, volume = {19}, number = {3}, pages = {20:1--20:30}, year = {2019} }
@inproceedings{DBLP:conf/sigcse/McGeeGMDRDR20, author = {Steven McGee and Ronald I. Greenberg and Randi McGee{-}Tekula and Jennifer Duck and Andrew M. Rasmussen and Lucia Dettori and Dale F. Reed}, title = {An Examination of the Correlation of Exploring Computer Science Course Performance and the Development of Programming Expertise}, booktitle = {{SIGCSE}}, pages = {1067--1073}, publisher = {{ACM}}, year = {2019} }
@proceedings{DBLP:conf/birthday/2019denicola, editor = {Michele Boreale and Flavio Corradini and Michele Loreti and Rosario Pugliese}, title = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11665}, publisher = {Springer}, year = {2019} }
@proceedings{DBLP:conf/cp/2019, editor = {Thomas Schiex and Simon de Givry}, title = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, publisher = {Springer}, year = {2019} }
@proceedings{DBLP:conf/cpaior/2019, editor = {Louis{-}Martin Rousseau and Kostas Stergiou}, title = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, {CPAIOR} 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11494}, publisher = {Springer}, year = {2019} }
@proceedings{DBLP:conf/esop/2019, editor = {Lu{\'{\i}}s Caires}, title = {Programming Languages and Systems - 28th European Symposium on Programming, {ESOP} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11423}, publisher = {Springer}, year = {2019} }
@proceedings{DBLP:conf/eurogp/2019, editor = {Luk{\'{a}}s Sekanina and Ting Hu and Nuno Louren{\c{c}}o and Hendrik Richter and Pablo Garc{\'{\i}}a{-}S{\'{a}}nchez}, title = {Genetic Programming - 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11451}, publisher = {Springer}, year = {2019} }
@proceedings{DBLP:conf/mfps/2019, editor = {Barbara K{\"{o}}nig}, title = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, publisher = {Elsevier}, year = {2019} }
@proceedings{DBLP:conf/utp/2019, editor = {Pedro Ribeiro and Augusto Sampaio}, title = {Unifying Theories of Programming - 7th International Symposium, {UTP} 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11885}, publisher = {Springer}, year = {2019} }
@proceedings{DBLP:journals/tplop/2019-4, editor = {James Noble and Ralph E. Johnson and Uwe Zdun and Eugene Wallingford}, title = {Transactions on Pattern Languages of Programming {IV}}, series = {Lecture Notes in Computer Science}, volume = {10600}, publisher = {Springer}, year = {2019} }
@book{DBLP:series/utcs/TrobecSBR18, author = {Roman Trobec and Bostjan Slivnik and Patricio Bulic and Borut Robic}, title = {Introduction to Parallel Computing - From Algorithms to Programming on State-of-the-Art Platforms}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2018} }
@inproceedings{DBLP:conf/icemt/Jordaan18, author = {Dawid B. Jordaan}, title = {Board games in the Computer Science Class to Improve Students' Knowledge of the Java Programming Language: {A} Lecturer's Perspective}, booktitle = {{ICEMT}}, pages = {1--4}, publisher = {{ACM}}, year = {2018} }
@inproceedings{DBLP:conf/iiaiaai/ArunoprayochLTL18, author = {Nuttaphat Arunoprayoch and Chih{-}Hung Lai and Pham{-}Duc Tho and Jing{-}San Liang and Jie{-}Chi Yang}, title = {Effects of Question Types on Engagement and Performance of Programming Learning for Non-computer Science Majors}, booktitle = {{IIAI-AAI}}, pages = {306--311}, publisher = {{IEEE}}, year = {2018} }
@inproceedings{DBLP:conf/sigcse/Duncan18, author = {Caitlin Duncan}, title = {Reported Development of Computational Thinking, Through Computer Science and Programming, and its Benefits for Primary School Students: (Abstract Only)}, booktitle = {{SIGCSE}}, pages = {275}, publisher = {{ACM}}, year = {2018} }
@inproceedings{DBLP:conf/sigcse/WilcoxL18, author = {Chris Wilcox and Albert Lionelle}, title = {Quantifying the Benefits of Prior Programming Experience in an Introductory Computer Science Course}, booktitle = {{SIGCSE}}, pages = {80--85}, publisher = {{ACM}}, year = {2018} }
@inproceedings{DBLP:conf/wipsce/KalliaS18, author = {Maria Kallia and Sue Sentance}, title = {Are boys more confident than girls?: the role of calibration and students' self-efficacy in programming tasks and computer science}, booktitle = {WiPSCE}, pages = {16:1--16:4}, publisher = {{ACM}}, year = {2018} }
@proceedings{DBLP:conf/cp/2018, editor = {John N. Hooker}, title = {Principles and Practice of Constraint Programming - 24th International Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11008}, publisher = {Springer}, year = {2018} }
@proceedings{DBLP:conf/cpaior/2018, editor = {Willem Jan van Hoeve}, title = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, {CPAIOR} 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10848}, publisher = {Springer}, year = {2018} }
@proceedings{DBLP:conf/esop/2018, editor = {Amal Ahmed}, title = {Programming Languages and Systems - 27th European Symposium on Programming, {ESOP} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10801}, publisher = {Springer}, year = {2018} }
@proceedings{DBLP:conf/mfps/2017, editor = {Alexandra Silva}, title = {The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2017, Ljubljana, Slovenia, June 12-15, 2017}, series = {Electronic Notes in Theoretical Computer Science}, volume = {336}, publisher = {Elsevier}, year = {2018} }
@proceedings{DBLP:conf/mfps/2018, editor = {Sam Staton}, title = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018}, series = {Electronic Notes in Theoretical Computer Science}, volume = {341}, publisher = {Elsevier}, year = {2018} }
@book{DBLP:series/lncs/10789, editor = {Alessandro Ricci and Philipp Haller}, title = {Programming with Actors - State-of-the-Art and Research Perspectives}, series = {Lecture Notes in Computer Science}, volume = {10789}, publisher = {Springer}, year = {2018} }
@book{DBLP:series/utcs/Lee17, author = {Kent D. Lee}, title = {Foundations of Programming Languages, Second Edition}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2017} }
@inproceedings{DBLP:conf/birthday/Szilard17, author = {Andrew L. Szilard}, title = {Programming Examples of Space-Filling Curves}, booktitle = {The Role of Theory in Computer Science}, pages = {245--272}, publisher = {World Scientific}, year = {2017} }
@inproceedings{DBLP:conf/fie/Raigoza17, author = {Jaime Raigoza}, title = {A study of students' progress through introductory computer science programming courses}, booktitle = {{FIE}}, pages = {1--7}, publisher = {{IEEE} Computer Society}, year = {2017} }
@inproceedings{DBLP:conf/imcl/MariaT17, author = {Steka Maria and Thrasyvoulos Tsiatsos}, title = {Case Study: Integrating Computational Thinking into the Introductory Course of Computer Science via the Use of the Programming Language Python}, booktitle = {{IMCL}}, series = {Advances in Intelligent Systems and Computing}, volume = {725}, pages = {531--541}, publisher = {Springer}, year = {2017} }
@inproceedings{DBLP:conf/imcl/MoumoutzisBVPXM17, author = {Nektarios Moumoutzis and George Boukeas and Vassilis Vassilakis and Nikos Pappas and Chara Xanthaki and Ioannis Maragkoudakis and Antonios Deligiannakis and Stavros Christodoulakis}, title = {Design, Implementation and Evaluation of a Computer Science Teacher Training Programme for Learning and Teaching of Python Inside and Outside School - Establishing and Supporting Code Clubs to Learn Computer Programming by Self-contained Examples}, booktitle = {{IMCL}}, series = {Advances in Intelligent Systems and Computing}, volume = {725}, pages = {575--586}, publisher = {Springer}, year = {2017} }
@inproceedings{DBLP:conf/programming/Burroni17, author = {Javier Burroni}, title = {The Act of Computer Programming in Science}, booktitle = {Programming}, pages = {30:1--30:8}, publisher = {{ACM}}, year = {2017} }
@inproceedings{DBLP:conf/vr/OrtegaBBGTRB17, author = {Francisco R. Ortega and Santiago Bolivar and Jonathan Bernal and Alain Galvan and Katherine Tarre and Naphtali Rishe and Armando B. Barreto}, title = {Towards a 3D Virtual Programming Language to increase the number of women in computer science education}, booktitle = {KELVAR@VR}, pages = {1--6}, publisher = {{IEEE} Computer Society}, year = {2017} }
@proceedings{DBLP:conf/cp/2017, editor = {J. Christopher Beck}, title = {Principles and Practice of Constraint Programming - 23rd International Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10416}, publisher = {Springer}, year = {2017} }
@proceedings{DBLP:conf/cpaior/2017, editor = {Domenico Salvagnin and Michele Lombardi}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June 5-8, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10335}, publisher = {Springer}, year = {2017} }
@proceedings{DBLP:conf/esop/2017, editor = {Hongseok Yang}, title = {Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10201}, publisher = {Springer}, year = {2017} }
@proceedings{DBLP:conf/utp/2016, editor = {Jonathan P. Bowen and Huibiao Zhu}, title = {Unifying Theories of Programming - 6th International Symposium, {UTP} 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10134}, publisher = {Springer}, year = {2017} }
@book{DBLP:series/utcs/Reus16, author = {Bernhard Reus}, title = {Limits of Computation - From a Programming Perspective}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2016} }
@article{DBLP:journals/cluster/YoonKL16, author = {IlKyu Yoon and JaMee Kim and WonGyu Lee}, title = {The analysis and application of an educational programming language {(RUR-PLE)} for a pre-introductory computer science course}, journal = {Clust. Comput.}, volume = {19}, number = {1}, pages = {529--546}, year = {2016} }
@article{DBLP:journals/ijicte/FridgeB16, author = {Evorell Fridge and Sikha Bagui}, title = {Impact of Automated Software Testing Tools on Reflective Thinking and Student Performance in Introductory Computer Science Programming Classes}, journal = {Int. J. Inf. Commun. Technol. Educ.}, volume = {12}, number = {1}, pages = {22--37}, year = {2016} }
@article{DBLP:journals/inroads/Armoni16a, author = {Michal Armoni}, title = {{COMPUTING} {IN} {SCHOOLS:} Computer science, computational thinking, programming, coding: the anomalies of transitivity in {K-12} computer science education}, journal = {Inroads}, volume = {7}, number = {4}, pages = {24--27}, year = {2016} }
@proceedings{DBLP:conf/cp/2016, editor = {Michel Rueher}, title = {Principles and Practice of Constraint Programming - 22nd International Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9892}, publisher = {Springer}, year = {2016} }
@proceedings{DBLP:conf/cpaior/2016, editor = {Claude{-}Guy Quimper}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9676}, publisher = {Springer}, year = {2016} }
@proceedings{DBLP:conf/esop/2016, editor = {Peter Thiemann}, title = {Programming Languages and Systems - 25th European Symposium on Programming, {ESOP} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9632}, publisher = {Springer}, year = {2016} }
@proceedings{DBLP:conf/mfps/2016, editor = {Lars Birkedal}, title = {The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {325}, publisher = {Elsevier}, year = {2016} }
@book{DBLP:series/lncs/10101, editor = {Christian Bessiere and Luc De Raedt and Lars Kotthoff and Siegfried Nijssen and Barry O'Sullivan and Dino Pedreschi}, title = {Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach}, series = {Lecture Notes in Computer Science}, volume = {10101}, publisher = {Springer}, year = {2016} }
@phdthesis{DBLP:phd/dnb/Berges15, author = {Marc{-}Pascal Berges}, title = {Object-Oriented Programming through the Lens of Computer Science Education}, school = {Technical University Munich}, year = {2015} }
@phdthesis{DBLP:phd/gr/Malliarakis15, author = {Christos Malliarakis}, title = {Serious games for teaching and learning computer programming: design, development and evaluation of a customizable educational massive multiplayer online role-playing game {(MMORPG)}}, school = {University of Macedonia Economic and Social Sciences, Greece}, year = {2015} }
@inproceedings{DBLP:conf/iticse/MartinezGB15, author = {Mar{\'{\i}}a Cecilia Mart{\'{\i}}nez and Marcos J. Gomez and Luciana Benotti}, title = {A Comparison of Preschool and Elementary School Children Learning Computer Science Concepts through a Multilanguage Robot Programming Platform}, booktitle = {ITiCSE}, pages = {159--164}, publisher = {{ACM}}, year = {2015} }
@proceedings{DBLP:conf/birthday/2014brewka, editor = {Thomas Eiter and Hannes Strass and Miroslaw Truszczynski and Stefan Woltran}, title = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9060}, publisher = {Springer}, year = {2015} }
@proceedings{DBLP:conf/birthday/2015degano, editor = {Chiara Bodei and Gian{-}Luigi Ferrari and Corrado Priami}, title = {Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9465}, publisher = {Springer}, year = {2015} }
@proceedings{DBLP:conf/birthday/2015wirsing, editor = {Rocco De Nicola and Rolf Hennicker}, title = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering}, series = {Lecture Notes in Computer Science}, volume = {8950}, publisher = {Springer}, year = {2015} }
@proceedings{DBLP:conf/cp/2015, editor = {Gilles Pesant}, title = {Principles and Practice of Constraint Programming - 21st International Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9255}, publisher = {Springer}, year = {2015} }
@proceedings{DBLP:conf/cpaior/2015, editor = {Laurent Michel}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain, May 18-22, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9075}, publisher = {Springer}, year = {2015} }
@proceedings{DBLP:conf/esop/2015, editor = {Jan Vitek}, title = {Programming Languages and Systems - 24th European Symposium on Programming, {ESOP} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9032}, publisher = {Springer}, year = {2015} }
@proceedings{DBLP:conf/mfps/2015, editor = {Dan R. Ghica}, title = {The 31st Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2015, Nijmegen, The Netherlands, June 22-25, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {319}, publisher = {Elsevier}, year = {2015} }
@proceedings{DBLP:conf/sfm/2015, editor = {Marco Bernardo and Einar Broch Johnsen}, title = {Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {9104}, publisher = {Springer}, year = {2015} }
@proceedings{DBLP:conf/utp/2014, editor = {David A. Naumann}, title = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, publisher = {Springer}, year = {2015} }
@phdthesis{DBLP:phd/us/Li14, author = {Jinrong Li}, title = {Explorations in the Cognitive Science of Computer Programming}, school = {Rensselaer Polytechnic Institute, {USA}}, year = {2014} }
@book{DBLP:series/txcs/Majkic14, author = {Zoran Majkic}, title = {Big Data Integration Theory - Theory and Methods of Database Mappings, Programming Languages, and Semantics}, series = {Texts in Computer Science}, publisher = {Springer}, year = {2014} }
@book{DBLP:series/utcs/Lee14a, author = {Kent D. Lee}, title = {Foundations of Programming Languages}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2014} }
@inproceedings{DBLP:conf/dfg/Obster14, author = {Mathias Obster}, title = {Using Static Analysis to Support Programming on Devices with Touch Based Input}, booktitle = {Joint Workshop of the German Research Training Groups in Computer Science}, pages = {45}, publisher = {Pro Business GmbH}, year = {2014} }
@inproceedings{DBLP:conf/dfg/Prellwitz14, author = {Matthias Prellwitz}, title = {Programming Abstractions for Ubiquitous Applications}, booktitle = {Joint Workshop of the German Research Training Groups in Computer Science}, pages = {94}, publisher = {Pro Business GmbH}, year = {2014} }
@inproceedings{DBLP:conf/dfg/Reiche14, author = {Oliver Reiche}, title = {Consistent Programming Models and Tools for Designing Heterogeneous Image Systems}, booktitle = {Joint Workshop of the German Research Training Groups in Computer Science}, pages = {181}, publisher = {Pro Business GmbH}, year = {2014} }
@inproceedings{DBLP:conf/fie/BragaPSD14, author = {Juliana Cristina Braga and Edson P. Pimentel and Itana Stiubiener and Silvia Dotta}, title = {Experimentation and analysis of undergraduate students performance and satisfaction in a blended model of an introductory computer science and programming course}, booktitle = {{FIE}}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2014} }
@inproceedings{DBLP:conf/fie/Prieto-Rodriguez14, author = {Elena Prieto{-}Rodriguez and Regina Berretta}, title = {Digital technology teachers' perceptions of computer science: It is not all about programming}, booktitle = {{FIE}}, pages = {1--5}, publisher = {{IEEE} Computer Society}, year = {2014} }
@inproceedings{DBLP:conf/icer/Broker14, author = {Kathrin Br{\"{o}}ker}, title = {Identification and measurement of computer science competencies in the area of software development, software engineering and programming}, booktitle = {{ICER}}, pages = {141--142}, publisher = {{ACM}}, year = {2014} }
@inproceedings{DBLP:conf/kolicalling/VivianFS14, author = {Rebecca Vivian and Katrina Falkner and Claudia Szabo}, title = {Can everybody learn to code?: computer science community perceptions about learning the fundamentals of programming}, booktitle = {Koli Calling}, pages = {41--50}, publisher = {{ACM}}, year = {2014} }
@inproceedings{DBLP:conf/latice/NoorHA14, author = {Norah Md Noor and Jamalludin Harun and Baharuddin Aris}, title = {Application of the Pedagogical and Andragogical Model in Web-Based Learning Instruction Among Non-major Computer Science Students' Learning Programming}, booktitle = {LaTiCE}, pages = {106--111}, publisher = {{IEEE} Computer Society}, year = {2014} }
@proceedings{DBLP:conf/cp/2014, editor = {Barry O'Sullivan}, title = {Principles and Practice of Constraint Programming - 20th International Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8656}, publisher = {Springer}, year = {2014} }
@proceedings{DBLP:conf/cpaior/2014, editor = {Helmut Simonis}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May 19-23, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8451}, publisher = {Springer}, year = {2014} }
@proceedings{DBLP:conf/esop/2014, editor = {Zhong Shao}, title = {Programming Languages and Systems - 23rd European Symposium on Programming, {ESOP} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8410}, publisher = {Springer}, year = {2014} }
@proceedings{DBLP:conf/mfps/2014, editor = {Bart Jacobs and Alexandra Silva and Sam Staton}, title = {Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {308}, publisher = {Elsevier}, year = {2014} }
@article{DBLP:journals/iie/StuikysBD13, author = {Vytautas Stuikys and Renata Burbaite and Robertas Damasevicius}, title = {Teaching of Computer Science Topics Using Meta-Programming-Based GLOs and {LEGO} Robots}, journal = {Informatics Educ.}, volume = {12}, number = {1}, pages = {125--142}, year = {2013} }
@inproceedings{DBLP:conf/iccS/Ferreira13, author = {Deller James Ferreira}, title = {Fostering the Creative Development of Computer Science Students in Programming and Interaction Design}, booktitle = {{ICCS}}, series = {Procedia Computer Science}, volume = {18}, pages = {1446--1455}, publisher = {Elsevier}, year = {2013} }
@proceedings{DBLP:conf/birthday/2013ganzinger, editor = {Andrei Voronkov and Christoph Weidenbach}, title = {Programming Logics - Essays in Memory of Harald Ganzinger}, series = {Lecture Notes in Computer Science}, volume = {7797}, publisher = {Springer}, year = {2013} }
@proceedings{DBLP:conf/birthday/2013he, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday}, series = {Lecture Notes in Computer Science}, volume = {8051}, publisher = {Springer}, year = {2013} }
@proceedings{DBLP:conf/cp/2013, editor = {Christian Schulte}, title = {Principles and Practice of Constraint Programming - 19th International Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8124}, publisher = {Springer}, year = {2013} }
@proceedings{DBLP:conf/cpaior/2013, editor = {Carla P. Gomes and Meinolf Sellmann}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7874}, publisher = {Springer}, year = {2013} }
@proceedings{DBLP:conf/esop/2013, editor = {Matthias Felleisen and Philippa Gardner}, title = {Programming Languages and Systems - 22nd European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7792}, publisher = {Springer}, year = {2013} }
@proceedings{DBLP:conf/ictac/2013s, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at {ICTAC} 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {8050}, publisher = {Springer}, year = {2013} }
@proceedings{DBLP:conf/inap/2011, editor = {Hans Tompits and Salvador Abreu and Johannes Oetsch and J{\"{o}}rg P{\"{u}}hrer and Dietmar Seipel and Masanobu Umeda and Armin Wolf}, title = {Applications of Declarative Programming and Knowledge Management - 19th International Conference, {INAP} 2011, and 25th Workshop on Logic Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7773}, publisher = {Springer}, year = {2013} }
@proceedings{DBLP:conf/mfps/2013, editor = {Dexter Kozen and Michael W. Mislove}, title = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June 23-25, 2013}, series = {Electronic Notes in Theoretical Computer Science}, volume = {298}, publisher = {Elsevier}, year = {2013} }
@proceedings{DBLP:conf/utp/2012, editor = {Burkhart Wolff and Marie{-}Claude Gaudel and Abderrahmane Feliachi}, title = {Unifying Theories of Programming, 4th International Symposium, {UTP} 2012, Paris, France, August 27-28, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7681}, publisher = {Springer}, year = {2013} }
@proceedings{DBLP:journals/tplop/2013-3, editor = {James Noble and Ralph Johnson and Uwe Zdun and Eugene Wallingford}, title = {Transactions on Pattern Languages of Programming {III}}, series = {Lecture Notes in Computer Science}, volume = {7840}, publisher = {Springer}, year = {2013} }
@inproceedings{DBLP:conf/sigcse/JamiesonJJ12, author = {Alan C. Jamieson and Lindsay H. Jamieson and Angela C. Johnson}, title = {Application of non-programming focused treisman-style workshops in introductory computer science}, booktitle = {{SIGCSE}}, pages = {271--276}, publisher = {{ACM}}, year = {2012} }
@proceedings{DBLP:conf/cp/2012, editor = {Michela Milano}, title = {Principles and Practice of Constraint Programming - 18th International Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October 8-12, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7514}, publisher = {Springer}, year = {2012} }
@proceedings{DBLP:conf/cpaior/2012, editor = {Nicolas Beldiceanu and Narendra Jussien and Eric Pinson}, title = {Integration of {AI} and {OR} Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, {CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7298}, publisher = {Springer}, year = {2012} }
@proceedings{DBLP:conf/esop/2012, editor = {Helmut Seidl}, title = {Programming Languages and Systems - 21st European Symposium on Programming, {ESOP} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7211}, publisher = {Springer}, year = {2012} }
@proceedings{DBLP:conf/mfps/2012, editor = {Ulrich Berger and Michael W. Mislove}, title = {Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {286}, publisher = {Elsevier}, year = {2012} }
@proceedings{DBLP:conf/prole/2011, editor = {Puri Arenas and V{\'{\i}}ctor M. Gul{\'{\i}}as}, title = {Proceedings of the {XI} Spanish Conference on Programming and Languages, {PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {282}, publisher = {Elsevier}, year = {2012} }
@book{DBLP:series/utcs/DowekL11, author = {Gilles Dowek and Jean{-}Jacques L{\'{e}}vy}, title = {Introduction to the Theory of Programming Languages}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2011} }
@article{DBLP:journals/scp/HaublWM11, author = {Christian H{\"{a}}ubl and Christian Wimmer and Hanspeter M{\"{o}}ssenb{\"{o}}ck}, title = {Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 {(2010)} 1077-1094]}, journal = {Sci. Comput. Program.}, volume = {76}, number = {11}, pages = {1073}, year = {2011} }
@inproceedings{DBLP:conf/dna/Lutz11, author = {Jack H. Lutz}, title = {The Computer Science of Molecular Programming}, booktitle = {{DNA}}, series = {Lecture Notes in Computer Science}, volume = {6937}, pages = {21}, publisher = {Springer}, year = {2011} }
@inproceedings{DBLP:conf/icfce/JiaoXZC11, author = {Jia{-}lin Jiao and Zenggang Xiong and Xue{-}min Zhang and Jian{-}Xin Chen}, title = {Research on the Role of "Mobile Programming" Course in Teaching Curriculum Reform of Computer Science and Technology}, booktitle = {{ICFCE}}, series = {Advances in Intelligent and Soft Computing}, volume = {133}, pages = {65--69}, publisher = {Springer}, year = {2011} }
@incollection{DBLP:books/sp/cs2011/BlumS11, author = {Edward K. Blum and Walter J. Savitch}, title = {The Software Side of Computer Science - Computer Programming}, booktitle = {Computer Science, The Hardware, Software and Heart of It}, pages = {53--68}, publisher = {Springer}, year = {2011} }
@incollection{DBLP:books/sp/cs2011/ScheidelerG11, author = {Christian Scheideler and Kalman Graffi}, title = {Programming for Distributed Computing: From Physical to Logical Networks}, booktitle = {Computer Science, The Hardware, Software and Heart of It}, pages = {155--168}, publisher = {Springer}, year = {2011} }
@proceedings{DBLP:conf/birthday/2011gelfond, editor = {Marcello Balduccini and Tran Cao Son}, title = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {6565}, publisher = {Springer}, year = {2011} }
@proceedings{DBLP:conf/cp/2011, editor = {Jimmy Ho{-}Man Lee}, title = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th International Conference, {CP} 2011, Perugia, Italy, September 12-16, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6876}, publisher = {Springer}, year = {2011} }
@proceedings{DBLP:conf/cpaior/2011, editor = {Tobias Achterberg and J. Christopher Beck}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, {CPAIOR} 2011, Berlin, Germany, May 23-27, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6697}, publisher = {Springer}, year = {2011} }
@proceedings{DBLP:conf/esop/2011, editor = {Gilles Barthe}, title = {Programming Languages and Systems - 20th European Symposium on Programming, {ESOP} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6602}, publisher = {Springer}, year = {2011} }
@proceedings{DBLP:conf/inap/2009, editor = {Salvador Abreu and Dietmar Seipel}, title = {Applications of Declarative Programming and Knowledge Management - 18th International Conference, {INAP} 2009, {\'{E}}vora, Portugal, November 3-5, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6547}, publisher = {Springer}, year = {2011} }
@proceedings{DBLP:conf/mfps/2011, editor = {Michael W. Mislove and Jo{\"{e}}l Ouaknine}, title = {Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2011, Pittsburgh, PA, USA, May 25-28, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {276}, publisher = {Elsevier}, year = {2011} }
@proceedings{DBLP:conf/msfp/2008, editor = {Venanzio Capretta and Conor McBride}, title = {Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {229}, number = {5}, publisher = {Elsevier}, year = {2011} }
@proceedings{DBLP:conf/prole/2010, editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and Josep Silva Galiana}, title = {Proceedings of the Tenth Spanish Conference on Programming and Languages, {PROLE} 2010, Valencia, Spain, September 8-10, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {271}, publisher = {Elsevier}, year = {2011} }
@proceedings{DBLP:journals/tplop/2011-2, editor = {James Noble and Ralph Johnson and Paris Avgeriou and Neil B. Harrison and Uwe Zdun}, title = {Transactions on Pattern Languages of Programming {II} - Special Issue on Applying Patterns}, series = {Lecture Notes in Computer Science}, volume = {6510}, publisher = {Springer}, year = {2011} }
@article{DBLP:journals/csedu/StoilescuE10, author = {Dorian Stoilescu and Gunawardena Egodawatte}, title = {Gender differences in the use of computers, programming, and peer interactions in computer science classrooms}, journal = {Comput. Sci. Educ.}, volume = {20}, number = {4}, pages = {283--300}, year = {2010} }
@inproceedings{DBLP:conf/dihu/BundeE10, author = {Janet Marie Bunde and Deena Engel}, title = {An Inter-Disciplinary Approach to Web Programming: {A} Collaboration Between the University Archives and the Department of Computer Science}, booktitle = {{DH}}, pages = {290--291}, publisher = {Office for Humanities Communication and Centre for Computing in the Humanities}, year = {2010} }
@proceedings{DBLP:conf/aaip/2009, editor = {Ute Schmid and Emanuel Kitzelmann and Rinus Plasmeijer}, title = {Approaches and Applications of Inductive Programming, Third International Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5812}, publisher = {Springer}, year = {2010} }
@book{DBLP:conf/agp/2010, editor = {Agostino Dovier and Enrico Pontelli}, title = {A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, {GULP}}, series = {Lecture Notes in Computer Science}, volume = {6125}, publisher = {Springer}, year = {2010} }
@proceedings{DBLP:conf/cp/2010, editor = {David Cohen}, title = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, publisher = {Springer}, year = {2010} }
@proceedings{DBLP:conf/cpaior/2010, editor = {Andrea Lodi and Michela Milano and Paolo Toth}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, {CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6140}, publisher = {Springer}, year = {2010} }
@proceedings{DBLP:conf/esop/2010, editor = {Andrew D. Gordon}, title = {Programming Languages and Systems, 19th European Symposium on Programming, {ESOP} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6012}, publisher = {Springer}, year = {2010} }
@proceedings{DBLP:conf/mfps/2010, editor = {Michael W. Mislove and Peter Selinger}, title = {Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May 6-10, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {265}, publisher = {Elsevier}, year = {2010} }
@proceedings{DBLP:conf/mtpp/2010, editor = {Ching{-}Hsien Hsu and Victor Malyshkin}, title = {Methods and Tools of Parallel Programming Multicomputers - Second Russia-Taiwan Symposium, {MTPP} 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6083}, publisher = {Springer}, year = {2010} }
@proceedings{DBLP:conf/sfm/2010, editor = {Alessandro Aldini and Marco Bernardo and Alessandra Di Pierro and Herbert Wiklicky}, title = {Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, {SFM} 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {6154}, publisher = {Springer}, year = {2010} }
@proceedings{DBLP:conf/utp/2008, editor = {Andrew Butterfield}, title = {Unifying Theories of Programming, Second International Symposium, {UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5713}, publisher = {Springer}, year = {2010} }
@proceedings{DBLP:conf/utp/2010, editor = {Shengchao Qin}, title = {Unifying Theories of Programming - Third International Symposium, {UTP} 2010, Shanghai, China, November 15-16, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6445}, publisher = {Springer}, year = {2010} }
@book{DBLP:series/utcs/Dowek09, author = {Gilles Dowek}, title = {Principles of Programming Languages}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2009} }
@article{DBLP:journals/csedu/Howles09, author = {Trudy Howles}, title = {A study of attrition and the use of student learning communities in the computer science introductory programming sequence}, journal = {Comput. Sci. Educ.}, volume = {19}, number = {1}, pages = {1--13}, year = {2009} }
@inproceedings{DBLP:conf/fecs/HuM09, author = {Yen{-}Hung Hu and Jean Muhammad}, title = {A Strategy of Integrating Game Programming into Computer Science Curriculum}, booktitle = {{FECS}}, pages = {55--60}, publisher = {{CSREA} Press}, year = {2009} }
@proceedings{DBLP:conf/cp/2009, editor = {Ian P. Gent}, title = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, publisher = {Springer}, year = {2009} }
@proceedings{DBLP:conf/cpaior/2009, editor = {Willem Jan van Hoeve and John N. Hooker}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5547}, publisher = {Springer}, year = {2009} }
@proceedings{DBLP:conf/esop/2009, editor = {Giuseppe Castagna}, title = {Programming Languages and Systems, 18th European Symposium on Programming, {ESOP} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5502}, publisher = {Springer}, year = {2009} }
@proceedings{DBLP:conf/mfps/2009, editor = {Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi}, title = {Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {249}, publisher = {Elsevier}, year = {2009} }
@proceedings{DBLP:conf/places/2008, editor = {Vasco T. Vasconcelos and Nobuko Yoshida}, title = {Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {241}, publisher = {Elsevier}, year = {2009} }
@proceedings{DBLP:conf/prole/2008, editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez}, title = {Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {248}, publisher = {Elsevier}, year = {2009} }
@proceedings{DBLP:conf/prole/2009, editor = {Paqui Lucio and Gin{\'{e}}s Moreno and Ricardo Pe{\~{n}}a}, title = {Proceedings of the Ninth Spanish Conference on Programming and Languages, {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {258}, number = {1}, publisher = {Elsevier}, year = {2009} }
@proceedings{DBLP:conf/qapl/2009, editor = {Christel Baier and Alessandra Di Pierro}, title = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2009, York, UK, March 28-29, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {253}, number = {3}, publisher = {Elsevier}, year = {2009} }
@proceedings{DBLP:conf/slap/2008, editor = {Alain Girault and {\'{E}}ric Rutten}, title = {Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary, March 29, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {1}, publisher = {Elsevier}, year = {2009} }
@proceedings{DBLP:conf/wflp/2008, editor = {Moreno Falaschi}, title = {Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {246}, publisher = {Elsevier}, year = {2009} }
@proceedings{DBLP:conf/wlp/2007, editor = {Dietmar Seipel and Michael Hanus and Armin Wolf}, title = {Applications of Declarative Programming and Knowledge Management, 17th International Conference, {INAP} 2007, and 21st Workshop on Logic Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5437}, publisher = {Springer}, year = {2009} }
@proceedings{DBLP:conf/wrs/2008, editor = {Aart Middeldorp}, title = {Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July 14, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {237}, publisher = {Elsevier}, year = {2009} }
@proceedings{DBLP:journals/tplop/2009-1, editor = {James Noble and Ralph Johnson}, title = {Transactions on Pattern Languages of Programming {I}}, series = {Lecture Notes in Computer Science}, volume = {5770}, publisher = {Springer}, year = {2009} }
@phdthesis{DBLP:phd/il/Liberman08, author = {Neomi Liberman}, title = {{\unicode{1500}}{\unicode{1502}}{\unicode{1497}}{\unicode{1491}}{\unicode{1514}} {\unicode{1502}}{\unicode{1493}}{\unicode{1513}}{\unicode{1490}}{\unicode{1497}}{\unicode{1501}} {\unicode{1502}}{\unicode{1514}}{\unicode{1511}}{\unicode{1491}}{\unicode{1502}}{\unicode{1497}}{\unicode{1501}} {\unicode{1489}}{\unicode{1508}}{\unicode{1512}}{\unicode{1491}}{\unicode{1497}}{\unicode{1490}}{\unicode{1502}}{\unicode{1492}} {\unicode{1514}}{\unicode{1499}}{\unicode{1504}}{\unicode{1493}}{\unicode{1514}}{\unicode{1497}}{\unicode{1514}} {\unicode{1495}}{\unicode{1491}}{\unicode{1513}}{\unicode{1492}} ({\unicode{1514}}{\unicode{1499}}{\unicode{1504}}{\unicode{1493}}{\unicode{1514}} {\unicode{1502}}{\unicode{1493}}{\unicode{1504}}{\unicode{1495}}{\unicode{1492}} {\unicode{1506}}{\unicode{1510}}{\unicode{1502}}{\unicode{1497}}{\unicode{1501}} {\unicode{1489}}{\unicode{8207}} Java{\unicode{8207}} {)} {\unicode{1506}}{\unicode{1500}} {\unicode{1497}}{\unicode{1491}}{\unicode{1497}} {\unicode{1502}}{\unicode{1493}}{\unicode{1512}}{\unicode{1497}}{\unicode{1501}} {\unicode{1500}}{\unicode{1502}}{\unicode{1491}}{\unicode{1506}}{\unicode{1497}} {\unicode{1492}}{\unicode{1502}}{\unicode{1495}}{\unicode{1513}}{\unicode{1489}} (Learning of advanced concepts in a new programmimg paradigm (object oriented programming in Java) by teachers of computer science.)}, school = {Hebrew University of Jerusalem, Israel}, year = {2008} }
@article{DBLP:journals/ijet/SerbecKR08, author = {Irena Nancovska Serbec and Branko Kaucic and Joze Rugelj}, title = {Pair Programming as a Modern Method of Teaching Computer Science}, journal = {Int. J. Emerg. Technol. Learn.}, volume = {3}, number = {{S2}}, pages = {45--49}, year = {2008} }
@article{DBLP:journals/sigplan/BruceF08a, author = {Kim B. Bruce and Stephen N. Freund}, title = {Programming languages as part of core computer science}, journal = {{ACM} {SIGPLAN} Notices}, volume = {43}, number = {11}, pages = {50--54}, year = {2008} }
@incollection{DBLP:reference/wiley/AbrahamBE08, author = {Robin Abraham and Margaret M. Burnett and Martin Erwig}, title = {Spreadsheet Programming}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/Chitil08, author = {Olaf Chitil}, title = {Functional Programming}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/Cox08a, author = {Philip T. Cox}, title = {Visual Programming Languages}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/Evans08, author = {Jeffrey J. Evans}, title = {Parallel Programming Tools}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/FaberLR08, author = {Wolfgang Faber and Nicola Leone and Francesco Ricca}, title = {Answer Set Programming}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/Gomaa08, author = {Hassan Gomaa}, title = {Concurrent Programming}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/JeffersonS08, author = {Thomas R. Jefferson and Carlton H. Scott}, title = {Geometric Programming}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/OkaW08, author = {Ryuichi Oka and Aizu Wakamatsu}, title = {Dynamic Programming}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/Pingali08, author = {Keshav Pingali}, title = {Parallel and Vector Programming Languages}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/Renesse08, author = {Robbert van Renesse}, title = {Programming Models: Client - Server, Process Groups, and Peer-to-Peer}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/Solow08, author = {Daniel Solow}, title = {Linear and Nonlinear Programming}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@incollection{DBLP:reference/wiley/Wolsey08, author = {Laurence A. Wolsey}, title = {Mixed Integer Programming}, booktitle = {Wiley Encyclopedia of Computer Science and Engineering}, publisher = {John Wiley {\&} Sons, Inc.}, year = {2008} }
@proceedings{DBLP:conf/cp/2008, editor = {Peter J. Stuckey}, title = {Principles and Practice of Constraint Programming, 14th International Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5202}, publisher = {Springer}, year = {2008} }
@proceedings{DBLP:conf/cpaior/2008, editor = {Laurent Perron and Michael A. Trick}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5015}, publisher = {Springer}, year = {2008} }
@proceedings{DBLP:conf/esop/2008, editor = {Sophia Drossopoulou}, title = {Programming Languages and Systems, 17th European Symposium on Programming, {ESOP} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4960}, publisher = {Springer}, year = {2008} }
@proceedings{DBLP:conf/icalp/2008-2, editor = {Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'{u}}s M. Halld{\'{o}}rsson and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Igor Walukiewicz}, title = {Automata, Languages and Programming, 35th International Colloquium, {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&} Track {C:} Security and Cryptography Foundations}, series = {Lecture Notes in Computer Science}, volume = {5126}, publisher = {Springer}, year = {2008} }
@proceedings{DBLP:conf/mfps/2008, editor = {Andrej Bauer and Michael W. Mislove}, title = {Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May 22-25, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {218}, publisher = {Elsevier}, year = {2008} }
@proceedings{DBLP:conf/prole/2007, editor = {Ernesto Pimentel}, title = {Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {206}, publisher = {Elsevier}, year = {2008} }
@proceedings{DBLP:conf/qapl/2008, editor = {Alessandro Aldini and Christel Baier}, title = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {220}, number = {3}, publisher = {Elsevier}, year = {2008} }
@proceedings{DBLP:conf/qpl/2006, editor = {Peter Selinger}, title = {Proceedings of the 4th International Workshop on Quantum Programming Languages, {QPL} 2006, Oxford, UK, July 17-19, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {210}, publisher = {Elsevier}, year = {2008} }
@proceedings{DBLP:conf/rule/2007, editor = {Joost Visser and Victor Winter}, title = {Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {219}, publisher = {Elsevier}, year = {2008} }
@proceedings{DBLP:conf/slap/2007, editor = {Joaqu{\'{\i}}n Aguado and Michael Mendler}, title = {Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {203}, number = {4}, publisher = {Elsevier}, year = {2008} }
@proceedings{DBLP:conf/wflp/2007, editor = {Rachid Echahed}, title = {Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {216}, publisher = {Elsevier}, year = {2008} }
@proceedings{DBLP:conf/wrs/2007, editor = {J{\"{u}}rgen Giesl}, title = {Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {204}, publisher = {Elsevier}, year = {2008} }
@book{DBLP:series/lncs/4821, editor = {Jens Bennedsen and Michael E. Caspersen and Michael K{\"{o}}lling}, title = {Reflections on the Teaching of Programming, Methods and Implementations}, series = {Lecture Notes in Computer Science}, volume = {4821}, publisher = {Springer}, year = {2008} }
@phdthesis{DBLP:phd/se/Dunkels07, author = {Adam Dunkels}, title = {Programming Memory-Constrained Networked Embedded Systems. PhD thesis}, school = {Swedish Institute of Computer Science, Sweden}, year = {2007} }
@article{DBLP:journals/scp/Broy07a, author = {Manfred Broy}, title = {Editorial-Science of Computer Programming-25 years}, journal = {Sci. Comput. Program.}, volume = {66}, number = {2}, pages = {103--104}, year = {2007} }
@article{DBLP:journals/sigcse/StolinH07, author = {Yuila Stolin and Orit Hazzan}, title = {Students' understanding of computer science soft ideas: the case of programming paradigm}, journal = {{ACM} {SIGCSE} Bull.}, volume = {39}, number = {2}, pages = {65--69}, year = {2007} }
@inproceedings{DBLP:conf/csee/CarverHHHR07, author = {Jeffrey C. Carver and Lisa Henderson and Lulu He and Julia E. Hodges and Donna S. Reese}, title = {Increased Retention of Early Computer Science and Software Engineering Students Using Pair Programming}, booktitle = {CSEE{\&}T}, pages = {115--122}, publisher = {{IEEE} Computer Society}, year = {2007} }
@proceedings{DBLP:conf/cp/2007, editor = {Christian Bessiere}, title = {Principles and Practice of Constraint Programming - {CP} 2007, 13th International Conference, {CP} 2007, Providence, RI, USA, September 23-27, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4741}, publisher = {Springer}, year = {2007} }
@proceedings{DBLP:conf/cpaior/2007, editor = {Pascal Van Hentenryck and Laurence A. Wolsey}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, {CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4510}, publisher = {Springer}, year = {2007} }
@proceedings{DBLP:conf/esop/2007, editor = {Rocco De Nicola}, title = {Programming Languages and Systems, 16th European Symposium on Programming, {ESOP} 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4421}, publisher = {Springer}, year = {2007} }
@proceedings{DBLP:conf/mfps/2007, editor = {Marcelo Fiore}, title = {Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April 11-14, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {173}, publisher = {Elsevier}, year = {2007} }
@proceedings{DBLP:conf/plpv/2006, editor = {Aaron Stump and Hongwei Xi}, title = {Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {7}, publisher = {Elsevier}, year = {2007} }
@proceedings{DBLP:conf/prole/2006, editor = {Paqui Lucio and Fernando Orejas}, title = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, publisher = {Elsevier}, year = {2007} }
@proceedings{DBLP:conf/qapl/2007, editor = {Alessandro Aldini and Franck van Breugel}, title = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {3}, publisher = {Elsevier}, year = {2007} }
@proceedings{DBLP:conf/qpl/2005, editor = {Peter Selinger}, title = {Proceedings of the 3rd International Workshop on Quantum Programming Languages, {QPL} 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {170}, publisher = {Elsevier}, year = {2007} }
@proceedings{DBLP:conf/rule/2006, editor = {Maribel Fern{\'{a}}ndez and Ralf L{\"{a}}mmel}, title = {Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {1}, publisher = {Elsevier}, year = {2007} }
@proceedings{DBLP:conf/wflp/2006, editor = {Francisco Javier L{\'{o}}pez{-}Fraguas}, title = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {177}, publisher = {Elsevier}, year = {2007} }
@proceedings{DBLP:conf/wrs/2006, editor = {Sergio Antoy}, title = {Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {10}, publisher = {Elsevier}, year = {2007} }
@phdthesis{DBLP:phd/ethos/Symeonidis06, author = {Pavlos Symeonidis}, title = {Automated assessment of Java programming coursework for computer science education}, school = {University of Nottingham, {UK}}, year = {2006} }
@inproceedings{DBLP:conf/iticse/MendesAL06, author = {Emilia Mendes and Lubna Basil Al{-}Fakhri and Andrew Luxton{-}Reilly}, title = {A replicated experiment of pair-programming in a 2nd-year software development and design computer science course}, booktitle = {ITiCSE}, pages = {108--112}, publisher = {{ACM}}, year = {2006} }
@proceedings{DBLP:conf/cp/2006, editor = {Fr{\'{e}}d{\'{e}}ric Benhamou}, title = {Principles and Practice of Constraint Programming - {CP} 2006, 12th International Conference, {CP} 2006, Nantes, France, September 25-29, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4204}, publisher = {Springer}, year = {2006} }
@proceedings{DBLP:conf/cpaior/2006, editor = {J. Christopher Beck and Barbara M. Smith}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, {CPAIOR} 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3990}, publisher = {Springer}, year = {2006} }
@proceedings{DBLP:conf/esop/2006, editor = {Peter Sestoft}, title = {Programming Languages and Systems, 15th European Symposium on Programming, {ESOP} 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3924}, publisher = {Springer}, year = {2006} }
@proceedings{DBLP:conf/inap/2005, editor = {Masanobu Umeda and Armin Wolf and Oskar Bartenstein and Ulrich Geske and Dietmar Seipel and Osamu Takata}, title = {Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, {INAP} 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4369}, publisher = {Springer}, year = {2006} }
@proceedings{DBLP:conf/mfps/2005, editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and Achim Jung and Michael W. Mislove}, title = {Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {155}, publisher = {Elsevier}, year = {2006} }
@proceedings{DBLP:conf/mfps/2006, editor = {Stephen D. Brookes and Michael W. Mislove}, title = {Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2006, Genova, Italy, May 23-27, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {158}, publisher = {Elsevier}, year = {2006} }
@proceedings{DBLP:conf/qapl/2005, editor = {Antonio Cerone and Herbert Wiklicky}, title = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {153}, number = {2}, publisher = {Elsevier}, year = {2006} }
@proceedings{DBLP:conf/qapl/2006, editor = {Alessandra Di Pierro and Herbert Wiklicky}, title = {Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2006, Vienna, Austria, April 1-2, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {164}, number = {3}, publisher = {Elsevier}, year = {2006} }
@proceedings{DBLP:conf/rule/2005, editor = {Horatiu Cirstea and Narciso Mart{\'{\i}}{-}Oliet}, title = {Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {147}, number = {1}, publisher = {Elsevier}, year = {2006} }
@proceedings{DBLP:conf/utp/2006, editor = {Steve Dunne and Bill Stoddart}, title = {Unifying Theories of Programming, First International Symposium, {UTP} 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4010}, publisher = {Springer}, year = {2006} }
@article{DBLP:journals/es/McCauleyMWHZFSMRA05, author = {Ren{\'{e}}e McCauley and Laurie Murphy and Suzanne Westbrook and Susan M. Haller and Carol Zander and Timothy V. Fossum and Kate Sanders and Briana B. Morrison and Brad Richards and Ruth E. Anderson}, title = {What do successful computer science students know? An integrative analysis using card sort measures and content analysis to evaluate graduating students' knowledge of programming concepts}, journal = {Expert Syst. J. Knowl. Eng.}, volume = {22}, number = {3}, pages = {147--159}, year = {2005} }
@inproceedings{DBLP:conf/chi/Louca05, author = {Loucas Louca}, title = {The syntax or the story behind it?: a usability study of student work with computer-based programming environments in elementary science}, booktitle = {{CHI}}, pages = {849--858}, publisher = {{ACM}}, year = {2005} }
@inproceedings{DBLP:conf/sigcse/MurphyMWFHMRSZA05, author = {Laurie Murphy and Ren{\'{e}}e McCauley and Suzanne Westbrook and Timothy V. Fossum and Susan M. Haller and Briana B. Morrison and Brad Richards and Kate Sanders and Carol Zander and Ruth E. Anderson}, title = {A multi-institutional investigation of computer science seniors' knowledge of programming concepts}, booktitle = {{SIGCSE}}, pages = {510--514}, publisher = {{ACM}}, year = {2005} }
@proceedings{DBLP:conf/cp/2005, editor = {Peter van Beek}, title = {Principles and Practice of Constraint Programming - {CP} 2005, 11th International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3709}, publisher = {Springer}, year = {2005} }
@proceedings{DBLP:conf/cpaior/2005, editor = {Roman Bart{\'{a}}k and Michela Milano}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, {CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3524}, publisher = {Springer}, year = {2005} }
@proceedings{DBLP:conf/esop/2005, editor = {Shmuel Sagiv}, title = {Programming Languages and Systems, 14th European Symposium on Programming, {ESOP} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3444}, publisher = {Springer}, year = {2005} }
@proceedings{DBLP:conf/prole/2004, editor = {Salvador Lucas}, title = {Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {137}, number = {1}, publisher = {Elsevier}, year = {2005} }
@proceedings{DBLP:conf/qapl/2004, editor = {Antonio Cerone and Alessandra Di Pierro}, title = {Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {112}, publisher = {Elsevier}, year = {2005} }
@proceedings{DBLP:conf/rule/2004, editor = {Slim Abdennadher and Christophe Ringeissen}, title = {Proceedings of the 5th International Workshop on Rule-Based Programming, {RULE} 2004, Aachen, Germany, June 1, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {124}, number = {1}, publisher = {Elsevier}, year = {2005} }
@proceedings{DBLP:conf/wlp/2004, editor = {Dietmar Seipel and Michael Hanus and Ulrich Geske and Oskar Bartenstein}, title = {Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, {INAP} 2004, and 18th Workshop on Logic Programming, {WLP} 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3392}, publisher = {Springer}, year = {2005} }
@proceedings{DBLP:conf/wrs/2004, editor = {Sergio Antoy and Yoshihito Toyama}, title = {Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, {WRS} 2004, Aachen, Germany, June 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {124}, number = {2}, publisher = {Elsevier}, year = {2005} }
@proceedings{DBLP:conf/cp/2004, editor = {Mark Wallace}, title = {Principles and Practice of Constraint Programming - {CP} 2004, 10th International Conference, {CP} 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3258}, publisher = {Springer}, year = {2004} }
@proceedings{DBLP:conf/cpaior/2004, editor = {Jean{-}Charles R{\'{e}}gin and Michel Rueher}, title = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, {CPAIOR} 2004, Nice, France, April 20-22, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3011}, publisher = {Springer}, year = {2004} }
@proceedings{DBLP:conf/esop/2004, editor = {David A. Schmidt}, title = {Programming Languages and Systems, 13th European Symposium on Programming, {ESOP} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2986}, publisher = {Springer}, year = {2004} }
@proceedings{DBLP:conf/slap/2003, editor = {Florence Maraninchi and Alain Girault and {\'{E}}ric Rutten}, title = {Synchronous Languages, Applications and Programming, {SLAP} 2003, {A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {88}, publisher = {Elsevier}, year = {2004} }
@inproceedings{DBLP:conf/cscl/LoucaDHD03, author = {Loucas Louca and Allison Druin and David M. Hammer and D. Dreher}, title = {Students' Collaborative use of Computer-Based Programming Tools in Science}, booktitle = {{CSCL}}, series = {Computer-Supported Collaborative Learning}, volume = {2}, pages = {109--118}, publisher = {Springer}, year = {2003} }
@proceedings{DBLP:conf/cp/2003, editor = {Francesca Rossi}, title = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, publisher = {Springer}, year = {2003} }
@proceedings{DBLP:conf/esop/2003, editor = {Pierpaolo Degano}, title = {Programming Languages and Systems, 12th European Symposium on Programming, {ESOP} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2618}, publisher = {Springer}, year = {2003} }
@proceedings{DBLP:conf/global/2003, editor = {Corrado Priami}, title = {Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, {IST/FET} International Workshop, {GC} 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2874}, publisher = {Springer}, year = {2003} }
@proceedings{DBLP:conf/lpe/2003, editor = {Fr{\'{e}}d{\'{e}}ric Mesnard and Alexander Serebrenik}, title = {Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003}, series = {Report}, volume = {{CW371}}, publisher = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, {B-3001} Heverlee (Belgium)}, year = {2003} }
@proceedings{DBLP:conf/mfps/2003, editor = {Stephen D. Brookes and Prakash Panangaden}, title = {Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al, QC, Canada, March 19-22, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {83}, publisher = {Elsevier}, year = {2003} }
@proceedings{DBLP:conf/splst/2003, editor = {Pekka Kilpel{\"{a}}inen and Niina P{\"{a}}ivinen}, title = {Proceedings of the Eighth Symposium on Programming Languages and Software Tools, SPLST'03, Kuopio, Finland, June 17-18, 2003}, publisher = {University of Kuopio, Department of Computer Science}, year = {2003} }
@book{DBLP:books/sp/Schulte02, author = {Christian Schulte}, title = {Programming Constraint Services: High-Level Programming of Standard and New Constraint Services}, series = {Lecture Notes in Computer Science}, volume = {2302}, publisher = {Springer}, year = {2002} }
@article{DBLP:journals/csedu/WilliamsWYFM02, author = {Laurie A. Williams and Eric N. Wiebe and Kai Yang and Miriam Ferzli and Carol Miller}, title = {In Support of Pair Programming in the Introductory Computer Science Course}, journal = {Comput. Sci. Educ.}, volume = {12}, number = {3}, pages = {197--212}, year = {2002} }
@inproceedings{DBLP:conf/birthday/Gillies02, author = {Donald Gillies}, title = {Logicism and the Development of Computer Science}, booktitle = {Computational Logic: Logic Programming and Beyond}, series = {Lecture Notes in Computer Science}, volume = {2408}, pages = {588--604}, publisher = {Springer}, year = {2002} }
@proceedings{DBLP:conf/birthday/2002kowalski1, editor = {Antonis C. Kakas and Fariba Sadri}, title = {Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {2407}, publisher = {Springer}, year = {2002} }
@proceedings{DBLP:conf/birthday/2002kowalski2, editor = {Antonis C. Kakas and Fariba Sadri}, title = {Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {2408}, publisher = {Springer}, year = {2002} }
@proceedings{DBLP:conf/cp/2002, editor = {Pascal Van Hentenryck}, title = {Principles and Practice of Constraint Programming - {CP} 2002, 8th International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2470}, publisher = {Springer}, year = {2002} }
@proceedings{DBLP:conf/esop/2002, editor = {Daniel Le M{\'{e}}tayer}, title = {Programming Languages and Systems, 11th European Symposium on Programming, {ESOP} 2002, held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2305}, publisher = {Springer}, year = {2002} }
@proceedings{DBLP:conf/etaps/2002slap, editor = {Florence Maraninchi and Alain Girault and {\'{E}}ric Rutten}, title = {Synchronous Languages, Applications, and Programming, {SLAP} 2002, Satellite Event of {ETAPS} 2002, Grenoble, France, April 13, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {5}, publisher = {Elsevier}, year = {2002} }
@proceedings{DBLP:conf/qapl/2001, editor = {Alessandra Di Pierro and Herbert Wiklicky}, title = {Workshop on Quantitative Aspects of Programming Laguages, {QAPL} 2001, Satellite Event of {PLI} 2001, Firenze, Italy, September 7, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {59}, number = {3}, publisher = {Elsevier}, year = {2002} }
@book{DBLP:series/mcs/Misra01, author = {Jayadev Misra}, title = {A Discipline of Multiprogramming - Programming Theory for Distributed Applications}, series = {Monographs in Computer Science}, publisher = {Springer}, year = {2001} }
@article{DBLP:journals/sigcse/BerginKMNGPH01, author = {Joseph Bergin and Charles Kelemen and Myles F. McNally and Thomas L. Naps and Michael Goldweber and Chris Power and Stephen J. Hartley}, title = {Non-programming resources for an introduction to {CS:} a collection of resources for the first courses in computer science}, journal = {{ACM} {SIGCSE} Bull.}, volume = {33}, number = {2}, pages = {89--100}, year = {2001} }
@proceedings{DBLP:conf/cp/2001, editor = {Toby Walsh}, title = {Principles and Practice of Constraint Programming - {CP} 2001, 7th International Conference, {CP} 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2239}, publisher = {Springer}, year = {2001} }
@proceedings{DBLP:conf/dimacs/dimacs57, editor = {Eugene C. Freuder and Richard J. Wallace}, title = {Constraint Programming and Large Scale Discrete Optimization, Proceedings of a {DIMACS} Workshop, Princeton, New Jersey, USA, September 14-17, 1998}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {57}, publisher = {{DIMACS/AMS}}, year = {2001} }
@proceedings{DBLP:conf/esop/2001, editor = {David Sands}, title = {Programming Languages and Systems, 10th European Symposium on Programming, {ESOP} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2028}, publisher = {Springer}, year = {2001} }
@proceedings{DBLP:conf/mfps/2001, editor = {Stephen D. Brookes and Michael W. Mislove}, title = {Seventeenth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {45}, publisher = {Elsevier}, year = {2001} }
@proceedings{DBLP:conf/rule/2001, editor = {Mark van den Brand and Rakesh M. Verma}, title = {Second International Workshop on Rule-Based Programming, {RULE} 2001, Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {59}, number = {4}, publisher = {Elsevier}, year = {2001} }
@proceedings{DBLP:conf/cp/2000, editor = {Rina Dechter}, title = {Principles and Practice of Constraint Programming - {CP} 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1894}, publisher = {Springer}, year = {2000} }
@proceedings{DBLP:conf/esop/2000, editor = {Gert Smolka}, title = {Programming Languages and Systems, 9th European Symposium on Programming, {ESOP} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1782}, publisher = {Springer}, year = {2000} }
@proceedings{DBLP:conf/cp/1999, editor = {Joxan Jaffar}, title = {Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1713}, publisher = {Springer}, year = {1999} }
@proceedings{DBLP:conf/esop/1999, editor = {S. Doaitse Swierstra}, title = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1576}, publisher = {Springer}, year = {1999} }
@proceedings{DBLP:conf/iclp/1999vlp, editor = {Sandro Etalle and Jan{-}Georg Smaus}, title = {Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {30}, number = {1}, publisher = {Elsevier}, year = {1999} }
@proceedings{DBLP:conf/iclp/1999woid, editor = {Michael Leuschel}, title = {Workshop on Optimization and Implementation of Declarative Programs, {WOID} 1999, in connection with the International Conference on Logic Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 2-3, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {30}, number = {2}, publisher = {Elsevier}, year = {1999} }
@proceedings{DBLP:conf/ppdp/1999, editor = {Gopalan Nadathur}, title = {Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1702}, publisher = {Springer}, year = {1999} }
@book{DBLP:books/daglib/0095245, author = {Franck van Breugel}, title = {Comparative metric semantics of programming languages - nondeterminism and recursion}, series = {Progress in theoretical computer science}, publisher = {Birkh{\"{a}}user}, year = {1998} }
@book{DBLP:books/daglib/0095289, author = {Andrea Asperti and Stefano Guerrini}, title = {The optimal implementation of functional programming languages}, series = {Cambridge tracts in theoretical computer science}, volume = {45}, publisher = {Cambridge University Press}, year = {1998} }
@inproceedings{DBLP:conf/sigcse/HartCDGHHR98, author = {Hal Hart and James Caristi and Robert Dewar and Mark S. Gerhardt and J. A. Drew Hamilton Jr. and Christopher Haynes and Samuel A. Rebelsky}, title = {The future of programming - are fundamental changes in computer science programs coming? (panel)}, booktitle = {{SIGCSE}}, pages = {370--371}, publisher = {{ACM}}, year = {1998} }
@proceedings{DBLP:conf/cotic/1998, editor = {Frank S. de Boer and Maurizio Gabbrielli}, title = {Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, {COTIC} 1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September 7, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {16}, number = {1}, publisher = {Elsevier}, year = {1998} }
@proceedings{DBLP:conf/cp/1998, editor = {Michael J. Maher and Jean{-}Francois Puget}, title = {Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1520}, publisher = {Springer}, year = {1998} }
@proceedings{DBLP:conf/dagstuhl/1998change, editor = {Burkhard Freitag and Hendrik Decker and Michael Kifer and Andrei Voronkov}, title = {Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and {ILPS} '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1472}, publisher = {Springer}, year = {1998} }
@proceedings{DBLP:conf/esop/1998, editor = {Chris Hankin}, title = {Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1381}, publisher = {Springer}, year = {1998} }
@proceedings{DBLP:conf/plilp/1998, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, publisher = {Springer}, year = {1998} }
@book{DBLP:books/daglib/0096998, author = {Richard S. Bird and Oege de Moor}, title = {Algebra of programming}, series = {Prentice Hall International series in computer science}, publisher = {Prentice Hall}, year = {1997} }
@book{DBLP:books/sp/NienhuysW97, author = {Shan{-}Hwei Nienhuys{-}Cheng and Ronald de Wolf}, title = {Foundations of Inductive Logic Programming}, series = {Lecture Notes in Computer Science}, volume = {1228}, publisher = {Springer}, year = {1997} }
@book{DBLP:books/sp/Sipper97, author = {Moshe Sipper}, title = {Evolution of Parallel Cellular Machines, The Cellular Programming Approach}, series = {Lecture Notes in Computer Science}, volume = {1194}, publisher = {Springer}, year = {1997} }
@inproceedings{DBLP:conf/birthday/Boley97, author = {Harold Boley}, title = {A Relational-Functional Integration for Declarative Programming}, booktitle = {Foundations of Computer Science: Potential - Theory - Cognition}, series = {Lecture Notes in Computer Science}, volume = {1337}, pages = {351--358}, publisher = {Springer}, year = {1997} }
@inproceedings{DBLP:conf/birthday/Morik97, author = {Katharina Morik}, title = {Knowledge Discovery in databases - An Inductive Logic Programming Approach}, booktitle = {Foundations of Computer Science: Potential - Theory - Cognition}, series = {Lecture Notes in Computer Science}, volume = {1337}, pages = {429--436}, publisher = {Springer}, year = {1997} }
@proceedings{DBLP:conf/cp/1997, editor = {Gert Smolka}, title = {Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1330}, publisher = {Springer}, year = {1997} }
@proceedings{DBLP:conf/nmelp/1996, editor = {J{\"{u}}rgen Dix and Lu{\'{\i}}s Moniz Pereira and Teodor C. Przymusinski}, title = {Non-Monotonic Extensions of Logic Programming, {NMELP} '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1216}, publisher = {Springer}, year = {1997} }
@book{DBLP:books/daglib/0086601, author = {Simon Thompson}, title = {Haskell - the craft of functional programming}, series = {International computer science series}, publisher = {Addison-Wesley}, year = {1996} }
@proceedings{DBLP:conf/cp/1996, editor = {Eugene C. Freuder}, title = {Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996}, series = {Lecture Notes in Computer Science}, volume = {1118}, publisher = {Springer}, year = {1996} }
@proceedings{DBLP:conf/dagstuhl/1995fm, editor = {Jean{-}Raymond Abrial and Egon B{\"{o}}rger and Hans Langmaack}, title = {Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)}, series = {Lecture Notes in Computer Science}, volume = {1165}, publisher = {Springer}, year = {1996} }
@proceedings{DBLP:conf/elp/1996, editor = {Roy Dyckhoff and Heinrich Herre and Peter Schroeder{-}Heister}, title = {Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1050}, publisher = {Springer}, year = {1996} }
@inproceedings{DBLP:conf/acm/BryantCMV95, author = {Barrett R. Bryant and Daniel T. Chang and Prakash K. Muthukrishnan and Viswanathan Vaidyanathan}, title = {Automatic Parallelization of Object-Oriented Programming Languages Using Tuple Space}, booktitle = {{ACM} Conference on Computer Science}, pages = {89--96}, publisher = {{ACM}}, year = {1995} }
@inproceedings{DBLP:conf/ctcs/Hasegawa95, author = {Masahito Hasegawa}, title = {Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages}, booktitle = {Category Theory and Computer Science}, series = {Lecture Notes in Computer Science}, volume = {953}, pages = {200--219}, publisher = {Springer}, year = {1995} }
@inproceedings{DBLP:conf/fple/Keravnou95, author = {Elpida T. Keravnou}, title = {Introducing Computer Science Undergraduates to Principles of Programming Through a Functional Language}, booktitle = {{FPLE}}, series = {Lecture Notes in Computer Science}, volume = {1022}, pages = {15--34}, publisher = {Springer}, year = {1995} }
@proceedings{DBLP:conf/cp/1995, editor = {Ugo Montanari and Francesca Rossi}, title = {Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {976}, publisher = {Springer}, year = {1995} }
@proceedings{DBLP:conf/mfps/1995, editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove}, title = {Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995}, series = {Electronic Notes in Theoretical Computer Science}, volume = {1}, publisher = {Elsevier}, year = {1995} }
@proceedings{DBLP:conf/nmelp/1994, editor = {J{\"{u}}rgen Dix and Lu{\'{\i}}s Moniz Pereira and Teodor C. Przymusinski}, title = {Non-Monotonic Extensions of Logic Programming (NMELP'94), {ICLP} '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {927}, publisher = {Springer}, year = {1995} }
@proceedings{DBLP:conf/tppp/1994, editor = {Takayasu Ito and Akinori Yonezawa}, title = {Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {907}, publisher = {Springer}, year = {1995} }
@book{DBLP:books/daglib/0072398, author = {John G. P. Barnes}, title = {Programming in Ada - plus an overview of Ada 9X {(4.} ed.)}, series = {International computer science series}, publisher = {Addison-Wesley}, year = {1994} }
@proceedings{DBLP:conf/ecoop/1994, editor = {Mario Tokoro and Remo Pareschi}, title = {Object-Oriented Programming, Proceedings of the 8th European Conference, {ECOOP} '94, Bologna, Italy, July 4-8, 1994}, series = {Lecture Notes in Computer Science}, volume = {821}, publisher = {Springer}, year = {1994} }
@proceedings{DBLP:conf/elp/1993, editor = {Roy Dyckhoff}, title = {Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {798}, publisher = {Springer}, year = {1994} }
@proceedings{DBLP:conf/mfps/1993, editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt}, title = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {802}, publisher = {Springer}, year = {1994} }
@proceedings{DBLP:conf/ppcp/1994, editor = {Alan Borning}, title = {Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {874}, publisher = {Springer}, year = {1994} }
@book{DBLP:books/daglib/0068974, author = {Robert W. Sebesta}, title = {Concepts of programming languages {(2.} ed.)}, series = {Benjamin/Cummings series in computer science}, publisher = {Addison-Wesley}, year = {1993} }
@book{DBLP:books/daglib/0070829, author = {Eric C. R. Hehner}, title = {A Practical Theory of Programming}, series = {Texts and Monographs in Computer Science}, publisher = {Springer}, year = {1993} }
@inproceedings{DBLP:conf/acm/Kazimierczak93, author = {Jan Kazimierczak}, title = {Acquisition and Representation of Knowledge on the Level of Programming Language for Automatic Programming}, booktitle = {{ACM} Conference on Computer Science}, pages = {221--228}, publisher = {{ACM}}, year = {1993} }
@inproceedings{DBLP:conf/acm/Kimura93, author = {Takayuki Dan Kimura}, title = {Hyperflow: {A} Uniform Visual Language for Different Levels of Programming}, booktitle = {{ACM} Conference on Computer Science}, pages = {209--214}, publisher = {{ACM}}, year = {1993} }
@inproceedings{DBLP:conf/acm/RudolphPINBH93, author = {Brian A. Rudolph and William Poucher and Nikolay Ivanov and Sven Neirynck and Raewyn Boersen and C. J. Hwang}, title = {The Globalized Growth of the {ACM} Scholastic Programming Contest (abstract)}, booktitle = {{ACM} Conference on Computer Science}, pages = {521}, publisher = {{ACM}}, year = {1993} }
@inproceedings{DBLP:conf/dagstuhl/BarthelmannS93, author = {Klaus Barthelmann and Georg Schied}, title = {Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems}, booktitle = {Dagstuhl Seminar on Graph Transformations in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {71--85}, publisher = {Springer}, year = {1993} }
@inproceedings{DBLP:conf/sigcse/Neff93, author = {Norman Neff}, title = {A logic programming environment for teaching mathematical concepts of computer science}, booktitle = {{SIGCSE}}, pages = {20--24}, publisher = {{ACM}}, year = {1993} }
@incollection{DBLP:series/wsscs/Kunen93, author = {Kenneth Kunen}, title = {Declarative Semantics of Logic Programming}, booktitle = {Current Trends in Theoretical Computer Science}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {354--376}, publisher = {World Scientific}, year = {1993} }
@incollection{DBLP:series/wsscs/Parisi-PresicceP93, author = {Francesco Parisi{-}Presicce and Alfonso Pierantonio}, title = {Towards the Algebraic Specification of Classes in Object Oriented Programming}, booktitle = {Current Trends in Theoretical Computer Science}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {183--194}, publisher = {World Scientific}, year = {1993} }
@proceedings{DBLP:conf/elp/1992, editor = {Evelina Lamma and Paola Mello}, title = {Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {660}, publisher = {Springer}, year = {1993} }
@phdthesis{DBLP:phd/Chambers92, author = {Craig Chambers}, title = {The Design and Implementation of the {SELF} Compiler, an Optimizing Compilet for Object-Oriented Programming Languages}, school = {Stanford University, Department of Computer Science}, year = {1992} }
@phdthesis{DBLP:phd/Derr92, author = {Marcia A. Derr}, title = {Adaptive Optimization in a Database Programming Language}, school = {Stanford University, Department of Computer Science}, year = {1992} }
@phdthesis{DBLP:phd/Phipps92, author = {Geoffrey Phipps}, title = {Glue: {A} Deductive Database Programming Language}, school = {Stanford University, Department of Computer Science}, year = {1992} }
@inproceedings{DBLP:conf/ppig/OSheaFBRG92, author = {Tim O'Shea and Pat Fung and Richard Bornat and Steve Reeves and Doug Goldson}, title = {Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods}, booktitle = {{PPIG} {(1)}}, pages = {4}, publisher = {Psychology of Programming Interest Group}, year = {1992} }
@proceedings{DBLP:conf/deductive/1992, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992} }
@proceedings{DBLP:conf/elp/1991, editor = {Lars{-}Henrik Eriksson and Lars Halln{\"{a}}s and Peter Schroeder{-}Heister}, title = {Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {596}, publisher = {Springer}, year = {1992} }
@proceedings{DBLP:conf/mfps/1991, editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt}, title = {Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {598}, publisher = {Springer}, year = {1992} }
@book{DBLP:books/daglib/0067039, author = {Robert D. Tennent}, title = {Semantics of programming languages}, series = {Prentice Hall International Series in Computer Science}, publisher = {Prentice Hall}, year = {1991} }
@book{DBLP:books/sp/Breu91, author = {Ruth Breu}, title = {Algebraic Specification Techniques in Object Oriented Programming Environments}, series = {Lecture Notes in Computer Science}, volume = {562}, publisher = {Springer}, year = {1991} }
@inproceedings{DBLP:conf/acm/Fleury91, author = {Ann E. Fleury}, title = {Stylistic programming conventions: a student view of their importance and purpose (abstract only)}, booktitle = {{ACM} Conference on Computer Science}, pages = {657}, publisher = {{ACM}}, year = {1991} }
@proceedings{DBLP:conf/cip/1991, editor = {Manfred Broy and Martin Wirsing}, title = {Method of Programming, Selected Papers on the CIP-Project}, series = {Lecture Notes in Computer Science}, volume = {544}, publisher = {Springer}, year = {1991} }
@proceedings{DBLP:conf/elp/1989, editor = {Peter Schroeder{-}Heister}, title = {Extensions of Logic Programming, International Workshop, T{\"{u}}bingen, FRG, December 8-10, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {475}, publisher = {Springer}, year = {1991} }
@proceedings{DBLP:conf/lp/1989, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, publisher = {Springer}, year = {1991} }
@proceedings{DBLP:conf/tapsoft/1991-1, editor = {Samson Abramsky and T. S. E. Maibaum}, title = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)}, series = {Lecture Notes in Computer Science}, volume = {493}, publisher = {Springer}, year = {1991} }
@book{DBLP:books/daglib/0067023, author = {Mordechai Ben{-}Ari}, title = {Principles of concurrent and distributed programming}, series = {{PHI} Series in computer science}, publisher = {Prentice Hall}, year = {1990} }
@book{DBLP:books/daglib/0067035, author = {Anne Kaldewaij}, title = {Programming - the derivation of algorithms}, series = {Prentice Hall international series in computer science}, publisher = {Prentice Hall}, year = {1990} }
@book{DBLP:series/mcs/Cohen90, author = {Edward Cohen}, title = {Programming in the 1990s - An Introduction to the Calculation of Programs}, series = {Texts and Monographs in Computer Science}, publisher = {Springer}, year = {1990} }
@article{DBLP:journals/jss/FinanceM90, author = {Jean{-}Pierre Finance and Ali Mili}, title = {A foreword to the special issue of the journal of systems and software on the Role of languages in programming (the Tenth Tunisian-French Seminar of Computer Science)}, journal = {J. Syst. Softw.}, volume = {12}, number = {2}, pages = {83--85}, year = {1990} }
@inproceedings{DBLP:conf/acm/Fleury90, author = {Ann E. Fleury}, title = {Parameter Passing: {A} Window into Students' Views of Programming (Abstract)}, booktitle = {{ACM} Conference on Computer Science}, pages = {454}, publisher = {{ACM}}, year = {1990} }
@inproceedings{DBLP:conf/acm/ReynoldsM90, author = {Robert G. Reynolds and Jonathan I. Maletic}, title = {An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process}, booktitle = {{ACM} Conference on Computer Science}, pages = {82--88}, publisher = {{ACM}}, year = {1990} }
@inproceedings{DBLP:conf/acm/Wu90, author = {Trong Wu}, title = {Simulation of an Automatic Banking System with the Ada Programming Language (Abstract)}, booktitle = {{ACM} Conference on Computer Science}, pages = {416}, publisher = {{ACM}}, year = {1990} }
@incollection{DBLP:books/el/leeuwen90/Apt90, author = {Krzysztof R. Apt}, title = {Logic Programming}, booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Sematics {(B)}}, pages = {493--574}, publisher = {Elsevier and {MIT} Press}, year = {1990} }
@incollection{DBLP:books/el/leeuwen90/Barendregt90, author = {Hendrik Pieter Barendregt}, title = {Functional Programming and Lambda Calculus}, booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Sematics {(B)}}, pages = {321--363}, publisher = {Elsevier and {MIT} Press}, year = {1990} }
@incollection{DBLP:books/el/leeuwen90/Mitchell90, author = {John C. Mitchell}, title = {Type Systems for Programming Languages}, booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Sematics {(B)}}, pages = {365--458}, publisher = {Elsevier and {MIT} Press}, year = {1990} }
@proceedings{DBLP:conf/mfps/1989, editor = {Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt}, title = {Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {442}, publisher = {Springer}, year = {1990} }
@book{DBLP:books/daglib/0067600, author = {Chris Reade}, title = {Elements of functional programming}, series = {International computer science series}, publisher = {Addison-Wesley}, year = {1989} }
@book{DBLP:books/sp/Holldobler89, author = {Steffen H{\"{o}}lldobler}, title = {Foundations of Equational Logic Programming}, series = {Lecture Notes in Computer Science}, volume = {353}, publisher = {Springer}, year = {1989} }
@inproceedings{DBLP:conf/acm/BlivensS89, author = {M. P. Blivens and Mary Lou Soffa}, title = {Reuse of Compiler Analysis in a Programming Environment}, booktitle = {{ACM} Conference on Computer Science}, pages = {368--373}, publisher = {{ACM}}, year = {1989} }
@inproceedings{DBLP:conf/acm/GowdaS89, author = {Raghava G. Gowda and Stanley L. Saxton}, title = {A study of factors influencing the productivity of programming teams}, booktitle = {{ACM} Conference on Computer Science}, pages = {484}, publisher = {{ACM}}, year = {1989} }
@inproceedings{DBLP:conf/acm/Sanati-MehrizyT89, author = {Reza Sanati{-}Mehrizy and John C. Thompson}, title = {Implementation of extended functional programming language on cellular tree and data flow architecture}, booktitle = {{ACM} Conference on Computer Science}, pages = {402}, publisher = {{ACM}}, year = {1989} }
@inproceedings{DBLP:conf/ctcs/Filinski89, author = {Andrzej Filinski}, title = {Declarative Continuations: an Investigation of Duality in Programming Language Semantics}, booktitle = {Category Theory and Computer Science}, series = {Lecture Notes in Computer Science}, volume = {389}, pages = {224--249}, publisher = {Springer}, year = {1989} }
@proceedings{DBLP:conf/lp/1988, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, publisher = {Springer}, year = {1989} }
@proceedings{DBLP:conf/tapsoft/1989-1, editor = {Josep D{\'{\i}}az and Fernando Orejas}, title = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development {I} and Colloquium on Trees in Algebra and Programming (CAAP'89)}, series = {Lecture Notes in Computer Science}, volume = {351}, publisher = {Springer}, year = {1989} }
@proceedings{DBLP:conf/tapsoft/1989-2, editor = {Josep D{\'{\i}}az and Fernando Orejas}, title = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development {II} and Colloquium on Current Issues in Programming Languages {(CCIPL)}}, series = {Lecture Notes in Computer Science}, volume = {352}, publisher = {Springer}, year = {1989} }
@book{DBLP:books/daglib/0070253, author = {Allen Stoughton}, title = {Fully abstract models of programming languages}, series = {Research Notes in Theoretical Computer Science}, publisher = {Pitman}, year = {1988} }
@inproceedings{DBLP:conf/acm/CareyS88, author = {Tom T. Carey and M. M. Shepherd}, title = {Towards empirical studies of programming in new paradigms}, booktitle = {{ACM} Conference on Computer Science}, pages = {72--78}, publisher = {{ACM}}, year = {1988} }
@proceedings{DBLP:conf/flfp/1986, editor = {Mauro Boscarol and Luigia Carlucci Aiello and Giorgio Levi}, title = {Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {306}, publisher = {Springer}, year = {1988} }
@proceedings{DBLP:conf/lp/1987, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, publisher = {Springer}, year = {1988} }
@proceedings{DBLP:conf/mfps/1987, editor = {Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt}, title = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {298}, publisher = {Springer}, year = {1988} }
@inproceedings{DBLP:conf/acm/Austin87, author = {Henry Stewart Austin}, title = {Associations of student characteristics to measures of introductory Pascal computer programming achievement for suburban community college students (abstract only)}, booktitle = {{ACM} Conference on Computer Science}, pages = {446}, publisher = {{ACM}}, year = {1987} }
@inproceedings{DBLP:conf/acm/MillsBGH87, author = {Harlan D. Mills and Victor R. Basili and John D. Gannon and Richard G. Hamlet}, title = {Teaching principles of computer programming}, booktitle = {{ACM} Conference on Computer Science}, pages = {336--341}, publisher = {{ACM}}, year = {1987} }
@inproceedings{DBLP:conf/acm/Tellop87, author = {Andrew Tellop}, title = {Two methods of instruction for an introductory computer programming course: a language oriented vs a non-language oriented method of instruction}, booktitle = {{ACM} Conference on Computer Science}, pages = {342--347}, publisher = {{ACM}}, year = {1987} }
@inproceedings{DBLP:conf/acm/ThompsonS87, author = {John C. Thompson and Reza Sanati{-}Mehrizy}, title = {Formalization of operations and function definitions in a functional programming language for data structures}, booktitle = {{ACM} Conference on Computer Science}, pages = {210--219}, publisher = {{ACM}}, year = {1987} }
@inproceedings{DBLP:conf/acm/Thuente87, author = {David J. Thuente}, title = {Critique of {SIMAN} as a programming language (abstract only)}, booktitle = {{ACM} Conference on Computer Science}, pages = {385}, publisher = {{ACM}}, year = {1987} }
@proceedings{DBLP:conf/lp/1986, editor = {Eiiti Wada}, title = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, publisher = {Springer}, year = {1987} }
@proceedings{DBLP:conf/tapsoft/1987-1, editor = {Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari}, title = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development {I} and Colloquium on Trees in Algebra and Programming (CAAP'87)}, series = {Lecture Notes in Computer Science}, volume = {249}, publisher = {Springer}, year = {1987} }
@proceedings{DBLP:conf/tapsoft/1987-2, editor = {Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari}, title = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development {II} and Colloquium on Functional and Logic Programming and Specifications {(CFLP)}}, series = {Lecture Notes in Computer Science}, volume = {250}, publisher = {Springer}, year = {1987} }
@phdthesis{DBLP:phd/Malachi86, author = {Yonathan Malachi}, title = {Nonclausal Logic Programming}, school = {Stanford University, Department of Computer Science}, year = {1986} }
@inproceedings{DBLP:conf/acm/Kornfeld86, author = {William A. Kornfeld}, title = {The purpose and promise of logic programming}, booktitle = {{ACM} Conference on Computer Science}, pages = {15--17}, publisher = {{ACM}}, year = {1986} }
@proceedings{DBLP:conf/esop/1986, editor = {Bernard J. Robinet and Reinhard Wilhelm}, title = {{ESOP} 86, European Symposium on Programming, Saarbr{\"{u}}cken, Federal Republic of Germany, March 17-19, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {213}, publisher = {Springer}, year = {1986} }
@proceedings{DBLP:conf/iclp/1986, editor = {Ehud Shapiro}, title = {Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {225}, publisher = {Springer}, year = {1986} }
@proceedings{DBLP:conf/ifip/1986ape, editor = {Reidar Conradi and Tor Didriksen and Dag H. Wanvik}, title = {Advanced Programming Environments, Proceedings of an International Workshop, Trondheim, Norway, June 16-18, 1986}, series = {Lecture Notes in Computer Science}, volume = {244}, publisher = {Springer}, year = {1986} }
@proceedings{DBLP:conf/litp/1985, editor = {Guy Cousineau and Pierre{-}Louis Curien and Bernard J. Robinet}, title = {Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {242}, publisher = {Springer}, year = {1986} }
@proceedings{DBLP:conf/lp/1985, editor = {Eiiti Wada}, title = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, publisher = {Springer}, year = {1986} }
@proceedings{DBLP:conf/mfps/1985, editor = {Austin Melton}, title = {Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {239}, publisher = {Springer}, year = {1986} }
@book{DBLP:books/daglib/0072147, author = {Eric C. R. Hehner}, title = {The logic of programming}, series = {Prentice Hall International series in computer science}, publisher = {Prentice Hall}, year = {1985} }
@article{DBLP:journals/sigcse/Ogbokor85, author = {D. L. Ogbokor}, title = {{LISP} language as part of "advanced programming techniques" for computer science, computer mathematics, and computer economics students}, journal = {{ACM} {SIGCSE} Bull.}, volume = {17}, number = {4}, pages = {94--95}, year = {1985} }
@proceedings{DBLP:conf/tapsoft/1985-1, editor = {Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher}, title = {Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)}, series = {Lecture Notes in Computer Science}, volume = {185}, publisher = {Springer}, year = {1985} }
@book{DBLP:books/daglib/0069787, author = {Ellis Horowitz}, title = {Fundamentals of programming languages {(2.} ed.)}, series = {Computer software engineering series}, publisher = {Computer Science Press}, year = {1984} }
@inproceedings{DBLP:conf/sigcse/Campbell84, author = {Patricia F. Campbell}, title = {The effect of a preliminary programming and problem solving course on performance in a traditional programming course for computer science majors}, booktitle = {{SIGCSE}}, pages = {56--64}, publisher = {{ACM}}, year = {1984} }
@inproceedings{DBLP:conf/acmcsc/Goldberg83, author = {Adele Goldberg}, title = {The influence of an object-oriented language on the programming environment}, booktitle = {{ACM} Conference on Computer Science}, pages = {35--54}, publisher = {{ACM}}, year = {1983} }
@book{DBLP:books/sp/Goldblatt82, author = {Robert Goldblatt}, title = {Axiomatising the Logic of Computer Programming}, series = {Lecture Notes in Computer Science}, volume = {130}, publisher = {Springer}, year = {1982} }
@inproceedings{DBLP:conf/sigcse/Gabrini82, author = {Philippe Gabrini}, title = {Integration of design and programming methodology into beginning computer science courses}, booktitle = {{SIGCSE}}, pages = {85--87}, publisher = {{ACM}}, year = {1982} }
@book{DBLP:books/daglib/0067034, author = {Robert D. Tennent}, title = {Principles of programming languages}, series = {Prentice Hall International Series in Computer Science}, publisher = {Prentice Hall}, year = {1981} }
@book{DBLP:books/daglib/0078442, author = {John C. Reynolds}, title = {The craft of programming}, series = {Prentice Hall International series in computer science}, publisher = {Prentice Hall}, year = {1981} }
@book{DBLP:books/sp/Gries81, author = {David Gries}, title = {The Science of Programming}, series = {Texts and Monographs in Computer Science}, publisher = {Springer}, year = {1981} }
@book{DBLP:books/sp/Ada81, editor = {Wilfried Brauer and Per Brinch Hansen and David Gries and C. Moler and Gerhard Seegm{\"{u}}ller and Josef Stoer and Niklaus Wirth}, title = {The Programming Language Ada Reference Manual, Proposed Standard Document, United States Department of Defense}, series = {Lecture Notes in Computer Science}, volume = {106}, publisher = {Springer}, year = {1981} }
@proceedings{DBLP:conf/icfpc/1981, editor = {Josep D{\'{\i}}az and Isidro Ramos}, title = {Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {107}, publisher = {Springer}, year = {1981} }
@inproceedings{DBLP:conf/sigcse/Roth80, author = {R. Waldo Roth}, title = {The teaching of documentation and good programming style in a liberal arts computer science program}, booktitle = {{SIGCSE}}, pages = {139--153}, publisher = {{ACM}}, year = {1980} }
@proceedings{DBLP:conf/ldpm/1979, editor = {Jeffrey M. Tobias}, title = {Language Design and Programming Methodology, Proceedings of a Symposium Held in Sydney, Australia, 10-11 September, 1979}, series = {Lecture Notes in Computer Science}, volume = {79}, publisher = {Springer}, year = {1980} }
@proceedings{DBLP:conf/programm/1980, editor = {Bernard J. Robinet}, title = {International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980}, series = {Lecture Notes in Computer Science}, volume = {83}, publisher = {Springer}, year = {1980} }
@article{DBLP:journals/sigact/Cherniavsky79, author = {John C. Cherniavsky}, title = {Review of "The theory of computer science: a programming approach" by J. M. Brady. Chapman and Hall}, journal = {{SIGACT} News}, volume = {11}, number = {1}, pages = {17}, year = {1979} }
@inproceedings{DBLP:conf/ACMse/DeimelP79, author = {Lionel E. Deimel and Mark Pozefsky}, title = {Implementation of programming standards in a computer science department}, booktitle = {{ACM} Southeast Regional Conference}, pages = {142--143}, publisher = {{ACM}}, year = {1979} }
@inproceedings{DBLP:conf/ershov/Buda79, author = {Anatoliy O. Buda}, title = {On the experience of riding two horses in programming}, booktitle = {Algorithms in Modern Mathematics and Computer Science}, series = {Lecture Notes in Computer Science}, volume = {122}, pages = {444--448}, publisher = {Springer}, year = {1979} }
@book{DBLP:books/sp/JonesM78, author = {Neil D. Jones and Steven S. Muchnick}, title = {{TEMPO:} {A} Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages}, series = {Lecture Notes in Computer Science}, volume = {66}, publisher = {Springer}, year = {1978} }
@inproceedings{DBLP:conf/gg/Pratt78, author = {Terrence W. Pratt}, title = {Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {389--400}, publisher = {Springer}, year = {1978} }
@inproceedings{DBLP:conf/sigcse/Pagan78, author = {Frank G. Pagan}, title = {The role of a comparative programming languages course in the computer science curriculum}, booktitle = {{SIGCSE/CSA}}, pages = {22--23}, publisher = {{ACM}}, year = {1978} }
@article{DBLP:journals/sigcse/LittleASME77, author = {Joyce Currie Little and Richard H. Austing and Harice Seeds and John Maniotes and Gerald L. Engel}, title = {Curriculum recommendations and guidelines for the community and junior college career program in computer programming: a working paper of the Association for Computing Machinery committee on curriculum in computer sciences by the sub committee on community and junior college curriculum}, journal = {{ACM} {SIGCSE} Bull.}, volume = {9}, number = {2}, pages = {17--36}, year = {1977} }
@proceedings{DBLP:conf/icalp/1977, editor = {Arto Salomaa and Magnus Steinby}, title = {Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {52}, publisher = {Springer}, year = {1977} }
@proceedings{DBLP:conf/sigada/1976, editor = {John H. Williams and David A. Fisher}, title = {Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976}, series = {Lecture Notes in Computer Science}, volume = {54}, publisher = {Springer}, year = {1977} }
@book{DBLP:books/sp/Donahue76, author = {James E. Donahue}, title = {Complementary Definitions of Programming Language Semantics}, series = {Lecture Notes in Computer Science}, volume = {42}, publisher = {Springer}, year = {1976} }
@article{DBLP:journals/sigcse/Olivieri74, author = {C. Peter Olivieri}, title = {Programming language usage and areas of concentration in computer sciences education}, journal = {{ACM} {SIGCSE} Bull.}, volume = {6}, number = {3}, pages = {33--35}, year = {1974} }
@inproceedings{DBLP:conf/acmcsc/Miller74, author = {James E. Miller}, title = {T01A-programming languages: {T01A4-A} computer language for monte carlo evaluations of certain small sample properties of a set of statistical tests}, booktitle = {{ACM} Conference on Computer Science}, pages = {19}, publisher = {{ACM}}, year = {1974} }
@inproceedings{DBLP:conf/acmcsc/X74a, title = {T01A-programming languages: T01A2-Source language representation of program control state}, booktitle = {{ACM} Conference on Computer Science}, pages = {19}, publisher = {{ACM}}, year = {1974} }
@proceedings{DBLP:conf/icalp/1974, editor = {Jacques Loeckx}, title = {Automata, Languages and Programming, 2nd Colloquium, University of Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14}, publisher = {Springer}, year = {1974} }
@book{DBLP:books/garland/Mitchell70, author = {James G. Mitchell}, title = {The Design and Construction of Flexible and Efficient Interactive Programming Systems}, series = {Outstanding Dissertations in the Computer Sciences}, publisher = {Garland Publishing, New York}, year = {1970} }
@article{DBLP:journals/cacm/Arden69, author = {Bruce W. Arden}, title = {The role of programming in a Ph.D. computer science program}, journal = {Commun. {ACM}}, volume = {12}, number = {1}, pages = {31--38}, year = {1969} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.