Results 321 to 330 of about 5,183,162 (349)

Rewrite Rule Theory and Abstract Data Type Analysis

EUROCAM, 1982
D. Musser, D. Kapur
semanticscholar   +1 more source

Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities

Colloquium on Trees in Algebra and Programming, 1981
G. Hornung, P. Raulefs
semanticscholar   +1 more source

Object-Oriented Implementation of Abstract Data Type Specifications

International Conference on Algebraic Methodology and Software Technology, 1996
R. Hennicker, Christoph Schmitz
semanticscholar   +1 more source

High performance massively parallel abstract data type components

Proceedings., Fourteenth Annual International Computer Software and Applications Conference, 1990
I. Yen, F. Bastani, T. Al-Marzooq, E. Leiss   +3 more
semanticscholar   +1 more source

Varieties of abstract concepts and their grounding in perception or action

Open Psychology, 2020
Markus Kiefer, Marcel Harpaintner
exaly  

What is an Abstract Data Type, after all?

COMPASS/ADT, 1994
Martin Gogolla, M. Cerioli
semanticscholar   +1 more source

Abstract data types

2016
openaire   +1 more source

An Expert System for Automatic Codeing of Abstract Data Type Specifications

GI Jahrestagung, 1980
H. Eigemeier, Christoph Knabe, P. Raulefs, K. Tramer   +3 more
semanticscholar   +1 more source

Varieties of abstract concepts and their multiple dimensions

Language and Cognition, 2019
Anna M Borghi, Fernando Naya-catal, Marco Tullio Liuzza   +2 more
exaly  

Continuous Abstract Data Types

Fundamenta Informaticae, 1986
Martin Wirsing, Andrzej Tarlecki
openaire   +2 more sources