4013 search results - page 692 / 803 » computer 2002 |
135
Voted
ECR
2002
15 years 15 days ago
2002
In recent years electronic commerce has grown rapidly as Internet and web technologies have progressed. Therefore, a secure and efficient payment system for general-purpose applic...
100
Voted
ENTCS
2002
15 years 15 days ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
118
Voted
ENTCS
2002
15 years 15 days ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
118
click to vote
ENTCS
2002
15 years 15 days ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
84
Voted
ENTCS
2002
15 years 15 days ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...