Výsledky vyhledávání - "80308 Programming Languages"

A Multimodal Study of Challenges Using Rust

Autoři: Coblenz, Michael Porter, April Das, Varun a další

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

How do Haskell programmers debug?

Autoři: Huang, Ruanqianqian (Lisa) Pertseva, Elizaveta Coblenz, Michael a další

Témata: FOS: Psychology, FOS: Computer and information sciences, 80602 Computer-Human Interaction, 80308 Programming Languages

Program Synthesis Co-Design

Autoři: Peleg, Hila

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Towards Human-Centered Types & Type Debugging

Autoři: Ferdowsi, Kasra

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic

Autoři: Rothkopf, Raven Cui, Angel Leyi Zeng, Hannah Tongxin a další

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Searching for Incidental Specifications

Autoři: Ferguson, Jeremy Ye, Kevin Yim, Jacob a další

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Reverse Sketching

Autoři: Holloway, Tyler Swoopes, Chelse Arawjo, Ian a další

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Programmer Experience When Using CRDTs to Build Collaborative Webapps: Initial Insights

Autoři: Zhang, Yicheng Weidner, Matthew Miller, Heather

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Greyboxing: towards domain-specific representations for domain-specific languages in electronics design

Autoři: Lin, Richard Ramesh, Rohit Dutta, Prabal a další

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Towards a Science of Interactive Proof Reading

Autoři: Shi, Jessica Pierce, Benjamin Head, Andrew

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Live, Rich, and Composable: Qualities for Programming Beyond Static Text

Autoři: Horowitz, Joshua Heer, Jeffrey

Témata: FOS: Psychology, Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, 80602 Computer-Human Interaction, Computer Science - Human-Computer Interaction, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 80308 Programming Languages, Programming Languages (cs.PL), Human-Computer Interaction (cs.HC)

Přístupová URL adresa: http://arxiv.org/abs/2303.06777

Interaction Templates: A Data-Driven Approach for Authoring Robot Programs

Autoři: Porfirio, David Cakmak, Maya Sauppé, Allison a další

Témata: FOS: Computer and information sciences, FOS: Psychology, 0209 industrial biotechnology, 80602 Computer-Human Interaction, Applied Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 80101 Adaptive Agents and Intelligent Robotics, 02 engineering and technology, 80308 Programming Languages

Applying Information Flow to Program Comprehension

Autoři: Crichton, Will

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Change in Software Ecosystems

Autoři: Matute, Gabriel Cheung, Alvin Chasins, Sarah

Témata: FOS: Computer and information sciences, FOS: Psychology, 80602 Computer-Human Interaction, 80308 Programming Languages

Technical Report: A Type System for Safe Intermittent Computing

Autoři: Surbatovich, Milijana Spargo, Naomi Jia, Limin a další

Témata: FOS: Computer and information sciences, 80308 Programming Languages

Centre for eResearch Annual Report 2021

Autoři: Gahegan, Mark Gustafsson, Marcus Armstrong, Laura a další

Témata: FOS: Computer and information sciences, 80111 Virtual Reality and Related Simulation, Artificial Intelligence and Image Processing, 80604 Database Management, Applied Computer Science, 4. Education, 80203 Computational Logic and Formal Languages, 80201 Analysis of Algorithms and Complexity, 80110 Simulation and Modelling, 80306 Open Software, 80308 Programming Languages, 80505 Web Technologies (excl. Web Search)

2021 Centre for eResearch Annual Report

Autoři: Gahegan, Mark Gustafsson, Marcus Armstrong, Laura a další

Témata: FOS: Computer and information sciences, 80111 Virtual Reality and Related Simulation, Artificial Intelligence and Image Processing, 80604 Database Management, Applied Computer Science, 4. Education, 80203 Computational Logic and Formal Languages, 80201 Analysis of Algorithms and Complexity, 80110 Simulation and Modelling, 80306 Open Software, 80308 Programming Languages, 80505 Web Technologies (excl. Web Search)

SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis–Technical Report

Autoři: Takashima, Yoshiki Goncalves Martins, Ruben Carlos Jia, Limin a další

Témata: FOS: Computer and information sciences, 80308 Programming Languages

Přístupová URL adresa: https://kilthub.cmu.edu/articles/report/SyRust_Automatic_Testing_of_Rust_Libraries_with_Semantic-Aware_Program_Synthesis_Technical_Report/14356949/files/28153287.pdf
https://kilthub.cmu.edu/articles/report/SyRust_Automatic_Testing_of_Rust_Libraries_with_Semantic-Aware_Program_Synthesis_Technical_Report/14356949

Understanding the Research Practices and Service Needs of Big Data Researchers at Carnegie Mellon University

Autoři: Bharti, Neelam Campbell, Patrick Gunderman, Hannah a další

Témata: FOS: Media and communications, FOS: Computer and information sciences, Library and Information Studies, 4. Education, 80706 Librarianship, 80308 Programming Languages, Data Format

Přístupová URL adresa: https://kilthub.cmu.edu/articles/report/Understanding_the_Research_Practices_and_Service_Needs_of_Big_Data_Researchers_at_Carnegie_Mellon_University/16701958

SatRday Conference Programme

Autoři: Collier, Andrew

Témata: FOS: Computer and information sciences, 80308 Programming Languages