1097 search results - page 116 / 220 » Revision Programming = Logic Programming Integrity Constra... |
129
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
115
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
124
Voted
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
149
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
109
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...