2881 search results - page 203 / 577 » Model Checking for Programming Languages using Verisoft |
188
click to vote
DOOD
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
165
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
166
Voted
FORMATS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
183
click to vote
LPNMR
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
181
Voted
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...