1401 search results - page 148 / 281 » Tool Integration for Reasoned Programming |
127
Voted
ECCE
2007
15 years 4 months ago
2007
Argument diagramming tools can improve reasoning and learning. They are likely to have a significant place in future virtual learning environments whose design will be dominated b...
126
Voted
BPM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
126
Voted
GCSE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
121
Voted
JFLP
2002
15 years 2 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
112
Voted
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...