626 search results - page 15 / 126 » Towards a Unified Programming Language |
127
click to vote
ICALP
1990
Springer
15 years 7 months ago
1990
Springer
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...
90
Voted
ER
2009
Springer
15 years 10 months ago
2009
Springer
120
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
239
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
110
Voted
VLC
2008
15 years 3 months ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...