Boyland, Peter
26  Ergebnisse:
Personensuche X
?
1

Aliasing Limits on Translating C to Safe Rust:

Emre, Mehmet ; Boyland, Peter ; Parekh, Aesha...
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA1 - p. 551-579 , 2023
 
?
2

Sinusoidal-like tracing in fetus with rhesus-hemolytic anem..:

Boyland, Peter
American Journal of Obstetrics and Gynecology.  145 (1983)  7 - p. 892-893 , 1983
 
?
 
?
11

Constraint Semantics for Abstract Read Permissions:

, In: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
 
1-15