DOI10.1007/s11786-008-0044-8zbMath1160.68338OpenAlexW2139729455MaRDI QIDQ1001348
John Plaice, Blanca Mancilla
Publication date: 17 February 2009 Published in: Mathematics in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s11786-008-0044-8
zbMATH Keywords
possible-worlds semanticsintensional logiccontext-aware computationsoftware configuration
Mathematics Subject Classification ID
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)