Programming languages for use in safety-related applications

Publisher： Elsevier

ISSN： 1367-5788

Source： Annual Reviews in Control, Vol.27, Iss.1, 2003-01, pp. : 39-45

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Detecting safety‐related components in statecharts through traceability and model slicing

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 48, Iss. 3, 2018-03 ,pp. : 428-448

John Wiley & Sons Inc

Access to resources Recommend Favorite

How (and why) developers use the dynamic features of programming languages: the case of smalltalk

By Callaú Oscar Robbes Romain Tanter Éric Röthlisberger David

Empirical Software Engineering, Vol. 18, Iss. 6, 2013-12 ,pp. : 1156-1194

Springer Publishing Company

Access to resources Recommend Favorite

Fundamental Concepts in Programming Languages

By Strachey C.

LISP and Symbolic Computation, Vol. 13, Iss. 1-2, 2000-04 ,pp. : 11-49

Springer Publishing Company

Access to resources Recommend Favorite

Quantum programming languages

By Unruh Dominique

Informatik - Forschung und Entwicklung, Vol. 21, Iss. 1-2, 2006-10 ,pp. : 55-63

Springer Publishing Company

Access to resources Recommend Favorite

Algebraic processing of programming languages

By Rus T.

Theoretical Computer Science, Vol. 199, Iss. 1, 1998-06 ,pp. : 105-143

Elsevier

Access to resources Recommend Favorite