default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "The Go Programming Language"
download as .bib file
@inproceedings{DBLP:conf/fm/StubingerH24,
author = {Terru St{\"{u}}binger and
Lars Hupel},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {Extending Isabelle/HOL's Code Generator with Support for the Go Programming
Language},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14934},
pages = {3--19},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71177-0\_1},
doi = {10.1007/978-3-031-71177-0\_1},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/fm/StubingerH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-01657,
author = {Elisa Madeleine Hartmann and
Annabelle Bergum and
Dominik Gorgosch and
Norman Peitek and
Sven Apel and
Janet Siegmund},
title = {Tapping into the Natural Language System with Artificial Languages
when Learning Programming},
journal = {CoRR},
volume = {abs/2402.01657},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.01657},
doi = {10.48550/ARXIV.2402.01657},
eprinttype = {arXiv},
eprint = {2402.01657},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-01657.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoubaultLarrecqJT23,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia and
Cl{\'{e}}ment Th{\'{e}}ron},
title = {A Domain-theoretic Approach to Statistical Programming Languages},
journal = {J. {ACM}},
volume = {70},
number = {5},
pages = {35:1--35:63},
year = {2023},
url = {https://doi.org/10.1145/3611660},
doi = {10.1145/3611660},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GoubaultLarrecqJT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-02704,
author = {Terru St{\"{u}}binger and
Lars Hupel},
title = {Extending Isabelle/HOL's Code Generator with support for the Go programming
language},
journal = {CoRR},
volume = {abs/2310.02704},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.02704},
doi = {10.48550/ARXIV.2310.02704},
eprinttype = {arXiv},
eprint = {2310.02704},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CoxGPTT22,
author = {Russ Cox and
Robert Griesemer and
Rob Pike and
Ian Lance Taylor and
Ken Thompson},
title = {The Go programming language and environment},
journal = {Commun. {ACM}},
volume = {65},
number = {5},
pages = {70--78},
year = {2022},
url = {https://doi.org/10.1145/3488716},
doi = {10.1145/3488716},
timestamp = {Wed, 25 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/CoxGPTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/VlasovaTVBGB22,
author = {Anna Vlasova and
Maria Tigina and
Ilya Vlasov and
Anastasiia Birillo and
Yaroslav Golubev and
Timofey Bryksin},
title = {Lupa: {A} Framework for Large Scale Analysis of the Programming Language
Usage},
booktitle = {19th {IEEE/ACM} International Conference on Mining Software Repositories,
{MSR} 2022, Pittsburgh, PA, USA, May 23-24, 2022},
pages = {398--402},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524842.3528477},
doi = {10.1145/3524842.3528477},
timestamp = {Thu, 27 Oct 2022 16:07:05 +0200},
biburl = {https://dblp.org/rec/conf/msr/VlasovaTVBGB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/Dominguez-Alvarez22,
author = {Daniel Dom{\'{\i}}nguez{-}{\'{A}}lvarez and
Alessandra Gorla and
Juan Caballero},
title = {On the Usage of Programming Languages in the iOS Ecosystem},
booktitle = {22nd {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Limassol, Cyprus, October 3, 2022},
pages = {176--180},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SCAM55253.2022.00026},
doi = {10.1109/SCAM55253.2022.00026},
timestamp = {Mon, 23 Jan 2023 22:18:07 +0100},
biburl = {https://dblp.org/rec/conf/scam/Dominguez-Alvarez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2022,
editor = {Elisa Gonzalez Boix and
Tobias Wrigstad},
title = {Proceedings of the 19th International Conference on Managed Programming
Languages and Runtimes, {MPLR} 2022, Brussels, Belgium, September
14-15, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546918},
doi = {10.1145/3546918},
isbn = {978-1-4503-9696-7},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09658,
author = {Anna Vlasova and
Maria Tigina and
Ilya Vlasov and
Anastasiia Birillo and
Yaroslav Golubev and
Timofey Bryksin},
title = {Lupa: {A} Framework for Large Scale Analysis of the Programming Language
Usage},
journal = {CoRR},
volume = {abs/2203.09658},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09658},
doi = {10.48550/ARXIV.2203.09658},
eprinttype = {arXiv},
eprint = {2203.09658},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-02740,
author = {Valentin Churavy and
William F. Godoy and
Carsten Bauer and
Hendrik Ranocha and
Michael Schlottke{-}Lakemper and
Ludovic R{\"{a}}ss and
Johannes P. Blaschke and
Mos{\`{e}} Giordano and
Erik Schnetter and
Samuel Omlin and
Jeffrey S. Vetter and
Alan Edelman},
title = {Bridging {HPC} Communities through the Julia Programming Language},
journal = {CoRR},
volume = {abs/2211.02740},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.02740},
doi = {10.48550/ARXIV.2211.02740},
eprinttype = {arXiv},
eprint = {2211.02740},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-02740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blockchain/HdhiliGJ21,
author = {Farouk Hdhili and
Ramy Gouiaa and
Marc Jansen},
editor = {Javier Prieto and
Alberto Partida and
Paulo Leit{\~{a}}o and
Ant{\'{o}}nio Pinto},
title = {Implementation and Evaluation of a Visual Programming Language in
the Context of Blockchain},
booktitle = {Blockchain and Applications - 3rd International Congress, {BLOCKCHAIN}
2021, Salamanca, Spain, 6-8 October, 2021},
series = {Lecture Notes in Networks and Systems},
volume = {320},
pages = {74--82},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86162-9\_8},
doi = {10.1007/978-3-030-86162-9\_8},
timestamp = {Sat, 30 Sep 2023 09:35:36 +0200},
biburl = {https://dblp.org/rec/conf/blockchain/HdhiliGJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/GoolsbyPKF21,
author = {Bryson Goolsby and
Dianne T. V. Pawluk and
Hyun Woo Kim and
Giovanni Fusco},
editor = {Yoshifumi Kitamura and
Aaron Quigley and
Katherine Isbister and
Takeo Igarashi},
title = {A Tangible Block Editor for the Scratch Programming Language},
booktitle = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
Virtual Event / Yokohama Japan, May 8-13, 2021, Extended Abstracts},
pages = {449:1--449:6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3411763.3451833},
doi = {10.1145/3411763.3451833},
timestamp = {Sun, 10 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/GoolsbyPKF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-16190,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia and
Cl{\'{e}}ment Th{\'{e}}ron},
title = {A Domain-Theoretic Approach to Statistical Programming Languages},
journal = {CoRR},
volume = {abs/2106.16190},
year = {2021},
url = {https://arxiv.org/abs/2106.16190},
eprinttype = {arXiv},
eprint = {2106.16190},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-16190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rie/MorosWRDG19,
author = {S{\'{\i}}lvia Moros and
Luke Jai Wood and
Ben Robins and
Kerstin Dautenhahn and
{\'{A}}lvaro Castro Gonz{\'{a}}lez},
editor = {Munir Merdan and
Wilfried Lepuschitz and
Gottfried Koppensteiner and
Richard Balogh and
David Obdrz{\'{a}}lek},
title = {Programming a Humanoid Robot with the Scratch Language},
booktitle = {Robotics in Education - Current Research and Innovations, Proceedings
of the 10th RiE, Vienna, Austria, April 10-12, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {1023},
pages = {222--233},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26945-6\_20},
doi = {10.1007/978-3-030-26945-6\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rie/MorosWRDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GorbanovJP19,
author = {Ivan H. Gorbanov and
Jack Jansen and
Steven Pemberton},
title = {Yogurt: {A} Programming Language for the Internet of Things},
journal = {{ERCIM} News},
volume = {2019},
number = {119},
year = {2019},
url = {https://ercim-news.ercim.eu/en119/special/yogurt-a-programming-language-for-the-internet-of-things-iot},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ercim/GorbanovJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GondowA18,
author = {Katsuhiko Gondow and
Yoshitaka Arahori},
editor = {Leszek A. Maciaszek and
Marten van Sinderen},
title = {Why Do We Need the {C} language in Programming Courses?},
booktitle = {Proceedings of the 13th International Conference on Software Technologies,
{ICSOFT} 2018, Porto, Portugal, July 26-28, 2018},
pages = {583--590},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006837205830590},
doi = {10.5220/0006837205830590},
timestamp = {Wed, 29 Aug 2018 15:24:05 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/GondowA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BarisicCAGM18,
author = {Ankica Barisic and
Jo{\~{a}}o Cambeiro and
Vasco Amaral and
Miguel Goul{\~{a}}o and
Tarqu{\'{\i}}nio Mota},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Leveraging teenagers feedback in the development of a domain-specific
language: the case of programming low-cost robots},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1221--1229},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167264},
doi = {10.1145/3167132.3167264},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BarisicCAGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2018mapl,
editor = {Justin Gottschlich and
Alvin Cheung},
title = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Machine
Learning and Programming Languages, MAPL@PLDI 2018, Philadelphia,
PA, USA, June 18-22, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3211346},
doi = {10.1145/3211346},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2018mapl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/GoodH17,
author = {Judith Good and
Kate Howland},
title = {Programming language, natural language? Supporting the diverse computational
activities of novice programmers},
journal = {J. Vis. Lang. Comput.},
volume = {39},
pages = {78--92},
year = {2017},
url = {https://doi.org/10.1016/j.jvlc.2016.10.008},
doi = {10.1016/J.JVLC.2016.10.008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/GoodH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rie/BagciKI17,
author = {B. Baransel Bagci and
Mustafa E. Kamasak and
G{\"{o}}khan Ince},
editor = {Wilfried Lepuschitz and
Munir Merdan and
Gottfried Koppensteiner and
Richard Balogh and
David Obdrz{\'{a}}lek},
title = {The Effect of the Programming Interfaces of Robots in Teaching Computer
Languages},
booktitle = {Robotics in Education - Latest Results and Developments, Proceedings
of the 8th International Conference on Robotics in Education, RiE
2017, Sofia, Bulgaria, 26-28 April 2017},
series = {Advances in Intelligent Systems and Computing},
volume = {630},
pages = {88--99},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62875-2\_8},
doi = {10.1007/978-3-319-62875-2\_8},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rie/BagciKI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2017mapl,
editor = {Tatiana Shpeisman and
Justin Gottschlich},
title = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
June 18, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088525},
doi = {10.1145/3088525},
isbn = {978-1-4503-5071-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2017mapl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2017,
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837},
doi = {10.1145/3009837},
isbn = {978-1-4503-4660-3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KlikovitsLGB16,
author = {Stefan Klikovits and
David P. Y. Lawrence and
Manuel Gonzalez{-}Berges and
Didier Buchs},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Automated Test Case Generation for the {CTRL} Programming Language
Using Pex: Lessons Learned},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {117--132},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_9},
doi = {10.1007/978-3-319-45892-2\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KlikovitsLGB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Davis15,
author = {Matthew Davis},
title = {Automatic memory management techniques for the go programming language},
school = {University of Melbourne, Australia},
year = {2015},
url = {https://hdl.handle.net/11343/58707},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Davis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Meyerson14,
author = {Jeff Meyerson},
title = {The Go Programming Language},
journal = {{IEEE} Softw.},
volume = {31},
number = {5},
pages = {104},
year = {2014},
url = {https://doi.org/10.1109/MS.2014.127},
doi = {10.1109/MS.2014.127},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Meyerson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CruzRGP14,
author = {Fl{\'{a}}vio Cruz and
Ricardo Rocha and
Seth Copen Goldstein and
Frank Pfenning},
title = {A Linear Logic Programming Language for Concurrent Programming over
Graph Structures},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {493--507},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000167},
doi = {10.1017/S1471068414000167},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CruzRGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tsp/SzaboG13,
author = {Roland Szab{\'{o}} and
Aurel Gontean},
title = {Creating a programming language for the {AL5} type robotic arms},
booktitle = {36th International Conference on Telecommunications and Signal Processing,
{TSP} 2013, Rome, Italy, 2-4 July, 2013},
pages = {62--65},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/TSP.2013.6613892},
doi = {10.1109/TSP.2013.6613892},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tsp/SzaboG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0029844,
author = {Jan Goyvaerts and
Steven Levithan},
title = {Regular Expressions Cookbook - Detailed Solutions in Eight Programming
Languages, Second Edition},
publisher = {O'Reilly},
year = {2012},
url = {http://www.oreilly.de/catalog/9781449319434/index.html},
isbn = {978-1-449-31943-4},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0029844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0044438,
author = {David Chisnall},
title = {The Go Programming Language - Phrasebook},
publisher = {Addison-Wesley},
year = {2012},
isbn = {978-0-321-81714-3},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0044438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/GalludV12,
author = {Jos{\'{e}} A. Gallud and
Pedro Gonz{\'{a}}lez Villanueva},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Smalltalk: the Leading Language to Learn Object-Oriented Programming},
booktitle = {Federated Conference on Computer Science and Information Systems -
FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings},
pages = {839--840},
year = {2012},
url = {https://fedcsis.org/proceedings/2012/pliks/360.pdf},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fedcsis/GalludV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KimmigDRCR11,
author = {Angelika Kimmig and
Bart Demoen and
Luc De Raedt and
V{\'{\i}}tor Santos Costa and
Ricardo Rocha},
title = {On the implementation of the probabilistic logic programming language
ProbLog},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {235--262},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000566},
doi = {10.1017/S1471068410000566},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KimmigDRCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KaewkasiK11,
author = {Chanwit Kaewkasi and
Pitchaya Kaewkasi},
editor = {Ian Rogers and
Eric Jul and
Olivier Zendra},
title = {Pattern matching for object-like structures in the Go programming
language},
booktitle = {Proceedings of the 6th Workshop on Implementation, Compilation, Optimization
of Object-Oriented Languages, Programs and Systems, {ICOOOLPS} 2011,
Lancaster, United Kingdom, July 26, 2011},
pages = {8:1--8:7},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2069172.2069180},
doi = {10.1145/2069172.2069180},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KaewkasiK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ButtnerG11,
author = {Fabian B{\"{u}}ttner and
Martin Gogolla},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {Modular Embedding of the Object Constraint Language into a Programming
Language},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {124--139},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_9},
doi = {10.1007/978-3-642-25032-3\_9},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/ButtnerG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GotoPNBAK10,
author = {Naohisa Goto and
Pjotr Prins and
Mitsuteru Nakao and
Raoul Jean Pierre Bonnal and
Jan Aerts and
Toshiaki Katayama},
title = {BioRuby: bioinformatics software for the Ruby programming language},
journal = {Bioinform.},
volume = {26},
number = {20},
pages = {2617--2619},
year = {2010},
url = {https://doi.org/10.1093/bioinformatics/btq475},
doi = {10.1093/BIOINFORMATICS/BTQ475},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/GotoPNBAK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plateau/SchmagerCN10,
author = {Frank Schmager and
Nicholas Cameron and
James Noble},
editor = {Emerson R. Murphy{-}Hill and
Shane Markstrum and
Craig Anslow},
title = {GoHotDraw: evaluating the Go programming language with design patterns},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} Workshop on Evaluation and
Usability of Programming Languages and Tools, {PLATEAU} 2011, Reno,
NV, USA, October 17-21, 2010},
pages = {10:1--10:6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1937117.1937127},
doi = {10.1145/1937117.1937127},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plateau/SchmagerCN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/978-3-642-11957-6},
doi = {10.1007/978-3-642-11957-6},
isbn = {978-3-642-11956-9},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4442,
author = {Angelika Kimmig and
Bart Demoen and
Luc De Raedt and
V{\'{\i}}tor Santos Costa and
Ricardo Rocha},
title = {On the Implementation of the Probabilistic Logic Programming Language
ProbLog},
journal = {CoRR},
volume = {abs/1006.4442},
year = {2010},
url = {http://arxiv.org/abs/1006.4442},
eprinttype = {arXiv},
eprint = {1006.4442},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-4442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0022918,
author = {Jan Goyvaerts and
Steven Levithan},
title = {Regular Expressions Cookbook - Detailed Solutions in Eight Programming
Languages},
publisher = {O'Reilly},
year = {2009},
url = {http://www.oreilly.de/catalog/9780596520687/index.html},
isbn = {978-0-596-52068-7},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0022918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ChanGGYKO09,
author = {Hiu Ning (Angela) Chan and
Andrew J. Gallagher and
Appu S. Goundan and
Yi Lin William Au Yeung and
Aaron W. Keen and
Ronald A. Olsson},
title = {Generic operations and capabilities in the {JR} concurrent programming
language},
journal = {Comput. Lang. Syst. Struct.},
volume = {35},
number = {3},
pages = {293--305},
year = {2009},
url = {https://doi.org/10.1016/j.cl.2008.05.002},
doi = {10.1016/J.CL.2008.05.002},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/ChanGGYKO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/GottifrediGS09,
author = {Sebastian Gottifredi and
Alejandro Javier Garc{\'{\i}}a and
Guillermo Ricardo Simari},
title = {Argumentation Systems and Agent Programming Languages},
booktitle = {The Uses of Computational Argumentation, Papers from the 2009 {AAAI}
Fall Symposium, Arlington, Virginia, USA, November 5-7, 2009},
series = {{AAAI} Technical Report},
volume = {{FS-09-06}},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/FSS/FSS09/paper/view/903},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/aaaifs/GottifrediGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip3/GoosenMN08,
author = {Leila Goosen and
Elsa Mentz and
Hercules Nieuwoudt},
editor = {Mike Kendall and
Brian Samways},
title = {Eeney, Meeney, Miney, Mo? Selecting a First Programming Language},
booktitle = {Learning to Live in the Knowledge Society, {IFIP} 20th World Computer
Congress, {IFIP} {TC} 3 {ED-L2L} Conference, September 7-10, 2008,
Milano, Italy},
series = {{IFIP}},
volume = {281},
pages = {105--108},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09729-9\_15},
doi = {10.1007/978-0-387-09729-9\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip3/GoosenMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/978-3-540-70583-3},
doi = {10.1007/978-3-540-70583-3},
isbn = {978-3-540-70582-6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2008-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NadathurQ05,
author = {Gopalan Nadathur and
Xiaochu Qi},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Optimizing the Runtime Processing of Types in Polymorphic Logic Programming
Languages},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {110--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_9},
doi = {10.1007/11591191\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NadathurQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/EisnerGS05,
author = {Jason Eisner and
Eric Goldlust and
Noah A. Smith},
title = {Compiling Comp Ling: Weighted Dynamic Programming and the Dyna Language},
booktitle = {{HLT/EMNLP} 2005, Human Language Technology Conference and Conference
on Empirical Methods in Natural Language Processing, Proceedings of
the Conference, 6-8 October 2005, Vancouver, British Columbia, Canada},
pages = {281--290},
publisher = {The Association for Computational Linguistics},
year = {2005},
url = {https://aclanthology.org/H05-1036/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/EisnerGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AllanACDGHKLLMSSTV05,
author = {Chris Allan and
Pavel Avgustinov and
Aske Simon Christensen and
Bruno Dufour and
Christopher Goard and
Laurie J. Hendren and
Sascha Kuzins and
Jennifer Lhot{\'{a}}k and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble and
Clark Verbrugge},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {abc the aspectBench compiler for aspectJ a workbench for aspect-oriented
programming language and compilers research},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {88--89},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094877},
doi = {10.1145/1094855.1094877},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AllanACDGHKLLMSSTV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Gorelik01,
author = {A. M. Gorelik},
title = {Up-to-Date International Standards of the Fortran Programming Language},
journal = {Program. Comput. Softw.},
volume = {27},
number = {6},
pages = {320--328},
year = {2001},
url = {https://doi.org/10.1023/A:1012710502032},
doi = {10.1023/A:1012710502032},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Gorelik01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/aw/ArnoldGH00,
author = {Ken Arnold and
James Gosling and
David Holmes},
title = {The Java Programming Language, Third Edition},
publisher = {Addison-Wesley},
year = {2000},
isbn = {0-201-70433-1},
timestamp = {Mon, 28 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/aw/ArnoldGH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/FournetG00,
author = {C{\'{e}}dric Fournet and
Georges Gonthier},
editor = {Gilles Barthe and
Peter Dybjer and
Lu{\'{\i}}s Pinto and
Jo{\~{a}}o Saraiva},
title = {The Join Calculus: {A} Language for Distributed Mobile Programming},
booktitle = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha,
Portugal, September 9-15, 2000, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2395},
pages = {268--332},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45699-6\_6},
doi = {10.1007/3-540-45699-6\_6},
timestamp = {Fri, 17 Jul 2020 11:39:04 +0200},
biburl = {https://dblp.org/rec/conf/ac/FournetG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2000w,
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
isbn = {1-894145-07-0},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2000w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/aw/ArnoldG99,
author = {Ken Arnold and
James Gosling},
title = {The Java Programming Language, Second Edition},
publisher = {Addison-Wesley},
year = {1999},
isbn = {0-201-31006-6},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/aw/ArnoldG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/GoodB99,
author = {Judith Good and
Paul Brna},
title = {Getting a GRiP on the comprehension of data-flow visual programming
languages},
booktitle = {Proceedings of the 11th Annual Workshop of the Psychology of Programming
Interest Group, {PPIG} 1999, Leeds, UK, January 5-7, 1999},
pages = {7},
publisher = {Psychology of Programming Interest Group},
year = {1999},
url = {https://ppig.org/papers/1999-ppig-11th-good/},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppig/GoodB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/DeshpandeGS98,
author = {Akash Deshpande and
Aleks G{\"{o}}ll{\"{u}} and
Luigi Semenzato},
title = {The {SHIFT} programming language for dynamic networks of hybrid automata},
journal = {{IEEE} Trans. Autom. Control.},
volume = {43},
number = {4},
pages = {584--587},
year = {1998},
url = {https://doi.org/10.1109/9.664163},
doi = {10.1109/9.664163},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/DeshpandeGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/tucker97/Goldberg97,
author = {Benjamin Goldberg},
editor = {Allen B. Tucker},
title = {Functional Programming Languages},
booktitle = {The Computer Science and Engineering Handbook},
pages = {2006--2036},
publisher = {{CRC} Press},
year = {1997},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/tucker97/Goldberg97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/aw/ArnoldG96,
author = {Ken Arnold and
James Gosling},
title = {The Java Programming Language},
publisher = {Addison-Wesley},
year = {1996},
isbn = {0-201-63455-4},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/aw/ArnoldG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/BarjaGoni95,
author = {Maria Lusia Barja Goni},
title = {A database programming language for a deductive object-oriented database},
school = {Heriot-Watt University, Edinburgh, {UK}},
year = {1995},
url = {https://hdl.handle.net/10399/1335},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/BarjaGoni95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/GoossensMS94,
author = {Michel Goossens and
Frank Mittelbach and
Alexander Samarin},
title = {The {LATEX} companion - includes newly revised {LATEX} standard},
series = {Programming languages},
publisher = {Addison-Wesley},
year = {1994},
url = {https://www.worldcat.org/oclc/247742235},
isbn = {0201541998},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/lib/GoossensMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/GoodmanRS93a,
author = {Nathan Goodman and
Steve Rozen and
Lincoln Stein},
editor = {Raghu Ramakrishnan},
title = {Requirements for a Deductive Query Language in the MapBase Genome-Mapping
Database},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {18--32},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Thu, 02 May 2024 16:24:13 +0200},
biburl = {https://dblp.org/rec/conf/deductive/GoodmanRS93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BerryG92,
author = {G{\'{e}}rard Berry and
Georges Gonthier},
title = {The Esterel Synchronous Programming Language: Design, Semantics, Implementation},
journal = {Sci. Comput. Program.},
volume = {19},
number = {2},
pages = {87--152},
year = {1992},
url = {https://doi.org/10.1016/0167-6423(92)90005-V},
doi = {10.1016/0167-6423(92)90005-V},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BerryG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/KwonNW92,
author = {Keehang Kwon and
Gopalan Nadathur and
Debra Sue Wilson},
editor = {Evelina Lamma and
Paola Mello},
title = {Implementing a Notion of Modules in the Logic Programming Language
Lambda-Prolog},
booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92,
Bologna, Italy, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {660},
pages = {359--393},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56454-3\_18},
doi = {10.1007/3-540-56454-3\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/KwonNW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/pfenning92/NadathurP92,
author = {Gopalan Nadathur and
Frank Pfenning},
editor = {Frank Pfenning},
title = {The Type System of a Higher-Order Logic Programming Language},
booktitle = {Types in Logic Programming},
pages = {245--283},
publisher = {The {MIT} Press},
year = {1992},
timestamp = {Tue, 07 Nov 2023 12:00:44 +0100},
biburl = {https://dblp.org/rec/books/mit/pfenning92/NadathurP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BackofenEG90,
author = {Rolf Backofen and
Lutz Euler and
G{\"{u}}nther G{\"{o}}rz},
editor = {Heinz Marburger},
title = {Towards the Integration of Functions, Relations and Types in an {AI}
Programming Language},
booktitle = {GWAI-90, 14th German Workshop on Artificial Intelligence, Eringerfeld,
Germany, 10.-14. September 1990, Proceedings},
series = {Informatik-Fachberichte},
volume = {251},
pages = {297--306},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-642-76071-6\_34},
doi = {10.1007/978-3-642-76071-6\_34},
timestamp = {Wed, 11 Jul 2018 09:52:39 +0200},
biburl = {https://dblp.org/rec/conf/ki/BackofenEG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DrosteG90,
author = {Manfred Droste and
R{\"{u}}diger G{\"{o}}bel},
title = {Universal Domains in the Theory of Denotational Semantics of Programming
Languages},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {19--34},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113730},
doi = {10.1109/LICS.1990.113730},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DrosteG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/SalomonC89,
author = {Daniel J. Salomon and
Gordon V. Cormack},
title = {Corrections to the paper: Scannerless {NSLR(1)} Parsing of Programming
Languages},
journal = {{ACM} {SIGPLAN} Notices},
volume = {24},
number = {11},
pages = {80--83},
year = {1989},
url = {https://doi.org/10.1145/71605.71609},
doi = {10.1145/71605.71609},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/SalomonC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067038,
author = {Michael J. C. Gordon},
title = {Programming language theory and its implementation - applicative and
imperative paradigms},
series = {Prentice Hall International series in Computer Science},
publisher = {Prentice Hall},
year = {1988},
isbn = {978-0-13-730409-7},
timestamp = {Mon, 02 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Golson84,
author = {William G. Golson},
title = {Denotational Models Based on Synchronously Communicating Processes
(Semantics, Programming Languages)},
school = {University of Michigan, {USA}},
year = {1984},
url = {http://hdl.handle.net/2027.42/160133},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Golson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/He83,
author = {Jifeng He},
title = {General Predicate Transformer and the Semantics of a Programming Language
With Go To Statement},
journal = {Acta Informatica},
volume = {20},
pages = {35--57},
year = {1983},
url = {https://doi.org/10.1007/BF00264294},
doi = {10.1007/BF00264294},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/He83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmcsc/Goldberg83,
author = {Adele Goldberg},
editor = {Terry J. Frederick and
Larry K. Cottrell},
title = {The influence of an object-oriented language on the programming environment},
booktitle = {Proceedings of the 1983 computer science conference, {CSC} 1983, Orlando,
FL, USA, 1983},
pages = {35--54},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800172.809678},
doi = {10.1145/800172.809678},
timestamp = {Fri, 26 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acmcsc/Goldberg83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/81,
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
publisher = {{ACM} Press},
year = {1981},
url = {http://dl.acm.org/citation.cfm?id=567532},
isbn = {0-89791-029-X},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068020,
author = {Michael J. C. Gordon},
title = {The denotational description of programming languages - an introduction},
publisher = {Springer},
year = {1979},
isbn = {978-3-540-90433-5},
timestamp = {Tue, 12 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Plotkin77,
author = {Gordon D. Plotkin},
title = {{LCF} Considered as a Programming Language},
journal = {Theor. Comput. Sci.},
volume = {5},
number = {3},
pages = {223--255},
year = {1977},
url = {https://doi.org/10.1016/0304-3975(77)90044-5},
doi = {10.1016/0304-3975(77)90044-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Plotkin77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Goodenough76,
author = {John B. Goodenough},
editor = {John H. Williams and
David A. Fisher},
title = {The need for optimization standards},
booktitle = {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},
pages = {335--344},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/BFb0021431},
doi = {10.1007/BFB0021431},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigada/Goodenough76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/Goldsmith74,
author = {Clair W. Goldsmith},
editor = {Burt M. Leavenworth},
title = {The design of a procedureless programming language},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Very High Level Languages,
Santa Monica, California, USA, March 28-29, 1974},
pages = {13--24},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/800233.807041},
doi = {10.1145/800233.807041},
timestamp = {Tue, 22 Feb 2022 16:09:57 +0100},
biburl = {https://dblp.org/rec/conf/sigplan/Goldsmith74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/000268,
author = {John B. Goodenough},
editor = {Richard B. Blue Sr. and
Arthur M. Rosenberg},
title = {The comparison of programming languages: {A} linguistic approach},
booktitle = {Proceedings of the 23rd {ACM} national conference, {ACM} 1968, USA,
1968},
pages = {765--785},
publisher = {{ACM}},
year = {1968},
url = {https://doi.org/10.1145/800186.810641},
doi = {10.1145/800186.810641},
timestamp = {Sun, 18 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acm/000268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-10-19 18:51 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:
