المؤلفون: Yamaguchi, Masaomi, Matsuda, Kazutaka, David, Cristina, Wang, Meng

المصدر: 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. 198-247 . https://doi.org/10.1007/s10703-023-00436-9

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

Relation: https://research-information.bris.ac.uk/en/publications/b76f27b5-95ca-458a-9895-eaa3f7d82ed1

الاتاحة: https://hdl.handle.net/1983/b76f27b5-95ca-458a-9895-eaa3f7d82ed1
https://research-information.bris.ac.uk/en/publications/b76f27b5-95ca-458a-9895-eaa3f7d82ed1
https://doi.org/10.1007/s10703-023-00436-9

المؤلفون: Matsuda, Kazutaka, Wang, Meng

المصدر: Matsuda , K & Wang , M 2024 , ' Sparcl : A language for partially invertible computation ' , Journal of Functional Programming , vol. 34 , e2 . https://doi.org/10.1017/S0956796823000126

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

Relation: https://research-information.bris.ac.uk/en/publications/c4a4db34-b3ff-4b30-8200-3a1acfe331a6

الاتاحة: https://hdl.handle.net/1983/c4a4db34-b3ff-4b30-8200-3a1acfe331a6
https://research-information.bris.ac.uk/en/publications/c4a4db34-b3ff-4b30-8200-3a1acfe331a6
https://doi.org/10.1017/S0956796823000126

المؤلفون: Ramsay, Steven, Walpole, Charlie

المصدر: Ramsay , S & Walpole , C 2024 , ' Ill-Typed Programs Don't Evaluate ' , Proceedings of the ACM on Programming Languages , vol. 8 , no. POPL , 67 , pp. 2010–2040 . https://doi.org/10.1145/3632909

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, type systems, higher-order program verification, incorrectness

الاتاحة: https://hdl.handle.net/1983/ba5a793d-0f26-4979-b52e-587a315b5313
https://research-information.bris.ac.uk/en/publications/ba5a793d-0f26-4979-b52e-587a315b5313
https://doi.org/10.1145/3632909

المؤلفون: Kavvos, G. A.

المساهمون: Rehof, Jakob

المصدر: Kavvos , G A 2024 , Two-dimensional Kripke Semantics I : Presheaves . in J Rehof (ed.) , 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) . vol. 299 , 14 , Leibniz International Proceedings in Informatics, LIPIcs , vol. 299 , Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany , 9th International Conference on Formal Structures for Computation and Deduction , Talinn , Estonia , 10/07/24 . https://doi.org/10.4230/LIPIcs.FSCD.2024.14

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, logic, modal logic, category theory, duality, semantics, profunctors

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/dcd2d340-7059-4e6a-9219-21b975321756; urn:ISBN:9783959773232

الاتاحة: https://hdl.handle.net/1983/dcd2d340-7059-4e6a-9219-21b975321756
https://research-information.bris.ac.uk/en/publications/dcd2d340-7059-4e6a-9219-21b975321756
https://doi.org/10.4230/LIPIcs.FSCD.2024.14
https://research-information.bris.ac.uk/ws/files/398896718/2dks.pdf
https://fscd-conference.org/

المؤلفون: Nguyen, Minh H, Perera, Roly N T, Wang, Meng, Ramsay, Steven

المساهمون: McDonell, Trevor L., Vazou, Niki

المصدر: Nguyen , M H , Perera , R N T , Wang , M & Ramsay , S 2023 , Effect Handlers for Programmable Inference . in T L McDonell & N Vazou (eds) , Haskell 2023 : Proceedings of the 16th ACM SIGPLAN International Haskell Symposium . Proceedings of the ACM SIGPLAN . Haskell Symposium , Association for Computing Machinery (ACM) , pp. 44–58 , ACM SIGPLAN International Conference on Functional Programming , Milan , Italy , 8/09/23 . https://doi.org/10.1145/3609026.3609729

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

Relation: urn:ISBN:9798400702983

الاتاحة: https://hdl.handle.net/1983/7b45a4ef-7a13-4b5d-929f-466e6f76adae
https://research-information.bris.ac.uk/en/publications/7b45a4ef-7a13-4b5d-929f-466e6f76adae
https://doi.org/10.1145/3609026.3609729

المؤلفون: Sun, Ke, Chen, Sheng, Wang, Meng, Hao, Dan

المصدر: Sun , K , Chen , S , Wang , M & Hao , D 2023 , What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study . in Asian Symposium on Programming Languages and Systems . https://doi.org/10.1007/978-981-99-8311-7_2

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

