Open AccessA relational framework for higher-order shape analysis
Author(s) -
Gowtham Kaki,
Suresh Jagannathan
Publication year - 2014
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/2692915.2628159
Subject(s) - computer science , programming language , decidability , compiler , dependent type , data type , relational calculus , relational database , domain (mathematical analysis) , abstract data type , theoretical computer science , variety (cybernetics) , fragment (logic) , type (biology) , relational algebra , data structure , relational model , lambda calculus , artificial intelligence , mathematics , database , mathematical analysis , ecology , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom