626 search results - page 15 / 126 » Towards a Unified Programming Language |
ICALP
1990
Springer
15 years 3 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...
ER
2009
Springer
15 years 6 months ago
2009
Springer
UML
2000
Springer
15 years 3 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...
193
click to vote
POPL
2003
ACM
16 years 22 hour 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...
VLC
2008
14 years 11 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...