• PETSc

  • Referenced in 677 articles [sw04012]
  • particular problem. By using techniques of object-oriented programming, PETSc provides enormous flexibility for users...
  • Python

  • Referenced in 259 articles [sw14460]
  • large scale. Python supports multiple programming paradigms, including object-oriented, imperative and functional programming...
  • Ox

  • Referenced in 204 articles [sw09501]
  • object-oriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices...
  • LISP-STAT

  • Referenced in 81 articles [sw01111]
  • Microsoft Windows. A prototype-based object-oriented programming system is used to implement the graphics ... customized and adapted. The object-oriented programming system is also used as the basis...
  • Eiffel

  • Referenced in 82 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming language designed by Bertrand Meyer (an object ... orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software. The design ... language is closely connected with the Eiffel programming method. Both are based...
  • Spec#

  • Referenced in 84 articles [sw04598]
  • programming system, consisting of the object-oriented Spec# programming language, the Spec# compiler...
  • CLOS

  • Referenced in 49 articles [sw03334]
  • concerned with the usual features of object-oriented programming, such as classes and methods. CLOS ... find in a typical object-oriented language, plus a few other things, and are sufficient...
  • RestoreTools

  • Referenced in 43 articles [sw04822]
  • Matlab, with the ability to do object-oriented programming and operator overloading, results...
  • Smalltalk

  • Referenced in 113 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective programming language. Smalltalk was created...
  • Access

  • Referenced in 40 articles [sw03704]
  • Visual Basic for Applications, an object-oriented programming language that can reference a variety...
  • Ciao

  • Referenced in 27 articles [sw12088]
  • logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives...
  • Arc_Mat

  • Referenced in 27 articles [sw07176]
  • Matlab, restructure the toolbox with object-oriented programming features, and provide more comprehensive functions...
  • Mozart

  • Referenced in 17 articles [sw04759]
  • language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part...
  • ALDOR

  • Referenced in 21 articles [sw01220]
  • within programs. Pervasive support for dependent types allows static checking of dynamic objects. What does ... many difficulties encountered in widely-used object-oriented programming languages. It allows programs ... attractive and powerful properties of functional, object-oriented and aspect-oriented styles. Note: Current development...
  • PolyTOIL

  • Referenced in 21 articles [sw14205]
  • statically-typed polymorphic object-oriented programming language which is provably type-safe. By separating...
  • KSSOLV

  • Referenced in 18 articles [sw06806]
  • toolbox makes use of the object-oriented programming features available in MATLAB so that...
  • Symstra

  • Referenced in 17 articles [sw01296]
  • paper defines symbolic states of object-oriented programs and novel comparisons of states. Given...
  • oomph-lib

  • Referenced in 16 articles [sw09522]
  • achieved by the extensive use of object-oriented programming techniques, including multiple inheritance, function overloading...
  • VeriCool

  • Referenced in 9 articles [sw09749]
  • Concurrent Object-Oriented Language. Reasoning about object-oriented programs is hard, due to aliasing, dynamic ... abstraction and framing. Reasoning about concurrent object-oriented programs is even harder, since in general...
  • Commonloops

  • Referenced in 7 articles [sw08974]
  • CommonLoops: merging Lisp and object-oriented programming. CommonLoops blends object-oriented programming smoothly and tightly ... with the procedure-oriented design of Lisp. Functions and methods are combined in a more ... incrementally move a program between the procedure and object-oriented styles.One of the most important...