Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000212
Abstract: Abstract First-order resolution has been used for type inference for many years, including in Hindley-Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this paper, we… read more here.
Keywords: type inference; inference term; term synthesis; inference ... See more keywords
RepFTI: Representation-Fused Function-Type Inference for Vehicular Secure Software Systems
Sign Up to like & getrecommendations! Published in 2024 at "Applied Sciences"
DOI: 10.3390/app14114502
Abstract: To enhance the security of vehicular software systems, inversely identifying the underlying function types of binary files plays a key role in threat discovery. However, existing function-type inference (FTI) methods can only provide a suboptimal… read more here.
Keywords: type inference; function type; function; software ... See more keywords