POPLmark challenge
id:
poplmark-challenge-297-1466475
title:
POPLmark challenge
text:
In programming language theory, the POPLmark challenge is a set of benchmarks designed to evaluate the state of automated reasoning in the metatheory of programming languages, and to stimulate discussion and collaboration among a diverse cross section of the formal methods community. Very loosely speaking, the challenge is about measurement of how well programs may be proven to match a specification of how they are intended to behave. The challenge was initially proposed by the members of the PL
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/POPLmark_challenge
date created:
date modified:
2023-11-12T19:56:02Z
main entity:
{"identifier":"Q7120017","url":"https://www.wikidata.org/entity/Q7120017"}
image:
fields total:
13
integrity:
13