• Ox

  • Referenced in 443 articles [sw09501]
  • object-oriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices...
  • Simula 67

  • Referenced in 135 articles [sw21333]
  • name of two simulation programming languages, Simula I and Simula 67, developed in the 1960s ... superset of ALGOL 60. Simula 67 introduced objects, classes, inheritance and subclasses, virtual procedures, coroutines ... Simula is considered the first object-oriented programming language. As its name suggests, Simula ... many of the features of object-oriented languages today. (wikipedia...
  • Python

  • Referenced in 1154 articles [sw14460]
  • languages such as C++ or Java. The language provides constructs intended to enable clear programs ... Python supports multiple programming paradigms, including object-oriented, imperative and functional programming or procedural styles...
  • Eiffel

  • Referenced in 105 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming language designed by Bertrand Meyer (an object ... Object-Oriented Software Construction) and Eiffel Software. The design of the language is closely connected...
  • Modelica

  • Referenced in 86 articles [sw04352]
  • Modelica is a freely available, object-oriented language for modeling of large, complex, and heterogeneous...
  • OCaml

  • Referenced in 267 articles [sw06363]
  • extends the core Caml language with a fully-fledged object-oriented layer, as well ... industrial-strength implementation of this language, featuring a high-performance native-code compiler (ocamlopt...
  • Pict

  • Referenced in 70 articles [sw08929]
  • numerous libraries, and example programs. The core language - an asynchronous variant of Milner, Parrow ... higher-order programming, selective communication, and concurrent objects. The type system integrates a number ... work on theoretical foundations for typed object-oriented languages...
  • Spec#

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

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

  • Referenced in 51 articles [sw03334]
  • find in a typical object-oriented language, plus a few other things, and are sufficient...
  • COBOL

  • Referenced in 171 articles [sw01228]
  • language designed for business use. It is imperative, procedural and, since 2002, object-oriented. COBOL ... migrated to new platforms, rewritten in modern languages or replaced with software packages.[6] Most...
  • Access

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

  • Referenced in 129 articles [sw01753]
  • imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal...
  • Locales

  • Referenced in 35 articles [sw12448]
  • more commonly known structuring mechanisms of programming languages and provers, locales are made accessible ... latter are found in modern object-oriented languages...
  • Ruby

  • Referenced in 32 articles [sw16267]
  • Ruby. Ruby is a dynamic, object-oriented language with advanced features such as yield operator...
  • PolyTOIL

  • Referenced in 23 articles [sw14205]
  • PolyTOIL: A type-safe polymorphic object-oriented language. PolyTOIL is a new statically-typed polymorphic ... object-oriented programming language which is provably type-safe. By separating the definitions of subtyping...
  • PICCOLA

  • Referenced in 17 articles [sw06408]
  • PICCOLA - A small composition language. Although object-oriented languages are well-suited to implement software ... component-based applications, largely because object-oriented design tends to obscure a component-based architecture ... chapter we introduce PICCOLA, a small ’composition language’ that embodies this paradigm. Piccola models components...
  • POOL

  • Referenced in 14 articles [sw03332]
  • proof system for the parallel object-oriented language POOL. We develop a Hoare-style proof ... programs written in the parallel object-oriented language POOL...
  • ALDOR

  • Referenced in 24 articles [sw01220]
  • Aldor was conceived as an extension language for the Axiom system, but is now used ... dependent types allows static checking of dynamic objects. What does this mean for a normal ... 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...
  • Maria

  • Referenced in 18 articles [sw04127]
  • computer programs written in procedural or object-oriented languages, or high-level specifications such...