Bertrand Meyer
- Right and wrong: ten choices in language design
2022/11/29 by Bertrand Meyer, Meyer, Bertrand · 4 voices
Computer Science · #Natural Language Processing Techniques #cs.PL
- Applying 'design by contract'
1992/10/01 by Bertrand Meyer, B. Meyer · 42 citations
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Advanced Software Engineering Methodologies
- Fourteen Years of Software Engineering at ETH Zurich
2017/12/14 by Bertrand Meyer, Meyer, Bertrand · 2 voices
Computer Science · Decision Sciences · #Formal Methods in Verification #Logic, programming, and type systems #Scientific Computing and Data Management #cs.SE
- Lessons from Formally Verified Deployed Software Systems
2023/01/05 by Li Huang, Sophie Ebersold, Huang, Li +8 · 2 voices · 2 citations
Computer Science · Engineering · #Logic, programming, and type systems #Advanced Software Engineering Methodologies #Modular Robots and Swarm Intelligence
- Benchmarking Usability and Performance of Multicore Languages
2013/02/12 by Sebastian Nanz, Scott West, Kaue Soares da Silveira +1 · 2 voices
Computer Science · #Parallel Computing and Optimization Techniques #Distributed and Parallel Computing Systems #Cloud Computing and Resource Management
- Programming Really Is Simple Mathematics
2025/02/24 by Bertrand Meyer, Reto Weber, Meyer, Bertrand +1 · 1 voice
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.LO #cs.PL #cs.SE