4328 search results - page 142 / 866 » A New Kind of Science |
152
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
202
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Aspect Oriented Programming (AOP) aims to ease maintenance and promote reuse of software components by separating core concerns from crosscutting concerns: aspects of a program th...
171
click to vote
KSEM
2009
Springer
16 years 25 days ago
2009
Springer
Measuring the inconsistency degree of an inconsistent knowledge base is an important problem as it provides context information for facilitating inconsistency handling. Many method...
150
click to vote
TLCA
2009
Springer
16 years 24 days ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
145
Voted
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...