Sciweavers

10575 search results - page 319 / 2115
» T2Script Programming Language
Sort
View
143
Voted
PPDP
2005
Springer
16 years 6 days ago
Nominal rewriting with name generation: abstraction vs. locality
Maribel Fernández, Murdoch Gabbay
PPDP
2005
Springer
16 years 6 days ago
Abstract interpretation for constraint handling rules
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
129
Voted
SIGADA
2005
Springer
16 years 6 days ago
Scheduling and memory requirements analysis with AADL
Frank Singhoff, Jérôme Legrand, Laure...