نتائج البحث

A Study of Bug Resolution Characteristics in Popular Programming Languages

• Authors : Zhang, Jie; Wang, Meng; al., et

Subjects: /dk/atira/pure/core/keywords/programming_languages; name=Programming Languages; programming language

• Source: Zhang , J , Wang , M & al. , E 2019 , ' A Study of Bug Resolution Characteristics in Popular Programming Languages ' , IEEE Transactions on Software Engineering , vol. 0

تفاصيل العنوان

CycleQ:An Efficient Basis for Cyclic Equational Reasoning

• Authors : Jones, Eddie C; Ong, Luke; Ramsay, Steven ...

Subjects: /dk/atira/pure/core/keywords/programming_languages; name=Programming Languages; Theory of computation

• Source: Jones , E C , Ong , L & Ramsay , S 2022 , CycleQ : An Efficient Basis for Cyclic Equational Reasoning . in R Jhala & I Dillig (eds) , PLDI 2022 : Proceedings of the 43rd ACM SIGPLAN International

تفاصيل العنوان

Comparing Julia to Performance Portable Parallel Programming Models for HPC

• Authors : Lin, Tom; McIntosh-Smith, Simon N

Subjects: Julia; OpenCL; Kokkos

• Source: Lin , T & McIntosh-Smith , S N 2021 , Comparing Julia to Performance Portable Parallel Programming Models for HPC . in 2021 International Workshop on Performance

تفاصيل العنوان

SYNBIT:synthesizing bidirectional programs using unidirectional sketches

• Authors : Yamaguchi, Masaomi; Matsuda, Kazutaka; David, Cristina

Subjects: /dk/atira/pure/core/keywords/programming_languages; name=Programming Languages

• Source: Yamaguchi , M , Matsuda , K , David , C & Wang , M 2024 , ' SYNBIT : synthesizing bidirectional programs using unidirectional sketches ' , Formal Methods in System Design , vol. 61 , no. 2-3 , pp.

تفاصيل العنوان

Releasing synthetic data from the Avon Longitudinal Study of Parents and Children (ALSPAC): Guidelines and applied examples

• Authors : Major-Smith, Daniel; Kwong, Alex Siu Fung; Timpson, Nicholas John

Subjects: /dk/atira/pure/core/keywords/alspac; name=ALSPAC

• Source: Major-Smith , D , Kwong , A S F , Timpson , N J , Heron , J E & Northstone , K 2024 , ' Releasing synthetic data from the Avon Longitudinal Study of Parents and Children (ALSPAC): Guidelines and

تفاصيل العنوان

HOBiT:Programming Lenses without using Lens Combinators

• Authors : Matsuda, Kazutaka; Wang, Meng

Subjects: /dk/atira/pure/core/keywords/programming_languages; name=Programming Languages

• Source: Matsuda , K & Wang , M 2018 , HOBiT : Programming Lenses without using Lens Combinators . in Programming Languages and Systems : 27th

تفاصيل العنوان

μ-DSU:A Micro-Language Based Approach to Dynamic Software Updating

• Authors : Cazzola, Walter; Chitchyan, Ruzanna; Rashid, Awais

• Source: Cazzola , W , Chitchyan , R , Rashid , A & Shaqiri , A 2018 , ' μ-DSU : A Micro-Language Based Approach to Dynamic Software Updating ' , Computer Languages, Systems and

تفاصيل العنوان

Universal differential equations for glacier ice flow modelling

• Authors : Bolibar, Jordi; Sapienza, Facundo; Maussion, Fabien

• Source: Bolibar , J , Sapienza , F , Maussion , F , Lguensat , R , Wouters , B & Pérez , F 2023 , ' Universal differential equations for glacier ice flow modelling ' , Geoscientific Model Development , vol.

تفاصيل العنوان

Ownership guided C to Rust translation

• Authors : Zhang, Hanliang; David, Cristina; Yu, Yijun ...

Subjects: /dk/atira/pure/core/keywords/programming_languages; Programming Languages

• Source: Zhang , H , David , C , Yu , Y & Wang , M 2023 , Ownership guided C to Rust translation . in C Enea & A Lal (eds) , Proceedings of the International Conference on Computer Aided Verification . vol.

تفاصيل العنوان

HERMES - A GUI-based software tool for pre-processing of X-ray absorption spectroscopy data from laboratory Rowland circle spectrometers

• Authors : Seddon-Ferretti, Marco E.; Mottram, Lucy M.; Stennett, Martin C.

Subjects: data processing; laboratory spectrometer; XAFS

• Source: Seddon-Ferretti , M E , Mottram , L M , Stennett , M C , Corkhill , C L & Hyatt , N C 2022 , ' HERMES - A GUI-based software tool for pre-processing of X-ray absorption spectroscopy data from

تفاصيل العنوان