4386 search results - page 587 / 878 » A Tamper-Resistant Programming Language System |
269
click to vote
OOPSLA
2007
Springer
16 years 1 months 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...
215
click to vote
FOSSACS
2007
Springer
16 years 1 months 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...
190
click to vote
HICSS
2006
IEEE
16 years 1 months 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...
214
click to vote
ATAL
2005
Springer
16 years 1 months 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...
245
Voted
IFIP
2004
Springer
16 years 25 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...