-
1
-
-
0346205107
-
Unification theory
-
A. Robinson and A. Voronkov, editors, chapter 8, Elsevier Science
-
F. Baader and W. Snyder. Unification Theory. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume I, chapter 8, pages 447-533. Elsevier Science, 2001.
-
(2001)
Handbook of Automated Reasoning
, vol.1
, pp. 447-533
-
-
Baader, F.1
Snyder, W.2
-
2
-
-
35148881189
-
Handling polymorphism in automated deduction
-
Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings
-
J.-F. Couchot and S. Lescuyer. Handling polymorphism in automated deduction. In 21th International Conference on Automated Deduction (CADE-21), volume 4603 of LNCS (LNAI), pages 263-278, Bremen, Germany, July 2007. (Pubitemid 47545115)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4603
, pp. 263-278
-
-
Couchot, J.-F.1
Lescuyer, S.2
-
3
-
-
35048862900
-
Multi-prover verification of C programs
-
J.-C. Filliâtre and C. Marché. Multi-prover verification of C programs. In J. Davies, W. Schulte, and M. Barnett, editors, 6th International Conference on Formal Engineering Methods, volume 3308 of Lecture Notes in Computer Science, pages 15-29, Seattle, WA, USA, Nov. 2004. Springer. (Pubitemid 39750922)
-
(2004)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.3308
, pp. 15-29
-
-
Filliatre, J.-C.1
Marche, C.2
-
4
-
-
33845215878
-
Splitting on demand in SAT Modulo theories
-
Logic for Programming, Artificial Intelligence, and Reasoning - 13th International Conference, LPAR 2006, Proceedings
-
J.-C. Filliâtre and C. Marché. Multi-prover verification of C programs. In J. Davies, W. Schulte, and M. Barnett, editors, 6th International Conference on Formal Engineering Methods, volume 3308 of Lecture Notes in Computer Science, pages 15-29, Seattle, WA, USA, Nov. 2004. Springer. (Pubitemid 44850698)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4246
, pp. 512-526
-
-
Barrett, C.1
Nieuwenhuis, R.2
Oliveras, A.3
Tinelli, C.4
-
5
-
-
36049022245
-
The why/krakatoa/caduceus platform for deductive program verification
-
W. Damm and H. Hermanns, editors, volume 4590 of Lecture Notes in Computer Science, Berlin, Germany, July, Springer
-
J.-C. Filliâtre and C. Marché. The Why/Krakatoa/Caduceus platform for deductive program verification. In W. Damm and H. Hermanns, editors, 19th International Conference on Computer Aided Verification, volume 4590 of Lecture Notes in Computer Science, pages 173-177, Berlin, Germany, July 2007. Springer.
-
(2007)
19th International Conference on Computer Aided Verification
, pp. 173-177
-
-
Filliâtre, J.-C.1
Marché, C.2
-
6
-
-
38149060797
-
Separation analysis for deductive verification
-
Braga, Portugal, Mar.
-
T. Hubert and C. Marché. Separation analysis for deductive verification. In Heap Analysis and Verification (HAV'07), pages 81-93, Braga, Portugal, Mar. 2007. http://www.lri.fr/~marche/hubert07hav.pdf.
-
(2007)
Heap Analysis and Verification (HAV'07)
, pp. 81-93
-
-
Hubert, T.1
Marché, C.2
-
8
-
-
67650703910
-
Class-local object invariants
-
New York, NY, USA, ACM
-
K. R. M. Leino and A. Wallenburg. Class-local object invariants. In ISEC '08: Proceedings of the 1st conference on India software engineering conference, pages 57-66, New York, NY, USA, 2008. ACM.
-
(2008)
ISEC ' 08: Proceedings of the 1st Conference on India Software Engineering Conference
, pp. 57-66
-
-
Leino, K.R.M.1
Wallenburg, A.2
-
9
-
-
0018105622
-
A theory of type polymorphismn programming
-
R. Milner. A theory of type polymorphismn programming. J. Comput. Syst. Sci., 17, 1978.
-
(1978)
J. Comput. Syst. Sci.
, pp. 17
-
-
Milner, R.1
-
12
-
-
33846519994
-
Types, bytes, and separation logic
-
M. Hofmann and M. Felleisen, editors, Nice, France, Jan.
-
H. Tuch, G. Klein, and M. Norrish. Types, bytes, and separation logic. In M. Hofmann and M. Felleisen, editors, Proc. 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'07), pages 97-108, Nice, France, Jan. 2007.
-
(2007)
Proc. 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'07)
, pp. 97-108
-
-
Tuch, H.1
Klein, G.2
Norrish, M.3
|