1154 search results - page 152 / 231 » Implementing Typed Intermediate Languages |
PLDI
2012
ACM
13 years 10 days ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
102
click to vote
WWW
2004
ACM
15 years 10 months ago
2004
ACM
We present in this poster our work on a User Interface Markup Language (UIML) vocabulary for the specification of device- and modality independent user interfaces. The work presen...
DLOG
1996
14 years 11 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
103
click to vote
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
VLDB
1999
ACM
15 years 2 months ago
1999
ACM
In this paper, we describe our recent experiences in adding a number of object-relational extensions to the DB2 Universal Database UDB system as part of a research and developme...