Automatic recognition of induction variables and recurrence relations by abstract interpretation
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Domain description grammar: application of linguistic semantics
ACM SIGSOFT Software Engineering Notes
An exercise in denotational semantics
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Implementing denotational semantics with logic programming
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
CIKM '03 Proceedings of the twelfth international conference on Information and knowledge management
Hypercomputation by definition
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
A transformational language for mutant description
Computer Languages, Systems and Structures
Semantics of Multimodal Network Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A formal framework for database sampling
Information and Software Technology
Computing the behavior of malware
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Behavior computation for smart grid software analysis
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
| Hi-index | 0.00 |