1362 search results - page 86 / 273 » The Projection of Systolic Programs |
182
click to vote
JIT
2004
Springer
15 years 9 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
144
click to vote
JFP
2000
15 years 4 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
129
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
At the University of Missouri – Columbia’s Information and Access Technology (IAT) Services, InfoTech Training compares the results of their IT training program with similar t...
182
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
This paper describes how we have extended a module structure of the Smalltalk LearningWorks to provide a programming environment deigned for very large scale technology transfer. ...
255
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...