Sciweavers

2036 search results - page 19 / 408
» A generic type-and-effect system
Sort
View
SE
2007
13 years 9 months ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia
PPDP
2010
Springer
13 years 6 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
IDEAS
2000
IEEE
108views Database» more  IDEAS 2000»
13 years 12 months ago
Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
Stefan Dieker, Ralf Hartmut Güting
ICDAR
2009
IEEE
13 years 5 months ago
A Generic Form Processing Approach for Large Variant Templates
In today's world, form processing systems must be able to recognize mutant forms that appear to be based on differing templates but are actually only a variation of the origi...
Yaakov Navon, Ella Barkan, Boaz Ophir
FLAIRS
2007
13 years 10 months ago
A Generic Memory Module for Events
Intelligent systems need to store their experience so that it can be reused. A memory for such systems needs to efficiently organize and search previous experience and to retriev...
Dan Tecuci, Bruce W. Porter