Sciweavers

1712 search results - page 6 / 343

» Abstract Constraint Data Types

63

Voted

IRMA
2000

130views Information Technology» more IRMA 2000»

Adding alternative access paths to abstract data types

14 years 12 months ago

Adding alternative access paths to abstract data types

Download www.lsi.upc.es

Xavier Franch, Jordi Marco

claim paper

Read More »

32

CORR
2010
Springer

47views Education» more CORR 2010»

Tuple-based abstract data types: full parallelism

14 years 10 months ago

Tuple-based abstract data types: full parallelism

Download hal.archives-ouvertes.fr

José Martinez, Carmelo Malta

claim paper

Read More »

69

ACTA
2006

78views more ACTA 2006»

Abstractions of data types

14 years 10 months ago

Abstractions of data types

Download www.cs.cmu.edu

Ferucio Laurentiu Tiplea, Constantin Enea

claim paper

Read More »

41

INFORMATICALT
2008

101views more INFORMATICALT 2008»

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction

14 years 10 months ago

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction

Download www.mii.lt

Bruria Haberman

claim paper

Read More »

74

JSAT
2007

95views more JSAT 2007»

An Abstract Decision Procedure for a Theory of Inductive Data Types

14 years 10 months ago

An Abstract Decision Procedure for a Theory of Inductive Data Types

Download jsat.ewi.tudelft.nl

Clark Barrett, Igor Shikanian, Cesare Tinelli

claim paper

Read More »

« Prev « First page 6 / 343 Last » Next »