4386 search results - page 587 / 878 » A Tamper-Resistant Programming Language System |
236
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
190
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
164
Voted
HICSS
2006
IEEE
16 years 22 days ago
2006
IEEE
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
183
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
216
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...