Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Contextual Modal Type Theory with Polymorphic Contexts
Published in Lecture notes in computer science
(2023)
Get full text
Book Chapter
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
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
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
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
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
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
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
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
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
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