4386 search results - page 206 / 878 » A Tamper-Resistant Programming Language System |
112
click to vote
WCFLP
2005
ACM
15 years 7 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
108
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Aspects sometimes conflict between them in scenarios where they reify resource awareness concerns. These conflicts are the result of the scarcity of resources and the fact that, f...
131
click to vote
PPDP
2010
Springer
15 years 7 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
118
click to vote
QSIC
2006
IEEE
15 years 7 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...