Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Science of Computer Programming"
download as .bib file
@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 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 Raul 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}
}
a service of 
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.
retrieved on 2024-06-26 07:34 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
