1051 search results - page 33 / 211 » Toward Team-Oriented Programming |
CSUR
2004
13 years 7 months ago
2004
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Execution-driven simulators are often used for power/energy and performance evaluation. Simulators can provide semantic details but they provide insufficient speed and accuracy f...
PADL
2009
Springer
14 years 8 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...
SWSTE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
POS
1998
Springer
13 years 12 months ago
1998
Springer
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...