2004 search results - page 148 / 401 » Interaction nets: programming language design and implementa... |
169
click to vote
APL
1993
ACM
15 years 10 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
232
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
139
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
173
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
298
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...