Work

Transformation of left terminating programs: The reordering problem

Year: 1996

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-60939-3_3

Authors: Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Institutions: University of Calabria, Ca' Foscari University of Venice, University of Genoa

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2104060136

FWCI: 2.997

Cites: 28

Cited by: 19

Related to: 10