Towards Solver Aided Creativity News Today : Breaking News, Live Updates & Top Stories | Vimarsana

Programming Languages + Human-Computer Interaction: Continuing the story at SPLASH 2020
by Michael Coblenz, Chris Martens, and Luke Church on Jul 6, 2021 | Tags: formal reasoning, type systems, usability
As programming languages researchers, we are interested in designing
beautiful abstractions, which enable sound reasoning and construction of
safe systems. But ultimately, human beings employ those abstractions to construct systems in ways that make sense to them. HATRA (Human Aspects of Types and Reasoning Assistants), which debuted at SPLASH 2020, is a new workshop intended to build community and establish a research agenda on this topic. A group of thirty researchers and software engineers convened over two days to discuss the relationship between formal approaches and programmers that use them. ....

United Kingdom , North Carolina , United States , Dalastair Reid , Richard Lin , Gongmin Gabriel Luo , Jean Yang , Bjoern Hartmann , Michael Coblenz , Hannah Potter , Chris Martens , Lecturer At Cambridge University , University Of Maryland College Park , Luke Church , Human Aspects , Reasoning Assistants , Towards Solver Aided Creativity , Dominic Orchard , Basili Postdoctoral Fellow , College Park , Assistant Professor , North Carolina State , Cambridge University , ஒன்றுபட்டது கிஂக்டம் , வடக்கு கரோலினா , ஒன்றுபட்டது மாநிலங்களில் ,