Sciweavers

1559 search results - page 73 / 312
» Fundamentals of Generic Programming
Sort
View
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
15 years 3 months ago
Constructing Polymorphic Programs with Quotient Types
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
Michael Abbott, Thorsten Altenkirch, Neil Ghani, C...
POPL
2010
ACM
15 years 2 months ago
Parallelizing constraint programs
The availability of commodity multi-core and multi-processor machinesandtheinherentparallelisminconstraintprogrammingsearchoffer significant opportunities for constraint programmi...
Laurent D. Michel

Book
623views
16 years 5 months ago
Practical Programming in Tcl and Tk
"Tcl is a string-based command language. The language has only a few fundamental constructs and relatively little syntax, which makes it easy to learn. The Tcl syntax is mea...
Ken Jones, Jeff Hobbs
BMCBI
2004
120views more  BMCBI 2004»
14 years 9 months ago
pdb-care (PDB CArbohydrate REsidue check): a program to support annotation of complex carbohydrate structures in PDB files
Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...
Thomas Lütteke, Claus-Wilhelm von der Lieth
SIGMOD
2002
ACM
134views Database» more  SIGMOD 2002»
15 years 10 months ago
Data Modelling versus Ontology Engineering
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. Unlike data models, the fundamental asset of ontologies is the...
Peter Spyns, Robert Meersman, Mustafa Jarrar