3713 search results - page 322 / 743 » Constructing a Calculus of Programs |
152
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
140
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
141
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Crisp is a tool (i.e., an Eclipse plug-in) for constructing intermediate versions of a Java program that is being edited in an IDE such as Eclipse. After a long editing session, a...
123
click to vote
EMO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Evolutionary algorithms have been quite effective in dealing with single-objective “optimization” while the area of Evolutionary Multiobjective Optimization (EMOO) h...
120
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...