Assale Adje, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault & Sylvie Putot (2014):
Static Analysis of Programs with Imprecise Probabilistic Inputs.
In: Verified Software: Theories, Tools, Experiments,
Lecture Notes in Computer Science 8164.
Springer Berlin Heidelberg,
pp. 22–47,
doi:10.1007/978-3-642-54108-7_2.
Patrick Cousot & Radhia Cousot (2014):
Abstract Interpretation: Past, Present and Future.
In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
CSL-LICS '14.
ACM,
pp. 2:1–2:10,
doi:10.1145/2603088.2603165.
Patrick Cousot & Michaël Monerau (2012):
Probabilistic Abstract Interpretation.
In: 22nd European Symposium on Programming (ESOP 2012),
Lecture Notes in Computer Science 7211.
Springer-Verlag,
pp. 166–190,
doi:10.1007/978-3-642-28891-3_3.
Pierro A Di & H Wiklicky (2013):
Probabilistic data flow analysis: a linear equational approach.
In: Proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification,
pp. 150–165,
doi:10.4204/EPTCS.119.14.
Alessandra Di Pierro, Chris Hankin & Herbert Wiklicky (2007):
A Systematic Approach to Probabilistic Pointer Analysis.
In: Programming Languages and Systems,
Lecture Notes in Computer Science 4807.
Springer Berlin Heidelberg,
pp. 335–350,
doi:10.1007/978-3-540-76637-7_23.
Karl-Heinz Drechsler & Manfred P. Stadel (1993):
A Variation of Knoop, Rüthing, and Steffen's Lazy Code Motion.
SIGPLAN Not. 28(5),
pp. 29–38,
doi:10.1145/152819.152823.
D. Dubois & H. Prade (1980):
Fuzzy sets and systems - Theory and applications.
Academic press,
New York.
D. Dubois, H.M. Prade & H. Prade (2000):
Fundamentals of Fuzzy Sets.
The Handbooks of Fuzzy Sets.
Springer US,
doi:10.1007/978-1-4615-4429-6.
J.-S.R. Jang (1993):
ANFIS: adaptive-network-based fuzzy inference system.
Systems, Man and Cybernetics, IEEE Transactions on 23(3),
pp. 665–685,
doi:10.1109/21.256541.
Jyh-Shing Roger Jang & Chuen-Tsai Sun (1997):
Neuro-fuzzy and Soft Computing: A Computational Approach to Learning and Machine Intelligence.
Prentice-Hall, Inc.,
Upper Saddle River, NJ, USA.
Jens Knoop, Oliver Rüthing & Bernhard Steffen (1992):
Lazy Code Motion.
In: Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation,
PLDI '92.
ACM,
pp. 224–234,
doi:10.1145/143095.143136.
S. Maleki, Yaoqing Gao, M.J. Garzaran, T. Wong & D.A. Padua (2011):
An Evaluation of Vectorizing Compilers.
In: Parallel Architectures and Compilation Techniques (PACT), 2011 International Conference on,
pp. 372–382,
doi:10.1109/PACT.2011.68.
A. Mesiarová (2007):
k-lp-Lipschitz t-norms.
International Journal of Approximate Reasoning 46(3),
pp. 596 – 604,
doi:10.1016/j.ijar.2007.02.002.
Special Section: Aggregation Operators.
Markus Mock, Manuvir Das, Craig Chambers & Susan J. Eggers (2001):
Dynamic Points-to Sets: A Comparison with Static Analyses and Potential Applications in Program Understanding and Optimization.
In: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering,
PASTE '01.
ACM,
pp. 66–72,
doi:10.1145/379605.379671.
Flemming Nielson, Hanne R. Nielson & Chris Hankin (1999):
Principles of Program Analysis.
Springer-Verlag New York, Inc.,
doi:10.1007/978-3-662-03811-6.
P.M. Petersen & D.A. Padua (1996):
Static and dynamic evaluation of data dependence analysis techniques.
Parallel and Distributed Systems, IEEE Transactions on 7(11),
pp. 1121–1132,
doi:10.1109/71.544354.
G. Ramalingam (1996):
Data Flow Frequency Analysis.
In: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation,
PLDI '96.
ACM,
pp. 267–277,
doi:10.1145/231379.231433.
ConstantinoG. Ribeiro & Marcelo Cintra (2007):
Quantifying Uncertainty in Points-To Relations.
In: Languages and Compilers for Parallel Computing,
Lecture Notes in Computer Science 4382.
Springer Berlin Heidelberg,
pp. 190–204,
doi:10.1007/978-3-540-72521-3_15.
eptcs@eptcs.org