Relation: https://research-information.bris.ac.uk/en/publications/6ac6850b-5529-4c6b-ab22-356b5ba875ac

الاتاحة: https://hdl.handle.net/1983/6ac6850b-5529-4c6b-ab22-356b5ba875ac
https://research-information.bris.ac.uk/en/publications/6ac6850b-5529-4c6b-ab22-356b5ba875ac
https://doi.org/10.1007/978-981-99-8311-7_2

المؤلفون: Zhang, Hanliang, Tang, Wenhao, Xie, Ruifeng, Wang, Meng, Hu, Zhenjiang

المصدر: Zhang , H , Tang , W , Xie , R , Wang , M & Hu , Z 2023 , ' Contract lenses: Reasoning about bidirectional programs via calculation ' , Journal of Functional Programming . https://doi.org/10.1017/S0956796823000059

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

Relation: https://research-information.bris.ac.uk/en/publications/a9f6a23a-1592-42e3-8264-4add59b8c46b

الاتاحة: https://hdl.handle.net/1983/a9f6a23a-1592-42e3-8264-4add59b8c46b
https://research-information.bris.ac.uk/en/publications/a9f6a23a-1592-42e3-8264-4add59b8c46b
https://doi.org/10.1017/S0956796823000059

المؤلفون: Goldstein, Harrison, Frohlich, Samantha, Wang, Meng, Pierce, Benjamin

المصدر: Goldstein , H , Frohlich , S , Wang , M & Pierce , B 2023 , ' Reflecting on Random Generation ' , Proceedings of the ACM on Programming Languages , vol. 7 , no. ICFP , 200 , pp. 322–355 . https://doi.org/10.1145/3607842

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

الاتاحة: https://hdl.handle.net/1983/f6739da0-6798-4e43-a8df-87df7c731e59
https://research-information.bris.ac.uk/en/publications/f6739da0-6798-4e43-a8df-87df7c731e59
https://doi.org/10.1145/3607842

المؤلفون: Gratzer, Daniel, Cavallo, Evan, Kavvos, G. A., Guatto, Adrien, Birkedal, Lars

المصدر: Gratzer , D , Cavallo , E , Kavvos , G A , Guatto , A & Birkedal , L 2022 , ' Modalities and Parametric Adjoints ' , ACM Transactions on Computational Logic , vol. 23 , no. 3 , 18 , pp. 1-29 . https://doi.org/10.1145/3514241

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, modal logic, category theory, type theory

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/ea431b5e-5842-4714-ae0c-801d55ad2aa9

الاتاحة: https://hdl.handle.net/1983/ea431b5e-5842-4714-ae0c-801d55ad2aa9
https://research-information.bris.ac.uk/en/publications/ea431b5e-5842-4714-ae0c-801d55ad2aa9
https://doi.org/10.1145/3514241
https://research-information.bris.ac.uk/ws/files/325703515/pra_tocl2022.pdf

المؤلفون: Jones, Eddie C, Ong, Luke, Ramsay, Steven

المساهمون: Jhala, Ranjit, Dillig, Isil

المصدر: 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 Conference on Programming Language Design and Implementation . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , Association for Computing Machinery (ACM) , pp. 395-409 , The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation , San Diego, California , United States , 13/06/22 . https://doi.org/10.1145/3519939.3523731

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, Theory of computation, Equational logic and rewriting, Logic and verification

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/427ccfbc-5dc6-4de6-9e47-4c1ba2dac2ab; urn:ISBN:9781450392655

الاتاحة: https://hdl.handle.net/1983/427ccfbc-5dc6-4de6-9e47-4c1ba2dac2ab
https://research-information.bris.ac.uk/en/publications/427ccfbc-5dc6-4de6-9e47-4c1ba2dac2ab
https://doi.org/10.1145/3519939.3523731
https://research-information.bris.ac.uk/ws/files/317936185/main.pdf

المؤلفون: Chen, Zhichao, Chen, Junjie, Wang, Weijing, Zhou, Jianyi, Wang, Meng, Chen, Xiang, Zhou, Shan, Wang, Jianmin

المصدر: Chen , Z , Chen , J , Wang , W , Zhou , J , Wang , M , Chen , X , Zhou , S & Wang , J 2022 , ' Exploring Better Black-Box Test Case Prioritization via Log Analysis ' , ACM Transactions on Software Engineering and Methodology , vol. 37 , no. 4 . https://doi.org/10.1145/3569932

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/8eb94dd9-56b6-4b2d-8d3b-76e5dbb3e6aa

