1821 search results - page 266 / 365 » Security-Aware Program Transformations |
124
click to vote
AGP
1999
IEEE
15 years 5 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
88
Voted
PEPM
1994
ACM
15 years 4 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
119
click to vote
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
114
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
100
Voted
WSC
2004
15 years 2 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...