Work

Certification of Insert-Sort and Merge-Sort in Coq

Year: 2024

Type: conference-paper

Source: International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME)

DOI: 10.1109/iceccme62383.2024.10796722

Authors: Isabela Drămnesc, Tudor Jebelean, Sorin Stratulat

Institutions: West University of Timişoara, Centre National de la Recherche Scientifique, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Université de Lorraine

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4405709998

FWCI:

Cites: 20

Cited by:

Related to: 10