Sciweavers

233 search results - page 2 / 47
» Intelligent compilers
Sort
View
WIA
2007
Springer
15 years 3 months ago
A New Method for Compiling Parallel Replacement Rules
Anssi Yli-Jyrä, Kimmo Koskenniemi
JELIA
2004
Springer
15 years 2 months ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler
AAAI
2000
14 years 11 months ago
Compilability of Abduction
Paolo Liberatore, Marco Schaerf