1712 search results - page 51 / 343 » Abstract Constraint Data Types |
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
15 years 14 days ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
108
Voted
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— The Internet connectivity in the Autonomous System (AS) level reflects the commercial relationship between ASes. A connection between two ASes could be of type custome...
103
Voted
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
ENTCS
2007
15 years 16 days ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
124
Voted
ICFP
2005
ACM
16 years 16 days ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...