DeepAI AI Chat
Log In Sign Up

Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)

11/17/2022
by   David S. Warren, et al.
0

This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction with the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2020. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/13/2017

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types

The Workshop on Coalgebra, Horn Clause Logic Programming and Types was h...
08/15/2020

LPOP: Challenges and Advances in Logic and Practice of Programming

This article describes the work presented at the first Logic and Practic...
12/27/2021

Proceedings 37th Conference on Mathematical Foundations of Programming Semantics

MFPS conferences are dedicated to the areas of mathematics, logic, and c...
12/28/2021

Proceedings Second Joint International Workshop on Linearity Trends in Linear Logic and Applications

This volume contains a selection of papers presented at Linearity TLLA...