564 search results - page 83 / 113 » Dependent types and program equivalence |
250
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
126
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
149
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
131
click to vote
EDBT
2000
ACM
15 years 7 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
238
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...