Work

PRSafe: Primitive Recursive Function based Domain Specific Language using LLVM

Year: 2021

Type: conference-paper

Source: International Conference on Electronics, Information, and Communication (ICEIC)

DOI: 10.1109/iceic51217.2021.9369763

Authors: Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji

Institutions: The University of Osaka, Japan Advanced Institute of Science and Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Ministry of Education, Culture, Sports, Science and Technology

OpenAlex ID: W3135440348

FWCI: 0.701

Cites: 5

Cited by: 4

Related to: 10