• ELAN

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

  • Referenced in 25 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...
  • 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...
  • 2LEV-D2P4

  • Referenced in 4 articles [sw00009]
  • Fortran 95, exploiting features such as abstract data type creation, functional overloading and dynamic memory...
  • 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...
  • OOZE

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

  • Referenced in 42 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...
  • RADA

  • Referenced in 2 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...
  • 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...
  • TRAM

  • Referenced in 1 article [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...
  • SMOOTH

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

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

  • Referenced in 14 articles [sw00275]
  • software consists of a set of abstract interfaces and concrete classes, providing a framework ... incorporating new user-defined data types...
  • 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...
  • SMV

  • Referenced in 11 articles [sw04135]
  • machine or as an asynchronous network of abstract, nondeterministic processes. The language provides for modular ... describe finite state machines, the only data types in the language are finite ones. Booleans...