Informática
Facultad
Ben-Gurion University of the Negev
Beerseba, IsraelPublicaciones en colaboración con investigadores/as de Ben-Gurion University of the Negev (11)
2018
-
MoDeVVa 2018 15
th
workshop on model-driven engineering, verification and validation
CEUR Workshop Proceedings
2009
-
A declarative encoding of telecommunications feature subscription in SAT
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
2008
-
Termination analysis of Java Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Termination analysis of logic programs through combination of type-based norms
ACM Transactions on Programming Languages and Systems, Vol. 29, Núm. 2
2005
-
Inferring termination conditions for logic programs using backwards analysis
Theory and Practice of Logic Programming, Vol. 5, Núm. 1-2, pp. 75-91
2002
-
Combining norms to prove termination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reuse of results in termination analysis of typed logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
Higher-precision groundness analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Inferring termination conditions for logic programs using backwards analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The def-inite approach to dependency analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Worst-case groundness analysis using definite Boolean functions
Theory and Practice of Logic Programming, Vol. 1, Núm. 5, pp. 611-615