1131 search results - page 110 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
152
Voted
ECEASST
2008
15 years 5 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
124
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
144
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
143
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
132
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...