Work

Loop invariance with break and continue

Year: 2021

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2021.102679

Author: Wei Chen

Institution: VMware (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W3165313549

FWCI: 0.347

Cites: 33

Cited by: 4

Related to: 10