logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
F

Foundations and Trends in Programming Languages

IF0.5
Papers8
Citations130
Journal Papers 9
Publication Date
delete
(Hyper)-Graphs Inference through Convex Relaxations and Move Making Algorithms: Contributions and Applications in Artificial Vision
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete2024-01-01
delete0
PREAI
deleteKomodakis, Nikos; Kumar, M. Pawan; Paragios, Nikos
deleteShare
deleteSave
Neurosymbolic Programming in Scallop: Principles and Practice
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete2024-01-01
delete0
deleteOAAI
deleteLi, Ziyang; Huang, Jiani; Liu, Jason; Naik, Mayur
deleteShare
deleteSave
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete2023-01-01
delete0
deleteOAAI
deleteVassena, Marco; Russo, Alejandro; Garg, Deepak; Rajani, Vineet; Stefan, Deian
deleteShare
deleteSave
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete2022-01-01
delete1
deleteOAAI
deleteBernardo, Marco
deleteShare
deleteSave
Refinement Types: A Tutorial
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete2021-01-01
delete16
deleteOAAI
deleteJhala, Ranjit; Vazou, Niki
deleteShare
deleteSave
Neurosymbolic Programming
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete2021-01-01
delete43
deleteOAAI
deleteChaudhuri, Swarat; Ellis, Kevin; Polozov, Oleksandr; Singh, Rishabh; Solar-Lezama, Armando; Yue, Yisong
deleteShare
deleteSave
Shape Analysis
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete2020-01-01
delete4
deleteOAAI
deleteChang, Bor-Yuh Evan; Dragoi, Cezara; Manevich, Roman; Rinetzky, Noam; Rival, Xavier
deleteShare
deleteSave
Progress of Concurrent Objects
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete2020-01-01
delete4
deleteOAAI
deleteLiang, Hongjin; Feng, Xinyu
deleteShare
deleteSave
A New Beginning
deleteFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
delete
delete0
PREAI
delete
deleteShare
deleteSave