Bertrand Meyer

MaRDI QIDQ846107zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Certificates and Separation Logic Trustworthy Global Computing	2016-11-09	Paper
An automatic technique for static deadlock prevention Lecture Notes in Computer Science	2015-12-03	Paper
Freefinement Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
Loop invariants: analysis, classification, and examples ACM Computing Surveys	2015-03-02	Paper
Avoid a void: The eradication of null dereferencing Reflections on the Work of C.A.R. Hoare	2010-10-26	Paper
Inferring Loop Invariants Using Postconditions Fields of Logic and Computation	2010-09-03	Paper
Contracts for concurrency Formal Aspects of Computing	2010-02-01	Paper
scientific article; zbMATH DE number 2013592 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 1951186 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1105469 (Why is no real title available?)	1998-01-18	Paper
scientific article; zbMATH DE number 49427 (Why is no real title available?)	1993-01-23	Paper
scientific article; zbMATH DE number 108549 (Why is no real title available?)	1993-01-23	Paper
Showing programs on a screen Science of Computer Programming	1985-01-01	Paper
scientific article; zbMATH DE number 3819048 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3692621 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3633667 (Why is no real title available?)	1978-01-01	Paper
A note on computing multiple sums Software: Practice and Experience	1978-01-01	Paper

Research outcomes over time

This page was built for person: Bertrand Meyer