Search for persons
X
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
7
Relational compilation for performance-critical application..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
13