Results 141 to 150 of about 1,154,560 (163)

Modeling Trajectories: A Spatio-Temporal Data Type Approach

2009 20th International Workshop on Database and Expert Systems Application, 2009
A. Frihida, Donia Zheni, H. Ghézala, Christophe Claramunt   +3 more
semanticscholar   +1 more source

Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types

Colloquium on Trees in Algebra and Programming, 1983
J. Jouannaud
semanticscholar   +1 more source

A decidability result about sufficient-completeness of axiomatically specified abstract data types

Theoretical Computer Science, 1983
T. Nipkow, G. Weikum
semanticscholar   +1 more source

The use of abstract data types to simplify program modifications

Conference on Data: Abstraction, Definition and Structure, 1976
T. Linden
semanticscholar   +1 more source

Cancer statistics, 2020

Ca-A Cancer Journal for Clinicians, 2020
Rebecca L Siegel, Kimberly D Miller
exaly  

A methodology for programming abstract data types in Ada

AdaTEC Conference on Ada, 1982
M. Sherman, Andy Hisgen, Jonathan Rosenberg   +2 more
semanticscholar   +1 more source

Procedural specifications and implementations for abstract data types

SIGP, 1981
A. Furtado, P. Veloso
semanticscholar   +1 more source

Cancer statistics, 2017

Ca-A Cancer Journal for Clinicians, 2017
Rebecca L Siegel, Kimberly D Miller
exaly  

Cancer statistics, 2019

Ca-A Cancer Journal for Clinicians, 2019
Rebecca L Siegel, Kimberly D Miller, Ahmedin Jemal Dvm   +2 more
exaly  

A Survey of Some Issues Concerning Abstract Data Types

, 1974
L. Flon
semanticscholar   +1 more source