• Search: "Programming Languages"

Showing 161 - 180 of 155,193

161

Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust
Golfouse, Arnaud ; Guéneau, Armaël ; Jourdan, Jacques-Henri ; et al.

Rennes, France Ghost code Rust Deductive verification CCS Concepts: • Theory o... [INFO.INFO-LO]Computer S... …
Conference
Save to List
162

Preparing the eLuna Visual Language for Human-AI Co-Specification and Code Automation.
Breien, Fredrik ; Schevenhoven, Francine Janneke
Proceedings of the European Conference on Games Based Learning. 2025, Vol. 19 Issue 1, p85-93. 9p.

Gamification Climate change education Scholarly method Visual programming langu... Human-artificial intelli... Narration …
Conference
Save to List
163

Scrambled Features for Breakfast: Concepts of Agile Language Development.
CAZZOLA, WALTER ; FAVALLI, LUCA
Communications of the ACM. Nov2023, Vol. 66 Issue 11, p50-60. 11p.

DOMAIN-specific programm... SCRUM (Computer software... AGILE software developme... ENTERPRISE resource plan... SOFTWARE development too...
Journal
Save to List
164

Automated code development based on genetic programming in graphical programming language: A pilot study.
Kodytek P ; Bodzas A ; Zidek J
Publisher: Public Library of Science Country of Publication: United States NLM ID: 101285081 Publication Model: eCollection Cited Medium: Internet ISSN: 1932-6203 (Electronic) Linking ISSN: 19326203 NLM ISO Abbreviation: PLoS One Subsets: MEDLINE

Pilot Projects Algorithms Automation Programming Languages Software
Academic journal
Save to List
165

Computer programmers show distinct, expertise-dependent brain responses to violations in form and meaning when reading code.
Kuo CH ; Prat CS
Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE

Humans Learning Brain physiology Programming Languages
Academic journal
Save to List
166

Simplifying Multimodal Clinical Research Data Management: Introducing an Integrated and User-friendly Database Concept.
Schweinar A ; Wagner F ; Klingner C ; et al.
Publisher: Thieme Country of Publication: Germany NLM ID: 101537732 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1869-0327 (Electronic) Linking ISSN: 18690327 NLM ISO Abbreviation: Appl Clin Inform Subsets: MEDLINE

Humans Data Management Programming Languages
Academic journal
Save to List
167

vcfpp: a C++ API for rapid processing of the variant call format.
Li Z
Publisher: Oxford University Press Country of Publication: England NLM ID: 9808944 Publication Model: Print Cited Medium: Internet ISSN: 1367-4811 (Electronic) Linking ISSN: 13674803 NLM ISO Abbreviation: Bioinformatics Subsets: MEDLINE

Big Data Software Programming Languages
Academic journal
Save to List
168

SimService: a lightweight library for building simulation services in Python.
Sego TJ
Publisher: Oxford University Press Country of Publication: England NLM ID: 9808944 Publication Model: Print Cited Medium: Internet ISSN: 1367-4811 (Electronic) Linking ISSN: 13674803 NLM ISO Abbreviation: Bioinformatics Subsets: MEDLINE

Computer Simulation Gene Library Software Programming Languages
Academic journal
Save to List
169

Genetic Network Design Automation with LOICA.
Vidal G ; Vitalis C ; Matúte T ; et al.
Publisher: Humana Press Country of Publication: United States NLM ID: 9214969 Publication Model: Print Cited Medium: Internet ISSN: 1940-6029 (Electronic) Linking ISSN: 10643745 NLM ISO Abbreviation: Methods Mol Biol Subsets: MEDLINE

Gene Regulatory Networks Algorithms Synthetic Biology method... Automation Software Programming Languages
Academic journal
Save to List
170

Operational methods in semantics
Amadio, Roberto, M. ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) ; et al.
Master. Paris, France. 2025

