• Suche: Modular programming languages

Treffer 1 - 20 von 18.150

1

Modular GPU Programming with Typed Perspectives
Bansal, Manya ; Sainati, Daniel ; Cutler, Joseph W. ; et al.

Programming Languages Distributed, Parallel, a... D.3.0; D.3.3; C.1.2
Report
Zu den Favoriten
2

MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks
Li, Jingyao ; Chen, Pengguang ; Xia, Bin ; et al.

Computer Science - Machi... Computer Science - Progr... Computer Science - Softw...
Report
Zu den Favoriten
3

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
Laurent, Jonathan ; Platzer, André

Programming Languages Artificial Intelligence
Report
Zu den Favoriten
4

Developing a Modular Compiler for a Subset of a C-like Language
Dutta, Debasish ; Sonowal, Neeharika ; Hazarika, Irani

Computer Science - Progr... Computer Science - Compu... Computer Science - Distr... Computer Science - Perfo...
Report
Zu den Favoriten
5

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
Goldstein, Oliver ; Kammar, Ohad

Computer Science - Progr... Statistics - Computation
Report
Zu den Favoriten
6

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
Fiore, Marcelo P. ; Kammar, Ohad ; Moser, Georg ; et al.

Programming Languages
Report
Zu den Favoriten
7

Abstract Interpreters: A Monadic Approach to Modular Verification
Une approche monadique pour la vérification modulaire des interpréteurs abstraits
Michelland, Sébastien ; Zakowski, Yannick ; Gonnord, Laure ; et al.
Proceedings of the ACM on Programming Languages. :1-28

Abstract Interpretation Monadic Semantics Formal Verification Denotational semantics [INFO.INFO-PL]Computer S... Programming Languages [c... …
Zeitschrift
Zu den Favoriten
8

Pyrosome: Verified Compilation for Modular Metatheory
Jamner, Dustin ; Kammer, Gabriel ; Nag, Ritam ; et al.

Programming Languages
Report
Zu den Favoriten
9

Eliom: A Language for Modular Tierless Web Programming
Radanne, Gabriel ; Vouillon, Jérôme ; Balat, Vincent ; et al.

OCaml Web Formal language definiti... Functional languages Modules packages …
E-Ressource
Zu den Favoriten
10

A Modular Approach to Metatheoretic Reasoning for Extensible Languages
Michaelson, Dawn ; Nadathur, Gopalan ; Van Wyk, Eric

Computer Science - Progr... Computer Science - Logic...
Report
Zu den Favoriten
11

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)
Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine ; et al.
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023). :565-570

Paris, France Competition on software... SV-Comp abstract interpretation static analysis [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
12

Enhanced Data Race Prediction Through Modular Reasoning
Ang, Zhendong ; Farzan, Azadeh ; Mathur, Umang

Programming Languages Formal Languages and Aut... Logic in Computer Scienc... Software Engineering
Report
Zu den Favoriten
13

On the design and implementation of Modular Explicits
Vivien, Samuel ; Rémy, Didier ; Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM) ; et al.
OCaml Workshop @ ICFP 2024, Sep 2024, Milan, Italy

Milan, Italy OCaml Typing [INFO.INFO-PL]Computer S... Programming Languages [c...
Konferenz
Zu den Favoriten
15

Removing Qualified Names in Modular Languages
Kwon, Keehang ; Kang, Daeseong

Computer Science - Progr...
Report
Zu den Favoriten
16

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
Beyer, Dirk ; Jankola, Marek ; Lingsch-Rosenfeld, Marian ; et al.

Computer Science - Progr...
Report
Zu den Favoriten
17

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
Niketan, Nripesh ; Shrivastva, Vaatsalya

Programming Languages Computation and Language Graphics 68N20, 68N15, 68W10 D.3.4; D.3.2; D.1.3
Report
Zu den Favoriten
18

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
Li, Kwing Hei ; Aguirre, Alejandro ; Gregersen, Simon Oddershede ; et al.

Logic in Computer Scienc... Programming Languages
Report
Zu den Favoriten
19

Modular Compilation for Quantum Chiplet Architectures
Jeng, Mingyoung Jessica ; Maruszewski, Nikola Vuk ; Selna, Connor ; et al.

Quantum Physics Emerging Technologies Programming Languages
Report
Zu den Favoriten
20

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
Zhang, Naifeng ; Franchetti, Franz

Computer Science - Progr... Computer Science - Crypt...
Report
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter