Partial Evaluation for Java Malware Detection
From MaRDI portal
Publication:2949704
DOI10.1007/978-3-319-17822-6_8zbMath1353.68057OpenAlexW290621168MaRDI QIDQ2949704
Publication date: 2 October 2015
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://kar.kent.ac.uk/42104/6/main.pdf
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
This page was built for publication: Partial Evaluation for Java Malware Detection