2702 search results - page 152 / 541 » Practically Applicable Formal Methods |
163
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
84
Voted
ICPPW
2009
IEEE
14 years 8 months ago
2009
IEEE
Current petascale systems have tens of thousands of hardware components and complex system software stacks, which increase the probability of faults occurring during the lifetime ...
88
Voted
ALDT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...
100
Voted
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...