LAGC Semantics of Concurrent Programming Languages

Autor: Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, Silvia Lizeth Tapia

Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular semantics designed to align smoot

Externí odkaz: http://arxiv.org/abs/2202.12195

Consistency-Preserving Evolution Planning on Feature Models

Autor: Hoff, Adrian, Nieke, Michael, Seidl, Christoph, Sæther, Eirik Halvard, Motzfeldt, Ida Sandberg, Din, Crystal Chang, Yu, Ingrid Chieh, Schaefer, Ina

Publikováno v: Hoff, Adrian Nieke, Michael Seidl, Christoph Sæther, Eirik Halvard Motzfeldt, Ida Sandberg Din, Crystal Chang Yu, Ingrid Chieh Schaefer, Ina . Consistency-Preserving Evolution Planning on Feature Models. SPLC'20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume A. 2020, 8:1-8:12 ACM Digital Library

Externí odkaz: http://hdl.handle.net/10852/81446
https://www.duo.uio.no/bitstream/handle/10852/81446/1/Hoff%2Bet%2Bal.%2B-%2B2020%2B-%2BConsistency-preserving%2Bevolution%2Bplanning%2Bon%2Bfeatu.pdf

Runtime Enforcement Using Knowledge Bases

Autor: Kamburjan, Eduard, Din, Crystal Chang

Externí odkaz: https://hdl.handle.net/11250/3145414

Observable behavior of distributed systems: Component reasoning for concurrent objects

Autor: Din, Crystal Chang, Dovland, Johan, Johnsen, Einar Broch, Owe, Olaf

Publikováno v: In Journal of Logic and Algebraic Programming April 2012 81(3):227-256

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking

Autor: Abusdal, Ole Jørgen, Din, Crystal Chang, Pun, Violet Ka I, Stolz, Volker

Externí odkaz: https://hdl.handle.net/11250/3054645