A decision procedure for satisfiability in separation logic with inductive predicates (English)
Free access
- New search for: Brotherston, J
- New search for: Fuhs, C
- New search for: Pérez, JAN
- New search for: Gorogiannis, N
- New search for: Brotherston, J
- New search for: Fuhs, C
- New search for: Pérez, JAN
- New search for: Gorogiannis, N
2014
- Paper / Electronic Resource
-
Title:A decision procedure for satisfiability in separation logic with inductive predicates
-
Contributors:
-
Publication date:2014-08-01
-
Remarks:In: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. Association for Computing Machinery (ACM): New York, US. (2014)
-
Type of media:Paper
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source: