545 search results - page 72 / 109 » Recursive logic frames |
108
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
122
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
127
click to vote
BIOSYSTEMS
2008
15 years 2 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
112
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
180
Voted
SIGLEX
1991
15 years 6 months ago
1991
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...