الاتاحة: https://hdl.handle.net/1983/8eb94dd9-56b6-4b2d-8d3b-76e5dbb3e6aa
https://research-information.bris.ac.uk/en/publications/8eb94dd9-56b6-4b2d-8d3b-76e5dbb3e6aa
https://doi.org/10.1145/3569932
https://research-information.bris.ac.uk/ws/files/340733583/TOSEM22.pdf

المؤلفون: Nguyen, Minh H, Perera, Roly N T, Wang, Meng, Wu, Nicolas

المصدر: Nguyen , M H , Perera , R N T , Wang , M & Wu , N 2022 , ' Modular Probabilistic Models via Algebraic Effects ' , Proceedings of the ACM on Programming Languages , vol. 6 , no. ICFP , 104 , pp. 381-410 . https://doi.org/10.1145/3547635

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

وصف الملف: application/pdf

الاتاحة: https://hdl.handle.net/1983/216dda92-8d2b-4e6e-b9da-ad10967c8a80
https://research-information.bris.ac.uk/en/publications/216dda92-8d2b-4e6e-b9da-ad10967c8a80
https://doi.org/10.1145/3547635
https://research-information.bris.ac.uk/ws/files/339557853/Full_text_PDF_final_published_version_.pdf

المؤلفون: Nguyen, Minh H, Perera, Roly N T, Wang, Meng, Wu, Nicolas

المصدر: Nguyen , M H , Perera , R N T , Wang , M & Wu , N 2022 , ' Modular Probabilistic Models via Algebraic Effects ' , Proceedings of the ACM on Programming Languages , vol. 6 , no. ICFP , 104 , pp. 381-410 . https://doi.org/10.1145/3547635

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/fc720e98-839c-4ee2-bbfc-79f512364914

الاتاحة: https://hdl.handle.net/1983/fc720e98-839c-4ee2-bbfc-79f512364914
https://research-information.bris.ac.uk/en/publications/fc720e98-839c-4ee2-bbfc-79f512364914
https://doi.org/10.1145/3547635
https://research-information.bris.ac.uk/ws/files/383383718/Full_text_PDF_final_published_version_.pdf

المؤلفون: Perera, Roly N T, Nguyen, Minh H, Petricek, Tomas, Wang, Meng

المصدر: Perera , R N T , Nguyen , M H , Petricek , T & Wang , M 2022 , ' Linked visualisations via Galois dependencies ' , Proceedings of the ACM on Programming Languages , vol. 6 , no. POPL , 7 , pp. 1-29 . https://doi.org/10.1145/3498668

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, Galois connections, data provenance

وصف الملف: application/pdf

الاتاحة: https://hdl.handle.net/1983/e383d46e-2805-4c6c-8ee1-26feb07ff6ff
https://research-information.bris.ac.uk/en/publications/e383d46e-2805-4c6c-8ee1-26feb07ff6ff
https://doi.org/10.1145/3498668
https://research-information.bris.ac.uk/ws/files/312876622/3498668.pdf

المؤلفون: Kavvos, G. A., Gratzer, Daniel, Nuyts, Andreas, Birkedal, Lars

المصدر: Kavvos , G A , Gratzer , D , Nuyts , A & Birkedal , L 2021 , ' Multimodal Dependent Type Theory ' , Logical Methods in Computer Science (LMCS) , vol. 17 , no. 3 , pp. 11:1-11:67 . https://doi.org/10.46298/lmcs-17(3:11)2021

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, modality, modal types, type theory, category theory, proof assistant, modal logic

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/96782a92-5a78-4625-b5b6-9f2a171a9e50

الاتاحة: https://hdl.handle.net/1983/96782a92-5a78-4625-b5b6-9f2a171a9e50
https://research-information.bris.ac.uk/en/publications/96782a92-5a78-4625-b5b6-9f2a171a9e50
https://doi.org/10.46298/lmcs-17(3:11)2021
https://research-information.bris.ac.uk/ws/files/283422581/2011.15021.pdf
https://lmcs.episciences.org/7713

المؤلفون: Kavvos, G. A.

المصدر: Kavvos , G A 2021 , ' Intensionality, Intensional Recursion, and the Gödel–Löb Axiom ' , IfCoLoG Journal of Logics and their Applications , vol. 8 , no. 8 , pp. 2287-2312 . < http://collegepublications.co.uk/ifcolog/ >

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/6a9e73f9-e55f-4b0c-925b-0a9099e30214

