1713 search results - page 15 / 343 » Production programming in the classroom |
FM
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
CEEMAS
2005
Springer
15 years 3 months ago
2005
Springer
PVM
2004
Springer
15 years 3 months ago
2004
Springer
VL
2000
IEEE
15 years 2 months ago
2000
IEEE
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
ICSE
1987
IEEE-ACM
15 years 1 months ago
1987
IEEE-ACM