5415 search results - page 225 / 1083 » The Implementation of Functional Programming Languages |
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
126
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
139
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
108
click to vote
APWEB
2005
Springer
15 years 6 months ago
2005
Springer
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
FMOODS
2007
15 years 2 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...