7124 search results - page 351 / 1425 » Programming Languages and Operating Systems |
209
click to vote
ASPLOS
2006
ACM
16 years 22 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
179
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
166
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
158
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe a system that generates synthesized web pages as a travel guide through integrating a discourse planner with a document retrieval system. We then present ...
173
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...