Sciweavers

7529 search results - page 297 / 1506
» The Modula-3 Type System
Sort
View
ISTA
2004
15 years 8 months ago
Object-Relational Mapping Techniques for .NET Framework
: The paper concerns the problem of building an object-relational mapping framework based on the Microsoft .Net platform. The work uses design patterns methodology and proposes to ...
Anatoly E. Doroshenko, Vlad Romanenko
SCM
2003
15 years 8 months ago
Uniform Comparison of Configuration Management Data Models
The data models of a series of 11 configuration management systems—of varying type and complexity—are represented using containment data models. Containment data models are a s...
E. James Whitehead Jr., Dorrit Gordon

Lab
737views
17 years 6 months ago
Resource Aware Programming (RAP)
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
ICFP
2005
ACM
16 years 6 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ICCS
2004
Springer
16 years 1 days ago
Extending Camelot with Mutable State and Concurrency
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...
Stephen Gilmore