Follow
Amr Hany Saleh
Title
Cited by
Cited by
Year
Explicit effect subtyping
AH Saleh, G Karachalias, M Pretnar, T Schrijvers
European Symposium on Programming, 327-354, 2018
192018
Efficient compilation of algebraic effects and handlers
M Pretnar, AH Saleh, A Faes, T Schrijvers
CW reports, volume CW708, Department of Computer Science, KU Leuven, 2017
122017
Efficient algebraic effect handlers for Prolog
AH Saleh, T Schrijvers
Theory and Practice of Logic Programming 16 (5-6), 884-898, 2016
92016
CONDEnSe: contract based design synthesis
CAR dos Santos, AH Saleh, T Schrijvers, M Nicolai
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
62019
Explicit effect subtyping
G Karachalias, M Pretnar, AH Saleh, S Vanderhallen, T Schrijvers
Journal of Functional Programming 30, 2020
32020
Transforming Delimited Control: Achieving Faster Effect Handlers.
AH Saleh
ICLP (Technical Communications) 1433, 2015
32015
Constraint reasoning with local search for continuous optimization
AH Saleh
32014
Efficient Algebraic Effect Handlers
AH Saleh
KU Leuven, 2019
12019
Modeling dependent events with CHRiSM for probabilistic abduction
H Christiansen, AH Saleh
Eighth International Workshop, 48, 2011
12011
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts
CAR Santos, T Schrijvers, AH Saleh, M Nicolai
International Symposium on Formal Methods, 776-787, 2021
2021
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts
CA Ribeiro dos Santos, T Schrijvers, AH Saleh, M Nicolai
Springer LNCS, 2021
2021
Explicit Effect Subtyping (Extended Version)
AH Saleh, G Karachalias, M Pretnar, T Schrijvers
CW Reports, 2018
2018
RMAS ArtSapience RoboCup Soccer Simulation 2D Team Description
S Abdennadher, A Rashed, A Saleh, C Sabty, C Antoniou, M Abbas, ...
CONDEnSe: Contract-Based Design Synthesis
CA Santos, AH Saleh, T Schrijvers, M Nicolai
The system can't perform the operation now. Try again later.
Articles 1–14