Reasoning about feature models in higher-order logic

被引：0

作者：

Janota, Mikolas ^{[1
]}

Kiniry, Joseph ^{[1
]}

机构：

[1] Univ Coll Dublin, Sch Informat & Comp Sci, Dublin 4, Ireland

来源：

SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS | 2007年

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

A mechanically formalized feature modeling meta-model is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modeling approaches found in the literature. This meta-model supports not only a better understanding of the various approaches to feature modeling, but also supports reasoning about and within feature model approaches, feature models, and on feature trees and their configurations.

引用

页码：13 / 22

页数：10

共 50 条

[1] REASONING ABOUT STATE MACHINES IN HIGHER-ORDER LOGIC
LOEWENSTEIN, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 408 : 67 - 89
[2] Reasoning about higher-order processes
Amadio, RM
Dam, M
[J]. TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 202 - 216
[3] A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities
Savic, Nenad
Doder, Dragan
Ognjanovic, Zoran
[J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, 2017, 10369 : 491 - 500
[4] A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
Baelde, David
Koutsos, Adrien
Lallemand, Joseph
[J]. 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
[5] A logic for reasoning with higher-order abstract syntax
McDowell, R
Miller, D
[J]. 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 434 - 445
[6] On Models of Higher-Order Separation Logic
Bizjak, Ales
Birkedal, Lars
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 : 57 - 78
[7] ON NONSTANDARD MODELS IN HIGHER-ORDER LOGIC
HORT, C
OSSWALD, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (01) : 204 - 219
[8] F-LOGIC - A HIGHER-ORDER LANGUAGE FOR REASONING ABOUT OBJECTS, INHERITANCE, AND SCHEME
KIFER, M
LAUSEN, G
[J]. PROCEEDINGS OF THE 1989 ACM SIGMOD INTERNATIONAL CONFERENCE ON THE MANAGEMENT OF DATA, 1989, 18 : 134 - 146
[9] Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic
Dawson, Jeremy E.
Gore, Rajeev
Meumann, Thomas
[J]. E-VOTING AND IDENTITY, VOTEID 2015, 2015, 9269 : 142 - 158
[10] Automated Reasoning in Higher-Order Logic using the TPTP THE Infrastructure
Sutcliffe, Geoff
Benzmueller, Christoph
[J]. JOURNAL OF FORMALIZED REASONING, 2010, 3 (01): : 1 - 27

← 1 2 3 4 5 →