3516 search results - page 228 / 704 » Programming Languages: Application and Interpretation |
185
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...
150
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
273
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
179
click to vote
ICSOFT
2008
15 years 8 months ago
2008
As building large-scale software systems is complex, several software engineering paradigms have been devised. Agent oriented paradigm is one of the most predominant contributions...
320
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...