Work

Product programs and relational program logics

Year: 2016

Type: article

Source: Journal of Logical and Algebraic Methods in Programming

DOI: 10.1016/j.jlamp.2016.05.004

Authors: Gilles Barthe, Juan Manuel Crespo, César Kunz

Institution: IMDEA Software Institute

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2472147697

FWCI: 14.14

Cites: 58

Cited by: 42

Related to: 10