Author:
Amato Gianluca,Scozzari Francesca
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Amato, G.: ieeeround: Functions to set and get the IEEE rounding mode (2011), R package version 0.2-0,
http://CRAN.R-project.org/package=ieeeround
2. Amato, G., Lipton, J., McGrail, R.: On the algebraic structure of declarative programming languages. Theoretical Computer Science 410(46), 4626–4671 (2009)
3. Lecture Notes in Computer Science;G. Amato,2010
4. Lecture Notes in Computer Science;G. Amato,2010
5. Amato, G., Parton, M., Scozzari, F.: Discovering invariants via simple component analysis. Journal of Symbolic Computation (to appear, 2012), doi:10.1016/j.jsc.2011.12.052
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. JGMP: Java bindings and wrappers for the GMP library;SoftwareX;2023-07
2. The ScalaFix Equation Solver;Formal Methods;2023
3. On the Need for a Common API for Abstract Domains of Object-Oriented Programs;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07
4. The role of linearity in sharing analysis;Mathematical Structures in Computer Science;2022-01
5. On collecting semantics for program analysis;Theoretical Computer Science;2020-07