Work

Reasoning about functional programming in Java and C++

Year: 2018

Type: conference-paper

Source: Companion Proceedings for the ISSTA/ECOOP Workshops

DOI: 10.1145/3236454.3236483

Author: David R. Cok

Institutions: Commissariat à l'Énergie Atomique et aux Énergies Alternatives, Laboratoire d'Intégration des Systèmes et des Technologies

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2908962945

FWCI: 0.512

Cites: 5

Cited by: 8

Related to: 10