Home
Catalogue search
Refine your search:
Keyword:
ACM: F.: Theory of Computation / F.3: LOGICS AND MEANINGS OF PROGRAMS / F.3.1: Specifying and Verifying and Reasoning about Programs / F.3.1.0: Assertions (1)
ACM: F.: Theory of Computation / F.3: LOGICS AND MEANINGS OF PROGRAMS / F.3.1: Specifying and Verifying and Reasoning about Programs / F.3.1.3: Mechanical verification (1)
ACM: F.: Theory of Computation / F.3: LOGICS AND MEANINGS OF PROGRAMS / F.3.2: Semantics of Programming Languages / F.3.2.5: Program analysis (1)
Static Analysis Abstract Interpretation Formal Verification Type Theory Coq (1)
[INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (1)
Creator / Publisher:
ANR-05-SSIA-0019,CompCert,Certification formelle de compilateurs optimisants pour logiciel embarqué critique(2005) (1)
Ana Bove and Jorge Sousa Pinto (1)
Bertot, Yves (1)
Inria Sophia Antipolis - Méditerranée (CRISAM) (1)
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (1)
Mathematical, Reasoning and Software (MARELLE) (1)
Year:
2008 (1)
Medium:
Online (1)
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 1 of 1
1
Structural abstract interpretation, A formal study using Coq
Bertot, Yves
In: LERNET Summer School ; https://hal.inria.fr/inria-00329572 ; LERNET Summer School, Ana Bove and Jorge Sousa Pinto, Feb 2008, Piriapolis, Uruguay (2008)
BASE
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
1
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern