Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stephen Travis Pope |
Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 84-88, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Steven L. Tanimoto |
Five Futures with AI Coding Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 32-38, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiro Ueno |
SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 1, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dave Mason |
Threaded Execution as a Dual to Native Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 7-11, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Go Suzuki, Takuo Watanabe, Sosuke Moriguchi |
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 12-16, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luke Church, Emma Söderberg, Martin Höst |
My Space, Our Space, Their Space: A First Glance at Developers' Experience of Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 48-53, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zoran Vlatko Sevarac |
Programming for Deep Learning on Top of Virtual Machines (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa, Alexandre Madeira |
Capturing Qubit Decoherence through Paraconsistent Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 109-110, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Homer |
Multiple-Representation Visual Compositional Dataflow Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 39-47, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Wakizaka |
Towards Reliable Distributed Quantum Computing on Quantum Interconnects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 114-116, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Armin Moin, Atta Badii, Moharram Challenger |
Model-Driven Quantum Federated Learning (QFL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 111-113, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Chiba, Youyou Cong, Elisa Gonzalez Boix (eds.) |
Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jianjun Zhao 0001 |
Static Analysis for Quantum Software Correctness and Reliability (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 89, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Hashimoto, Ikuta Tanigawa, Nobuhiko Ogura, Harumi Watanabe |
ReactCOP Supporting Layer Parameter Management for Front-End Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 76-83, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kavalar, Philippa Markovics, Jack Rusher |
Clerk: Moldable Live Programming for Clojure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 22-31, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Léonard Oest O'Leary, Marc Feeley |
A Compact and Extensible Portable Scheme VM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 3-6, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Eva Krebs, Patrick Rein, Joana Bergsiek, Lina Urban, Robert Hirschfeld |
Probe Log: Visualizing the Control Flow of Babylonian Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 61-67, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslaw Adam Miszczak |
Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 101-108, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Thiede, Marcel Taeumel, Robert Hirschfeld |
Object-Centric Time-Travel Debugging: Exploring Traces of Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 54-60, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Athanasios Stratikopoulos, Florin Blanaru, Juan Fumero, Maria Xekalaki, Orion Papadakis, Christos Kotselidis |
Cross-Language Interoperability of Heterogeneous Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 17-21, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lia Yeh |
Scaling W State Circuits in the qudit Clifford Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 90-100, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paul Wuilmart, Emma Söderberg, Martin Höst |
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 68-75, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Homer |
Calling Cards: Concrete Visual End-User Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 22-29, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillermo Polito, Nahuel Palumbo, Soufyane Labsari, Stéphane Ducasse, Pablo Tesone |
Interpreter Register Autolocalisation: Improving the Performance of Efficient Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 1-5, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mark Guzdial |
Creating New Programming Experiences Inspired by Boxer to Develop Computationally Literate Society. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 67-69, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eva Krebs, Patrick Rein, Robert Hirschfeld |
Example Mining: Assisting Example Creation to Enhance Code Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 60-66, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rein, Tom Beckmann, Toni Mattis, Robert Hirschfeld |
Toward Understanding Task Complexity in Maintenance-Based Studies of Programming Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 38-45, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Steven L. Tanimoto, Rob Thompson, Todd Richards, Cheri Yates, Virginia W. Berninger |
Programming in an fMRI Scanner: A Report from the Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 12-21, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Turgut Reis Kursun, Mathijs Saey, Viviane Jonckers |
Enhancing DrRacket with Dodona for Learning Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 81-82, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Ohshima, Aran Lunzer, Jenn Evans, Vanessa Freudenberg, Brian Upton, David A. Smith |
An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 46-53, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sara Fernandes, Ademar Aguiar, André Restivo |
A Live Environment to Improve the Refactoring Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 30-37, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ademar Aguiar, Eduardo Guerra 0001, Shigeru Chiba, Elisa Gonzalez Boix (eds.) |
Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![ACM, 978-1-4503-9656-1 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rikito Taniguchi, Hidehiko Masuhara |
CodeMap: A Graphical Note-Taking Tool Cooperating with an Integrated Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 54-59, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Reschke, Toni Mattis, Fabio Niephaus, Robert Hirschfeld |
Toward Just-in-Time and Language-Agnostic Mutation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 6-11, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Clayton Lewis |
Automatic Programming and Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, pp. 70-80, 2022, ACM, 978-1-4503-9656-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bob Reynders, Kwanghoon Choi 0001 |
Rec.HTML: Declarative HTML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 1-5, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ian Piumarta |
Improving on the Experience of Hand-Assembling Programs for Application-Specific Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 21-30, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jason T. Jacques, Per Ola Kristensson |
Studying Programmer Behaviour at Scale: A Case Study using Amazon Mechanical Turk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 36-48, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kapaya Katongo, Geoffrey Litt, Daniel Jackson 0001 |
Towards End-User Web Scraping for Customization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 49-59, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | André L. Santos 0001 |
Javardeye: Gaze Input for Cursor Control in a Structured Editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 31-35, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aäron Munsters, Angel Luis Scull Pupo, Jim Bauwens, Elisa Gonzalez Boix |
Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 6-13, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luke Church, Shigeru Chiba, Elisa Gonzalez Boix (eds.) |
Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![ACM, 978-1-4503-8986-0 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Taeumel, Robert Hirschfeld |
Exploring Modal Locking in Window Manipulation: Why Programmers Should Stash, Duplicate, Split, and Link Composite Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 14-20, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Meier, Toni Mattis, Robert Hirschfeld |
Toward Exploratory Understanding of Software using Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 60-67, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dimitri Racordon |
From ASTs to Machine Code with LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021, pp. 68-76, 2021, ACM, 978-1-4503-8986-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Renata Castelo-Branco, António Leitão, Catarina Brás |
Program comprehension for live algorithmic design in virtual reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 69-76, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Myroslava Romaniuk |
N-gram models for code completion in Pharo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 227-228, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Eduardo Rosales Rosero, Andrea Rosà, Walter Binder |
Profiling streams on the Java virtual machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 27-30, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Börsting, Volker Gruhn |
Towards efficient interdisciplinary authoring of industrial augmented reality applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 65-68, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nitish Patkar, Leonel Merino, Oscar Nierstrasz |
Towards requirements engineering with immersive augmented reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 55-60, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joel Jakubovic |
What it takes to create with domain-appropriate tools: reflections on implementing the "id" system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 197-207, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Egi |
Pattern-match-oriented proof writing language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 223-224, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jack Armitage |
An experimental audio-tactile interface for sculpting digital resonance models using modelling clay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 225-226, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aurélien Coet |
An annotation system for specifying aliasing invariants on object fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 221-222, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Steven L. Tanimoto |
Multiagent live programming systems: models and prospects for critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 90-96, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Moreira, Filipe F. Correia, João Bispo |
Overviewing the liveness of refactoring for energy efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 211-212, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Skjøtt |
Spreadsheets as notational environment for paper weaving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 158-162, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Riese, Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld |
User-defined interface mappings for the GraalVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 19-22, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Toni Mattis, Patrick Rein, Robert Hirschfeld |
Three trillion lines: infrastructure for mining GitHub in the classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 1-6, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Elke Franziska Heidmann, Annika Meinecke, Lynn von Kurnatowski, Andreas Schreiber 0001 |
Towards visualization of evolution of component-based software architectures in VR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 61-64, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Litt, Daniel Jackson 0001 |
Wildcard: spreadsheet-driven customization of web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 126-135, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Juan Fumero, Athanasios Stratikopoulos, Christos Kotselidis |
Running parallel bytecode interpreters on heterogeneous hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 31-35, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Danny M. Groenewegen, Elmer van Chastelet, Eelco Visser |
Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 77-83, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus |
Superoptimization of WebAssembly bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 36-40, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Boden, Robert Mischke, Alexander Weinert, Andreas Schreiber 0001 |
Supporting the composition of domain-specific software via task-specific roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 17-18, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Adam Granicz, Jozsef Uri, Andras Janko |
Synthesizing user interfaces using functional reactive web abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 84-89, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lars Reimann, Günter Kniesel-Wünsche |
Achieving guidance in applied machine learning through software engineering techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 7-12, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Weiher |
Can programmers escape the gentle tyranny of call/return? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 163-172, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Max Krieger |
Chatting with glue: cognitive tools for augmented conversation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 208, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kato 0001, Keisuke Shimakage |
Rethinking programming "environment": technical and social environment design toward convivial computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 149-157, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Renata Castelo-Branco |
ReAD: representational algorithmic design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 217-218, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dimitri Racordon, Didier Buchs |
LogicKit: bringing logic programming to swift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 13-16, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jan Ehmueller, Alexander Riese, Hendrik Tjabben, Fabio Niephaus, Robert Hirschfeld |
Polyglot code finder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 106-112, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Amy Rae Fox, Philip J. Guo, Clemens Nylandsted Klokmose, Peter Dalsgaard, Arvind Satyanarayan, Haijun Xia, James D. Hollan |
Towards a dynamic multiscale personal information space: beyond application and document centered views of information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 136-143, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ademar Aguiar, Shigeru Chiba, Elisa Gonzalez Boix (eds.) |
Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![ACM, 978-1-4503-7507-8 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ting Wang, Michihiro Horie, Kazunori Ogata, Hao Chen Gui, Xiao Ping Guo, Yang Liu |
Enhancement of OpenJDK biased locking for infrequent lock contention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 23-26, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kartik Agaram |
Bicycles for the mind have to be see-through. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 173-186, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antranig Basman, Philip Tchernavskij |
Escaping the prison of style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 187-196, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | André L. Santos 0001 |
Javardise: a structured code editor for programming pedagogy in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 120-125, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tom Beckmann |
Efficient editing in a tree-oriented projectional editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 215-216, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tom Beckmann, Stefan Ramson, Patrick Rein, Robert Hirschfeld |
Visual design for a tree-oriented projectional editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 113-119, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Kell |
Convivial design heuristics for software systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 144-148, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Henning, Tim Felgentreff, Fabio Niephaus, Robert Hirschfeld |
Toward presizing and pretransitioning strategies for GraalPython. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 41-45, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sara Fernandes, André Restivo, Hugo Sereno Ferreira, Ademar Aguiar |
Helping software developers through live software metrics visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 209-210, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Philippe D. Misteli |
Towards language-parametric refactorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 213-214, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alejandra Cossio Chavalier, Juan Pablo Sandoval Alcocer, Alexandre Bergel |
Assessing textual source code comparison: split or unified? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 50-54, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tijs van der Storm, Geor Bakker |
MATLAB doesn't love me: an essay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 97-101, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tao Dong, Gale Yang |
Towards a pattern language for interactive coding tutorials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 102-105, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Schiavio, Daniele Bonetta, Walter Binder |
Towards dynamic SQL compilation in Apache Spark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 46-49, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Damien Morard |
A formalism to model higher-order function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 219-220, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Dagnino |
A framework for big-step semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 27:1-27:3, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Toyomi Ishida, Hidetake Uwano |
Time series analysis of programmer's EEG for debug state classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 25:1-25:7, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Marr, Walter Cazzola (eds.) |
Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![ACM, 978-1-4503-6257-3 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Dario Olianas |
Automatic test case generation from UML state machine diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 31:1-31:2, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clayton Lewis |
Why can't programming be like sketching? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 39:1-39:6, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Johan Fabry |
The meager validation of live programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 23:1-23:6, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luke Church, Mariana Marasoiu |
What can we learn from systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 26:1-26:2, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Niephaus, Tim Felgentreff, Tobias Pape, Robert Hirschfeld |
Efficient implementation of Smalltalk activation records in language implementation frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 6:1-6:3, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luke Church |
Sketching a different programming: (reflections on why can't programming be like sketching?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 40:1, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Leuenberger |
Exploring example-driven migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, pp. 29:1-29:3, 2019, ACM, 978-1-4503-6257-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|