322 search results - page 1 / 65 » Expressive power and abstraction in Essence |
74
Voted
CONSTRAINTS
2008
14 years 10 months ago
2008
92
Voted
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
76
Voted
ERSHOV
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
69
Voted
PEPM
1994
ACM
15 years 2 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
CHI
2009
ACM
15 years 5 months ago
2009
ACM
ion of Representation in Live Theater PPPPETERETERETERETER TTTTORPEYORPEYORPEYORPEY Opera of the Future, MIT Media Lab Disembodied Performance presents a new way to think about exp...