Sciweavers

4211 search results - page 50 / 843

» Types as Abstract Interpretations

67

Voted

INFORMATICALT
2008

101views more INFORMATICALT 2008»

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

15 years 3 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 »

103

Voted

JSAT
2007

95views more JSAT 2007»

An Abstract Decision Procedure for a Theory of Inductive Data Types

15 years 3 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 »

93

Voted

JPL
1998

59views more JPL 1998»

Implicitly synchronized abstract data types: data structures for modular parallel programming

15 years 3 months ago

Implicitly synchronized abstract data types: data structures for modular parallel programming

Download people.csail.mit.edu

Martin C. Rinard

claim paper

Read More »

109

Voted

SIGACT
1998

69views more SIGACT 1998»

Polymorphism, objects and abstract types

15 years 3 months ago

Polymorphism, objects and abstract types

Download www.eecs.qmul.ac.uk

Peter W. O'Hearn

claim paper

Read More »

43

Voted

CORR
2010
Springer

46views Education» more CORR 2010»

Limits of Commutativity on Abstract Data Types

15 years 3 months ago

Limits of Commutativity on Abstract Data Types

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

« Prev « First page 50 / 843 Last » Next »