• ELAN

  • Referenced in 93 articles [sw02179]
  • from functional programming the concept of abstract data types and the function evaluation principle based...
  • Multilisp

  • Referenced in 29 articles [sw09420]
  • parallelism constructs and by support for abstract data types: a recommended Multilisp programming style...
  • CLAIRE

  • Referenced in 32 articles [sw02583]
  • iterations over both concrete and abstract sets (data types and program fragments), in a completely...
  • Renew

  • Referenced in 16 articles [sw04387]
  • have been proposed to account for abstract data types, object-orientation, hierarchies...
  • OBSCURE

  • Referenced in 6 articles [sw02575]
  • OBSCURE, a specification language for abstract data types. OBSCURE is a specification language for abstract...
  • 2LEV-D2P4

  • Referenced in 6 articles [sw00009]
  • Fortran 95, exploiting features such as abstract data type creation, functional overloading and dynamic memory...
  • Lackwit

  • Referenced in 3 articles [sw08939]
  • Lackwit: a program understanding tool based on type inference. By determining, statically, where the structure ... common representation, we can identify abstract data types, detect abstraction violations, find unused variables, functions ... fields of data structures, detect simple errors in operations on abstract datatypes, and locate sites ... value. We compute representation sharing with type inference, using types to encode representations. The method...
  • COSTABS

  • Referenced in 4 articles [sw09877]
  • executable: a functional sub-language over abstract data types is used to specify internal, sequential...
  • RAST

  • Referenced in 4 articles [sw17158]
  • back end that houses abstract data types, the metagenomics RAST is stable, extensible, and freely...
  • DTRE

  • Referenced in 3 articles [sw22672]
  • refinement of specifications using operations on abstract data types. The system is semi-automatic ... determine the rest of the implementations. Data types are specified as parameterized theories within many ... these theories are centered around inductive sorts. Abstract specifications (theories) are refined in a stepwise...
  • OOZE

  • Referenced in 3 articles [sw09494]
  • precisely specified using theories. Abstract data types, multiple inheritance, complex objects, overloading and dynamic binding...
  • RADA

  • Referenced in 3 articles [sw20732]
  • tool for reasoning about algebraic data types with abstractions. We present RADA, a portable, scalable ... tool for reasoning about formulas containing algebraic data types using catamorphism (fold) functions...
  • TRAM

  • Referenced in 2 articles [sw03369]
  • method of modeling and specifying abstract data types, has been widely attracting attention since they ... tools for rapid prototyping. TRAM is an abstract machine for order-sorted conditional term rewritting...
  • BGL

  • Referenced in 50 articles [sw17557]
  • solving many types of problems in computer science. Consequently, these abstractions must also be represented ... encourage reuse of graph algorithms and data structures. Part of the Boost Graph Library...
  • MDGs

  • Referenced in 3 articles [sw12127]
  • single variable of abstract type and a data operation is represented by an uninterpreted function...
  • sumit

  • Referenced in 1 article [sw11292]
  • postfacto extensions and callbacks) to combine abstract data types and generic algorithms with efficient special ... linear partial differential equations. Its use of abstract generic parsers and interpreters to allow easy...
  • SMOOTH

  • Referenced in 1 article [sw12951]
  • heaps, and others), are encapsulated as abstract data types. Second, some important algorithms are also...
  • FEMSTER

  • Referenced in 18 articles [sw00275]
  • software consists of a set of abstract interfaces and concrete classes, providing a framework ... incorporating new user-defined data types...
  • Simpl

  • Referenced in 2 articles [sw18873]
  • both the parser and the data types for representing abstract syntax trees; support for lexer...
  • FOXBOX

  • Referenced in 15 articles [sw00307]
  • symbolic expressions far beyond what standard data structures could handle before. Furthermore, FOXBOX demonstrates ... template arguments provide for abstract domain types. Currently, FOXBOX can be compiled with SACLIB...