SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog

Source URL: www.kestrel.edu

• Computing
• Parallel computing
• Computer programming
• Software engineering
• Data parallelism
• Proteus
• Implicit parallelism
• Concurrent computing
• Parallelism
• Scala

Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface

Source URL: www.mais.informatik.tu-darmstadt.de

Physiological Hierarchy Markup Language (PHML) Language Specification Version 1.0 Table of Contents

Source URL: physiodesigner.org

Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract

Source URL: www.modelica.org

ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling LANGUAGE SPECIFICATION Version 1.3 December 15, 1999 ModelicaTM is a trademark of the "Modelica Design Group".

Source URL: www.modelica.org

Modelica® - A Unified Object-Oriented Language for Physical Systems Modeling Language Specification VersionJanuary 30, 2004 February 2, 2005

Source URL: www.modelica.org

The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Michael Hucka (Chair) Frank T. Bergmann ¨

Source URL: sbml.org

A Controlled Language for the Specification of Contracts Gordon Pace Michael Rosner

Source URL: attempto.ifi.uzh.ch

ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling LANGUAGE SPECIFICATION Version 1.3 December 15, 1999 ModelicaTM is a trademark of the "Modelica Design Group".

Source URL: www.modelica.org

Introduction Specification language Translation

Source URL: prosecco.gforge.inria.fr