Page: 1 2 3 4 5 6 7... 103
43 |
Generation of TypeScript Declaration Files from JavaScript Code ...
|
|
|
|
BASE
|
|
Show details
|
|
45 |
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ...
|
|
|
|
BASE
|
|
Show details
|
|
48 |
Visually Grounded Reasoning across Languages and Cultures ...
|
|
|
|
BASE
|
|
Show details
|
|
49 |
Automatic Grading Tool for Jupyter Notebooks in Artificial Intelligence Courses
|
|
|
|
In: Sustainability ; Volume 13 ; Issue 21 (2021)
|
|
BASE
|
|
Show details
|
|
50 |
Studying the Effectiveness of Code Animation in Teaching Recursive Programming
|
|
|
|
In: Honors College Theses (2021)
|
|
BASE
|
|
Show details
|
|
52 |
Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions ...
|
|
|
|
BASE
|
|
Show details
|
|
53 |
TreeBERT: A Tree-Based Pre-Trained Model for Programming Language ...
|
|
|
|
BASE
|
|
Show details
|
|
54 |
Query Lifting: Language-integrated query for heterogeneous nested collections ...
|
|
|
|
Abstract:
Language-integrated query based on comprehension syntax is a powerful technique for safe database programming, and provides a basis for advanced techniques such as query shredding or query flattening that allow efficient programming with complex nested collections. However, the foundations of these techniques are lacking: although SQL, the most widely-used database query language, supports heterogeneous queries that mix set and multiset semantics, these important capabilities are not supported by known correctness results or implementations that assume homogeneous collections. In this paper we study language-integrated query for a heterogeneous query language $NRC_λ(Set,Bag)$ that combines set and multiset constructs. We show how to normalize and translate queries to SQL, and develop a novel approach to querying heterogeneous nested collections, based on the insight that ``local'' query subexpressions that calculate nested subcollections can be ``lifted'' to the top level analogously to lambda-lifting for ... : Full version of ESOP 2021 conference paper ...
|
|
Keyword:
Databases cs.DB; FOS Computer and information sciences; Programming Languages cs.PL
|
|
URL: https://arxiv.org/abs/2101.04102 https://dx.doi.org/10.48550/arxiv.2101.04102
|
|
BASE
|
|
Hide details
|
|
55 |
Evolution of human computer interaction
|
|
|
|
In: Sci. Visualization ; Scientific Visualization (2021)
|
|
BASE
|
|
Show details
|
|
56 |
Conversational agent for supporting learners on a MOOC on programming with Java
|
|
|
|
BASE
|
|
Show details
|
|
57 |
Identifying and solving issues with acquiring skills in computer programming for non-English speakers
|
|
|
|
In: Nnass, IA, (2020). Identifying and solving issues with acquiring skills in computer programming for non-English speakers. Doctoral Thesis. Central Queensland University, http://dx.doi.org/10.25946/5f039502e1dec (2020)
|
|
BASE
|
|
Show details
|
|
58 |
PROGRAMMER EN MAX AVEC bell
|
|
|
|
In: Journées d'informatique musicale (JIM) 2020 ; https://hal.archives-ouvertes.fr/hal-03019742 ; Journées d'informatique musicale (JIM) 2020, Oct 2020, Strasbourg (en virtuel), France (2020)
|
|
BASE
|
|
Show details
|
|
59 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
60 |
A Methodology for Teaching from Student Errors in Computer Science Education
|
|
|
|
BASE
|
|
Show details
|
|
Page: 1 2 3 4 5 6 7... 103
|
|