Work

Semantic program alignment for equivalence checking

Year: 2019

Type: conference-paper

Source: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

DOI: 10.1145/3314221.3314596

Authors: Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken

Institutions: Stanford University, Microsoft Research (India)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

OpenAlex ID: W2954725723

FWCI: 8.496

Cites: 47

Cited by: 112

Related to: 10