4126 search results - page 276 / 826 » Set based logic programming |
169
click to vote
PEPM
2004
ACM
15 years 11 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
168
click to vote
DBPL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
169
Voted
ICMT
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
170
Voted
SAT
2007
Springer
16 years 12 days ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
159
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...