Paris, France [INFO.INFO-PL]Computer S... Programming Languages [c... [INFO.INFO-DC]Computer S... Distributed, Parallel, a... [INFO.INFO-LO]Computer S... …
Book
Save to List
171

Modern C
Modern C: Covers the C23 standard
Gustedt, Jens ; Compilation pour les Architectures MUlti-coeurS (CAMUS) ; Centre Inria de l'Université de Lorraine ; et al.

[INFO.INFO-PL]Computer S... Programming Languages [c...
Book
Save to List
172

Clean Blocks at the Opal Compiler
Palumbo, Nahuel ; Denker, Marcus ; Reflective Evolution of Ever-running Software Systems (EVREF) ; et al.
IWST 25 — International Workshop on Smalltalk Technologies, Jul 2025, Gdansk, Poland

Gdansk, Poland Pharo Opal Block Closure Optimization Compiler …
Conference
Save to List
173

PiNodes in the Druid Meta-Compiler
Demare, Matias ; Polito, Guillermo ; Palumbo, Nahuel ; et al.
International Workshop on Smalltalk Technologies 2025, Jul 2025, Gdansk, Poland

Gdansk, Poland Pharo PiNodes Optimization Dead-Branch elimination Constraint propagation …
Conference
Save to List
174

A Survey on Model‐Driven Engineering and Domain‐Specific Languages for Chatbot Development: Requirements, Challenges and Solutions.
Benaddi, Lamya ; Ouaddi, Charaf ; Jakimi, Abdeslam ; et al.
Expert Systems. Oct2025, Vol. 42 Issue 10, p1-14. 14p.

NATURAL language process... QUESTIONNAIRES CHATBOTS DOMAIN-specific programm... USER experience AUTOMATION software …
Academic journal
Save to List
175

A Logical Approach to Type Soundness.
Timany, Amin ; Krebbers, Robbert ; Dreyer, Derek ; et al.
Journal of the ACM. Dec2024, Vol. 71 Issue 6, p1-75. 75p.

LOGIC PROGRAMMING languages RESEARCH personnel PRIMARY audience PRIOR learning
Academic journal
Save to List
176

Flexible Distribution Approaches to Enhance Regression and Deep Topic Modelling Techniques.
Koochemeshkian, Pantea ; Bouguila, Nizar
Expert Systems. Feb2025, Vol. 42 Issue 2, p1-21. 21p.

PROGRAMMING languages GIBBS sampling MACHINE learning CORPORA DATA modeling
Academic journal
Save to List
177

Parametric verification to ensure safe behaviour of connected devices
Ramparison, Mathias ; VERIMAG (VERIMAG - IMAG) ; Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP) ; et al.
15th International Conference on Emerging Ubiquitous Systems and Pervasive Networks / 14th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare EUSPN/ICTH 2024. 251:502-507

Leuven, Belgium smart contract IMITATOR parametric timed automat... reachability Z3 …
Conference
Save to List
178

What’s New in the Faust Ecosystem in 2024?
Letz, Stéphane ; Michon, Romain ; Orlarey, Yann ; et al.
IFC 2024 - 4th International Faust Conference. :27-33

Turin (Italie), Italy Faust Language DSP [INFO.INFO-PL]Computer S... Programming Languages [c...
Conference
Save to List
179

Function-as-a-Service Allocation Policies Made Formal
Palma, Giuseppe De ; Giallorenzo, Saverio ; Mauro, Jacopo ; et al.
ISoLA 2024 - 12th International Symposium ON Leveraging Applications of Formal Methods. :306-321

Crete, France [INFO.INFO-PL]Computer S... Programming Languages [c...
Conference
Save to List
180

On Computational Indistinguishability and Logical Relations
Lago, Ugo Dal ; Galal, Zeinab ; Giusti, Giulia ; et al.
APLAS 2024 - 22nd Asian Symposium on Programming Languages and Systems. :241-263

Kyoto, Japan Logical Relations Metrics Probabilistic Effects Computational Indistingu... [INFO.INFO-CR]Computer S... …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter