Encoding Monomorphic and Polymorphic Types-Reference-Cited by-同舟云学术

Encoding Monomorphic and Polymorphic Types

Published:2013 Issue: Volume: Page:493-507
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Blanchette Jasmin Christian,Böhme Sascha,Popescu Andrei,Smallbone Nicholas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-36742-7_34

Reference18 articles.

1. Blanchette, J.C., Böhme, S., Popescu, A., Smallbone, N.: Empirical data associated with this paper (2012), http://www21.in.tum.de/~blanchet/enc_types_data.tar.gz

2. Blanchette, J.C., Böhme, S., Popescu, A., Smallbone, N.: Encoding monomorphic and polymorphic types. Tech. report (2012), http://www21.in.tum.de/~blanchet/enc_types_report.pdf

3. Blanchette, J.C., Paskevich, A.: TFF1: The TPTP typed first-order form with rank-1 polymorphism. Tech. report (2012), http://www21.in.tum.de/~blanchet/tff1spec.pdf

4. Blanchette, J.C., Popescu, A.: Formal development associated with this paper (2012), http://www21.in.tum.de/~popescua/enc_types_devel.zip

5. Bobot, F., Conchon, S., Contejean, E., Lescuyer, S.: Implementing polymorphism in SMT solvers. In: Barrett, C., de Moura, L. (eds.) SMT 2008 (2008)

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Polymorphic Vampire;Automated Reasoning;2020

2. Correct composition in the presence of behavioural conflicts and dephasing;Science of Computer Programming;2020-01

3. A Formalized General Theory of Syntax with Bindings: Extended Version;Journal of Automated Reasoning;2019-04-16

4. GRUNGE: A Grand Unified ATP Challenge;Lecture Notes in Computer Science;2019

5. Exploration of language specifications by compilation to first-order logic;Science of Computer Programming;2018-04