Loading…
Loading…
Contextual Modal Type Theory with Polymorphic Contexts
Published in Programming Languages and Systems
(2023)
Get full text
Book Chapter
Loading…
An approach to support legacy systems reengineering to MDD using metaprogramming
Papotti, P. E., do Prado, A. F., de Souza, W. L.
Published in 2012 XXXVIII Conferencia Latinoamericana en Informatica (01.10.2012)
Published in 2012 XXXVIII Conferencia Latinoamericana en Informatica (01.10.2012)
Get full text
Conference Proceeding
Loading…
Typing constraint logic programs
FAGES, FRANÇOIS, COQUERY, EMMANUEL
Published in Theory and practice of logic programming (01.11.2001)
Published in Theory and practice of logic programming (01.11.2001)
Get full text
Journal Article
Loading…
shade.js: Adaptive Material Descriptions
Sons, Kristian, Klein, Felix, Sutter, Jan, Slusallek, Philipp
Published in Computer graphics forum (01.10.2014)
Published in Computer graphics forum (01.10.2014)
Get full text
Journal Article
Loading…
A type system for formal verification of cyber-physical systems C/C++ software
Manzhos, Yuriy, Sokolova, Yevheniia
Published in Radìoelektronnì ì komp'ûternì sistemi (Online) (28.02.2024)
Published in Radìoelektronnì ì komp'ûternì sistemi (Online) (28.02.2024)
Get full text
Journal Article
Loading…
Loading…
A Type Theory for Defining Logics and Proofs
Pientka, Brigitte, Thibodeau, David, Abel, Andreas, Ferreira, Francisco, Zucchini, Rebecca
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Loading…
Loading…
A Type Theory for Defining Logics and Proofs
Pientka, Brigitte, Thibodeau, David, Abel, Andreas, Ferreira, Francisco, Zucchini, Rebecca
Year of Publication 07.05.2019
Year of Publication 07.05.2019
Get full text
Journal Article
Loading…
Cocon: Computation in Contextual Type Theory
Pientka, Brigitte, Abel, Andreas, Ferreira, Francisco, Thibodeau, David, Zucchini, Rebecca
Year of Publication 10.01.2019
Year of Publication 10.01.2019
Get full text
Journal Article
Loading…
Loading…
Loading…
A Type Theory for Defining Logics and Proofs
Pientka, Brigitte, Thibodeau, David, Abel, Andreas, Ferreira, Francisco, Zucchini, Rebecca
Published in arXiv.org (07.05.2019)
Get full text
Published in arXiv.org (07.05.2019)
Paper
Loading…
Cocon: Computation in Contextual Type Theory
Pientka, Brigitte, Abel, Andreas, Ferreira, Francisco, Thibodeau, David, Zucchini, Rebecca
Published in arXiv.org (10.01.2019)
Get full text
Published in arXiv.org (10.01.2019)
Paper
Loading…
Loading…
Loading…
GRIT-an extended REFINE for more executable specifications
Bailes, P., Chapman, M., Gong, M., Peake, I.
Published in Proceedings of 8th Knowledge-Based Software Engineering Conference (1993)
Published in Proceedings of 8th Knowledge-Based Software Engineering Conference (1993)
Get full text
Conference Proceeding