InfoQ Homepage Presentations Towards Specifications of Robustness - the Things That Programs do _not_ do
Towards Specifications of Robustness - the Things That Programs do _not_ do
Summary
Sophia Drossopoulou discusses holistic specifications", an extension of traditional program specifications that support the expression of robustness properties through a logic with spatial and temporal features.
Bio
Sophia Drossopoulou is Professor of Programming Languages at Imperial College London. She started her career in research in compilers, and in particular parsers and attribute grammars. She has also been working on type systems, module systems, ownership types, traits, type-state and session types for OO languages, and concurrency.
About the conference
Code Mesh LDN, the Alternative Programming Conference, focuses on promoting useful non-mainstream technologies to the software industry. The underlying theme is "the right tool for the job", as opposed to automatically choosing the tool at hand.
This content is in the Culture & Methods topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
AWS Introduces EC2 Instance Attestation
-
AWS Launches Amazon Quick Suite, an Agentic AI Workspace
-
Google Introduces LLM-Evalkit to Bring Order and Metrics to Prompt Engineering
-
Three Questions That Help You Build a Better Software Architecture
-
Java News Roundup: OpenJDK, Spring RCs, Jakarta EE, Payara Platform, WildFly, Testcontainers
-
Cloud and DevOps InfoQ Trends Report 2025
-