• Creol

  • Referenced in 25 articles [sw09421]
  • Creol: A type-safe object-oriented model for distributed concurrent systems. Object-oriented distributed computing ... much waiting and even deadlock. The Creol model targets distributed objects by a looser coupling ... inheritance and subtyping relations are distinct in Creol. Interfaces form a subtype hierarchy, whereas multiple ... class level. This paper presents the Creol syntax, operational semantics, and type system...
  • pandoc

  • Referenced in 3 articles [sw26026]
  • LaTeX, MediaWiki markup, TWiki markup, TikiWiki markup, Creole 1.0, Vimwiki markup, OPML, Emacs Org-Mode...
  • Tok-tok

  • Referenced in 1 article [sw33840]
  • language” or ”speech” in Bislama, a Melanesian Creole language. Bislama is quite possibly the world...
  • Ott

  • Referenced in 31 articles [sw00663]
  • Semantic definitions of full-scale programming languages are...
  • SPIN

  • Referenced in 715 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Maude

  • Referenced in 672 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Scala

  • Referenced in 86 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • Erlang

  • Referenced in 109 articles [sw07202]
  • Erlang is a programming language used to build...
  • MMT

  • Referenced in 16 articles [sw07905]
  • Maude MSOS tool. Modular structural operational semantics (MSOS...
  • Multilisp

  • Referenced in 33 articles [sw09420]
  • Multilisp: A language for concurrent symbolic computation. Multilisp...
  • Rebeca

  • Referenced in 8 articles [sw09422]
  • Rebeca is an actor-based language with a...
  • Java Jr

  • Referenced in 14 articles [sw19083]
  • Java Jr.: Fully abstract trace semantics for a...
  • JavAdaptor

  • Referenced in 4 articles [sw24982]
  • JavAdaptor: unrestricted dynamic software updates for Java. Dynamic...
  • ABCL

  • Referenced in 14 articles [sw28079]
  • ABCL: An Object-oriented Concurrent System. This book...