• Suche: Modular programming languages

Treffer 21 - 40 von 18.171

21

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
22

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
23

Language Boxes: Bending the Host Language with Modular Language Changes.
Renggli, Lukas ; Denker, Marcus ; Nierstrasz, Oscar ; et al.
Software Language Engineering: Second International Conference. :274-293

Denver, United States [INFO.INFO-PL]Computer S... Programming Languages [c...
Konferenz
Zu den Favoriten
24

Modular Compilation of a Synchronous Language
Ressouche, Annie ; Gaffé, Daniel ; Roy, Valérie ; et al.
Roger Lee. Software Engineering Research. :151-171

causality compilation modularity synchronous languages ACM: D.: Software D.3: PROGRAMMING LANGUAG... …
Buch
Zu den Favoriten
25

Modular, compositional, and executable formal semantics for LLVM IR
Zakowski, Yannick ; Beck, Calvin ; Yoon, Irene ; et al.
Proceedings of the ACM on Programming Languages. :1-30

Software and its enginee... Semantics Compilers Theory of computation Program verification Denotational semantics …
Zeitschrift
Zu den Favoriten
26

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Din, Crystal, Chang ; Hähnle, Reiner ; Henrio, Ludovic ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 46(1):1-58

• Software and its engin... Program semantics Programming logic Theory of computation →... CCS Concepts CCS Concepts: Theory of... …
Zeitschrift
Zu den Favoriten
27

Modular language product lines: concept, tool and analysis.
de Lara, Juan ; Guerra, Esther ; Bottoni, Paolo
Software & Systems Modeling. Aug2025, Vol. 24 Issue 4, p981-1010. 30p.

MODELING languages (Comp... SOFTWARE development too... MODEL-driven software ar... PROGRAMMING languages
Fachzeitschrift
Zu den Favoriten
28

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
Bruzzone, Federico ; Cazzola, Walter ; Favalli, Luca

Software Engineering Programming Languages D.2.6; D.3.3; D.2.3; D.2...
Report
Zu den Favoriten
29

From Weberian Rationalization to JavaScript Components: Modularism in Academic Library Software.
Eaton, Mark E.
Information Technology & Libraries. Sep2025, Vol. 44 Issue 3, p1-12. 12p.

Medical libraries Academic libraries Computer systems Programming languages Information storage & re... User interfaces …
Fachzeitschrift
Zu den Favoriten
30

CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules
Le, Hung ; Chen, Hailin ; Saha, Amrita ; et al.

Computer Science - Artif... Computer Science - Compu... Computer Science - Progr...
Report
Zu den Favoriten
31

Modular coinduction up-to for higher-order languages via first-order transition systems
Madiot, Jean-Marie ; Pous, Damien ; Sangiorgi, Davide
Logical Methods in Computer Science, Volume 17, Issue 3 (September 17, 2021) lmcs:6046

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

Compilation of Modular and General Sparse Workspaces
Zhang, Genghan ; Hsu, Olivia ; Kjolstad, Fredrik

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

MODULAR PROGRAMMING LANGUAGES
JOINT MODULAR LANGUAGES CONFERENCE (7TH: 2006:OXFORD, U.K.) ; DAVID E. LIGHTFOOT, Editor

E-Book
Zu den Favoriten
34

A Behavior Tree-inspired programming language for autonomous agents
Biggar, Oliver ; Shames, Iman

Computer Science - Progr... Computer Science - Artif... Computer Science - Robot... Computer Science - Softw...
Report
Zu den Favoriten
35

MODULAR PROGRAMMING LANGUAGES: JOINT MODULAR LANGUAGES CONFERENCE, JMLC2000
JOINT MODULAR LANGUAGES CONFERENCE (2000: ZURICH,SWITZERLAND) ; JURG GUTKNECHT, Editor

E-Book
Zu den Favoriten
36

A Modular Formalization of Reversibility for Concurrent Models and Languages
Bernadet, Alexis ; Lanese, Ivan ; Foundations of Component-based Ubiquitous Systems (FOCUS) ; et al.
ICE 2016, Jun 2016, Heraklion, Greece

Heraklion, Greece [INFO.INFO-PL]Computer S... Programming Languages [c... [INFO.INFO-FL]Computer S... Formal Languages and Aut...
Konferenz
Zu den Favoriten
37

Modular Denotational Semantics for Effects with Guarded Interaction Trees
Frumin, Dan ; Timany, Amin ; Birkedal, Lars

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

Modular termination verification with a higher-order concurrent separation logic (Intermediate report)
Fasse, Justus ; Jacobs, Bart

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

Arbogast: Higher order automatic differentiation for special functions with Modular C
Arbogast : DA d’ordre élevé avec Modular C pour des fonctions spéciales
Charpentier, Isabelle ; Gustedt, Jens ; Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube) ; et al.
Optimization Methods and Software. 33(4-6):963-987

contextualization modular programming functions of mathematica... differential operators automatic differentiatio... C …
Zeitschrift
Zu den Favoriten
40

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter