1,141 results on '"Leroy, Xavier"'
Search Results
302. Operational semantics of CompCert
303. Separation algebras
304. A little case study
305. Separation logic
306. Separation logic for CompCert
307. The CompCert memory model
308. Share accounting
309. Share models
310. Mechanized Verification of CPS Transformations
311. Applications
312. Juicy memories
313. First-order separation logic
314. Dependently typed C programs
315. Simplification by rewriting
316. Covariant recursive predicates
317. The VST separation logic for C light
318. Indirection theory
319. Modeling the Hoare judgment
320. Semantic model of CSL
321. Data structures in indirection theory
322. Derived rules and proof automation for C light
323. From separation algebras to separation logic
324. Proof of a program
325. Road map
326. Separation algebra for CompCert
327. CompCert
328. Applying higher-order separation logic
329. Efficient data representation in polymorphic languages
330. Compiler verification for fun and profit
331. Expression profiles of genes involved in xenobiotic metabolism and disposition in human renal tissues and renal cell models
332. A diagnosis of giant cell-rich tumour of bone is supported by p63 immunohistochemistry, when more than 50 % of cells is stained
333. Galectin fingerprinting in naso-sinusal diseases
334. The leiomyomatous stroma in renal cell carcinomas is polyclonal and not part of the neoplastic process
335. The role of MRI-targeted and confirmatory biopsies for cancer upstaging at selection in patients considered for active surveillance for clinically low-risk prostate cancer
336. Condylar Hyperplasia
337. MUC1 drives epithelial–mesenchymal transition in renal carcinoma through Wnt/β-catenin pathway and interaction with SNAIL promoter
338. Program Logics for Certified Compilers
339. Prognostic value of microRNA expression pattern in upper tract urothelial carcinoma
340. Cutaneous metastases during an aggressive course of Xp11.2 translocation renal cell carcinoma in a teenager
341. Clear cell papillary renal cell carcinoma is an indolent and low‐grade neoplasm with overexpression of cyclin‐D1
342. MUC1-C nuclear localization drives invasiveness of renal cancer cells through a sheddase/gamma secretase dependent pathway
343. Java bytecode verification: algorithms and formalizations
344. Typage polymorphe d'un langage algorithmique
345. A reduction semantics for call-by-value mixin modules
346. Dynamics in ML
347. Abstract types and the dot notation
348. Plant genomic instability detected by microsatellite-primers
349. Towards Formally Verified Optimizing Compilation in Flight Control Software
350. Combined analysis of HPV DNA, p16, p21 and p53 to predict prognosis in patients with stage IV hypopharyngeal carcinoma.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.