الاتاحة: https://hdl.handle.net/1983/6a9e73f9-e55f-4b0c-925b-0a9099e30214
https://research-information.bris.ac.uk/en/publications/6a9e73f9-e55f-4b0c-925b-0a9099e30214
https://research-information.bris.ac.uk/ws/files/306434995/ipcf.pdf
http://collegepublications.co.uk/ifcolog/

المؤلفون: Matsuda, Kazutaka, Wang, Meng

المصدر: Matsuda , K & Wang , M 2020 , Sparcl : A Language for Partially-Invertible Computation . in Proceedings of the ACM on Programming Languages . vol. 4 , 118 , 2475-1421 , New York , pp. 1-31 , The 25th ACM SIGPLAN International Conference on Functional Programming , 23/08/20 . https://doi.org/10.1145/3409000

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, domain-specific languages, reversible computation, linear type system

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/3745a521-d764-49bf-99eb-86fcef3f6638

الاتاحة: https://hdl.handle.net/1983/3745a521-d764-49bf-99eb-86fcef3f6638
https://research-information.bris.ac.uk/en/publications/3745a521-d764-49bf-99eb-86fcef3f6638
https://doi.org/10.1145/3409000
https://research-information.bris.ac.uk/ws/files/244902875/ICFP20.pdf

المؤلفون: Gratzer, Daniel, Kavvos, G. A., Nuyts, Andreas, Birkedal, Lars

المصدر: Gratzer , D , Kavvos , G A , Nuyts , A & Birkedal , L 2020 , Multimodal Dependent Type Theory . in LICS '20 : Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . Association for Computing Machinery (ACM) , New York, NY, USA , pp. 492-506 , Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) , Saarbrücken , Saarland , Germany , 8/07/20 . https://doi.org/10.1145/3373718.3394736

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, modal types, dependent types, type theory, modal type theory, guarded recursion, categorical semantics

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/29c5d4fc-9819-46d8-b832-bb4cbf6398ee; urn:ISBN:9781450371049

الاتاحة: https://hdl.handle.net/1983/29c5d4fc-9819-46d8-b832-bb4cbf6398ee
https://research-information.bris.ac.uk/en/publications/29c5d4fc-9819-46d8-b832-bb4cbf6398ee
https://doi.org/10.1145/3373718.3394736
https://research-information.bris.ac.uk/ws/files/243121195/Gratzer_MTT_2020_pub.pdf
https://jozefg.github.io/papers/type-theory-a-la-mode.pdf

المؤلفون: Zhang, Jie, Wang, Meng, al., et

المصدر: Zhang , J , Wang , M & al. , E 2019 , ' A Study of Bug Resolution Characteristics in Popular Programming Languages ' , IEEE Transactions on Software Engineering , vol. 0 , no. 0 , pp. 1 - 1 . https://doi.org/10.1109/TSE.2019.2961897

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, programming language, bug resolution, empirical study

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/34ad081b-1465-44df-9858-34e4788c88bb

الاتاحة: https://hdl.handle.net/1983/34ad081b-1465-44df-9858-34e4788c88bb
https://research-information.bris.ac.uk/en/publications/34ad081b-1465-44df-9858-34e4788c88bb
https://doi.org/10.1109/TSE.2019.2961897
https://research-information.bris.ac.uk/ws/files/219704155/TSE19_Zhang.pdf

المؤلفون: Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

المصدر: Abate , A , Bessa , I , Cordeiro , L , David , C , Kesseli , P , Kroening , D & Polgreen , E 2019 , ' Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants ' , Acta Informatica , vol. 57 (2020) , pp. 223–244 . https://doi.org/10.1007/s00236-019-00359-1

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, Formal Verification, Safety requirements, Dynamical models, Digital control synthesis, Analog/Digital conversion, Quantization errors

وصف الملف: application/pdf

الاتاحة: https://hdl.handle.net/1983/3eb0cfed-0325-43bb-a6a9-a1909abb2e4d
https://research-information.bris.ac.uk/en/publications/3eb0cfed-0325-43bb-a6a9-a1909abb2e4d
https://doi.org/10.1007/s00236-019-00359-1
https://research-information.bris.ac.uk/ws/files/224999604/Abate2020_Article_AutomatedFormalSynthesisOfProv.pdf