E-LIB Suche - Ergebnisse für: KIAM TAN, YONG

1

The verified CakeML compiler backend:

KIAM TAN, YONG ; MYREEN, MAGNUS O. ; KUMAR, RAMANA...
Journal of Functional Programming. 29 (2019) - p. , 2019

Link: https://doi.org/10.1017/..

2

A First Complete Algorithm for Real Quantifier Elimination ..:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Kosaian, Katherine ; Tan, Yong Kiam ; Platzer, André - p. 211-224 , 2023

Link: https://dl.acm.org/doi/1..

3

Verified Propagation Redundancy and Compositional UNSAT Che..:

Tan, Yong Kiam ; Heule, Marijn J. H. ; Myreen, Magnus O.
International Journal on Software Tools for Technology Transfer. 25 (2023) 2 - p. 167-184 , 2023

Link: https://doi.org/10.1007/..

4

Verifying Switched System Stability With Logic:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,

Tan, Yong Kiam ; Mitsch, Stefan ; Platzer, André - p. 1-11 , 2022

Link: https://dl.acm.org/doi/1..

5

Implicit Definitions with Differential Equations for KeYmae..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Gallicchio, James ; Tan, Yong Kiam ; Mitsch, Stefan. - p. 723-733 , 2022

Link: https://doi.org/10.1007/..

6

Deductive Stability Proofs for Ordinary Differential Equati..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Tan, Yong Kiam ; Platzer, André - p. 181-199 , 2021

Link: https://doi.org/10.1007/..

7

An axiomatic approach to existence and liveness for differe..:

Tan, Yong Kiam ; Platzer, André
Formal Aspects of Computing. 33 (2021) 4-5 - p. 461-518 , 2021

Link: https://doi.org/10.1007/..

8

cake_lpr: Verified Propagation Redundancy Checking in CakeM:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Tan, Yong Kiam ; Heule, Marijn J. H. ; Myreen, Magnus O. - p. 223-241 , 2021

Link: https://doi.org/10.1007/..

9

Pegasus: sound continuous invariant generation:

Sogokon, Andrew ; Mitsch, Stefan ; Tan, Yong Kiam..
Formal Methods in System Design. 58 (2021) 1-2 - p. 5-41 , 2021

Link: https://doi.org/10.1007/..

10

Do you have space for dessert? a verified space cost semant..:

Gómez-Londoño, Alejandro ; Åman Pohjola, Johannes ; Syeda, Hira Taqdees..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

11

Proof-Producing Synthesis of CakeML from Monadic HOL Functi..:

Abrahamsson, Oskar ; Ho, Son ; Kanabar, Hrutvik...
Journal of Automated Reasoning. 64 (2020) 7 - p. 1287-1306 , 2020

Link: https://doi.org/10.1007/..

12

Differential Equation Invariance Axiomatization:

Platzer, André ; Tan, Yong Kiam
Journal of the ACM (JACM). 67 (2020) 1 - p. 1-66 , 2020

Link: https://dl.acm.org/doi/1..

13

The Poincaré-Bendixson theorem in Isabelle/HOL:

, In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Immler, Fabian ; Tan, Yong Kiam - p. 338-352 , 2020

Link: https://dl.acm.org/doi/1..

14

Do you have space for dessert? a verified space cost semant..:

Gómez-Londoño, Alejandro ; Åman Pohjola, Johannes ; Syeda, Hira Taqdees..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

15

Differential Equation Invariance Axiomatization:

Platzer, André ; Tan, Yong Kiam
Journal of the ACM. 67 (2020) 1 - p. 1-66 , 2020

Link: https://doi.org/10.1145/..