Search Results - "Programming Languages and Compilers"
-
1
Authors:
Source: Computer. 57:118-123
Subject Terms: Health Related Quality Of Life, Discrete Data, Computer Sciences, Safety Critical, Software Engineering, Cloud Computing, System Dynamics, First Order Logic, Model Checking, Theoretical Computer Science, Modern Software, Temporal Dimension, Formal Techniques, Programming Languages and Compilers, Practical Examples, Temporal Logic, Computer Science, Microwave Oven, Student Understanding, Understanding Of Methods
-
2
Authors:
Source: 2024 IEEE Frontiers in Education Conference (FIE). :1-5
Subject Terms: FOS: Computer and information sciences, Computer Sciences, Computer Science Education, 4. Education, Software Testing, Software Engineering, Safety-Critical Systems, Formal Methods, Model Checking, Software Engineering (cs.SE), Computer Science - Software Engineering, Programming Languages and Compilers
File Description: application/pdf
Access URL: http://arxiv.org/abs/2407.21152
-
3
Authors: et al.
Source: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1466-1478
Subject Terms: User Study, Artificial Intelligence and Robotics, Model Converters, Computer Sciences, ONNX, deep learning, Software Engineering, model conversion, Machine Learning, models, empirical software engineering, Programming Languages and Compilers, Artificial Intelligence, Empirical Software Engineering
File Description: application/pdf
-
4
Authors: et al.
Source: ACM Transactions on Software Engineering and Methodology. 33:1-29
Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Programming Languages and Compilers, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Code Model Analysis, Software Engineering, 02 engineering and technology, Syntax and Semantic Encoding
File Description: application/pdf
Access URL: http://arxiv.org/abs/2212.10017
-
5
Authors: et al.
Source: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval. :2989-2992
Subject Terms: Large Language Model, Databases and Information Systems, Programming Languages and Compilers, Conversational Agent, Social Network, Recommendation
File Description: application/pdf
-
6
-
7
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 8:2098-2122
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), Probabilistic programming, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, Probability distribution equivalence, 01 natural sciences, Martingales, Programming Languages and Compilers, Static program analysis, Kantorovich distance, 0202 electrical engineering, electronic engineering, information engineering, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2404.03430
-
8
Authors: et al.
Source: Companion Proceedings of the ACM Web Conference 2024. :1242-1245
Subject Terms: Large Language Model, Databases and Information Systems, Programming Languages and Compilers, Conversational Agent, Social Network, Recommendation
File Description: application/pdf
-
9
Authors: et al.
Source: IEEE Transactions on Pattern Analysis and Machine Intelligence. 46:3406-3421
Subject Terms: visual grounding, Artificial Intelligence and Robotics, Programming Languages and Compilers, vision-language pre-training, Numerical Analysis and Scientific Computing, Fill-in-the-blank, position-guided text prompt
File Description: application/pdf
Access URL: https://pubmed.ncbi.nlm.nih.gov/38109234
-
10
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 8:362-391
Subject Terms: Programming Languages and Compilers, Probabilistic Programming, Static Analysis, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Quantitative Bounds, Cost Analysis, 01 natural sciences, Martingales
File Description: application/pdf
-
11
Authors:
Source: Proceedings of the 21st International Conference on Mining Software Repositories. :631-636
Subject Terms: Computer Science - Software Engineering, Programming Languages and Compilers, Software Engineering
File Description: application/pdf
Access URL: http://arxiv.org/abs/2402.03773
-
12
Authors:
Source: Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results. :47-51
Subject Terms: Computer Science - Software Engineering, Programming Languages and Compilers, Software Engineering
File Description: application/pdf
Access URL: http://arxiv.org/abs/2401.15468
-
13
Authors: et al.
Source: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society. :142-153
Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Programming Languages and Compilers, 13. Climate action, Multi-Objective Optimization, Software Engineering, 7. Clean energy, Language Models of Code, Configuration Tuning
File Description: application/pdf
Access URL: http://arxiv.org/abs/2309.04076
-
14
Authors: et al.
Source: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-13
Subject Terms: Programming Languages and Compilers, Code Search, Code Suggestion, Software Engineering, Language Model
File Description: application/pdf
-
15
Authors: et al.
Source: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-13
Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computing methodologies → Artificial intelligence, Programming Languages and Compilers, Software and its engineering → Software development techniques, Memorization, Software Engineering, Open-Source Software, Security and privacy, Code Generation
File Description: application/pdf
Access URL: http://arxiv.org/abs/2308.09932
-
16
Authors: et al.
Source: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-12
Subject Terms: Programming Languages and Compilers, Code Idiom Mining, Large Language Model (LLM), Code Pattern, Software Engineering, Clustering
File Description: application/pdf
-
17
-
18
Authors:
Source: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. :1307-1313
Subject Terms: code quality, undergraduate course, Software Engineering (cs.SE), FOS: Computer and information sciences, software maintenance, Computer Science - Software Engineering, Programming Languages and Compilers, Refactoring, mistake-based learning, 4. Education, code smells, software engineering
File Description: application/pdf
Access URL: http://arxiv.org/abs/2401.01011
-
19
Authors: et al.
Source: Findings of the Association for Computational Linguistics ACL 2024. :10633-10649
Subject Terms: FOS: Computer and information sciences, Databases and Information Systems, Programming Languages and Compilers, Computer Science - Computation and Language, Computation and Language (cs.CL)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2405.12059
-
20
Authors: et al.
Source: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). :8795-8812
Subject Terms: Databases and Information Systems, Programming Languages and Compilers, Computer Science - Computation and Language, Computer Science - Artificial Intelligence
File Description: application/pdf
Access URL: http://arxiv.org/abs/2402.15057
Full Text Finder
Nájsť tento článok vo Web of Science