Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ

IEEE Transactions on Parallel and Distributed Systems - United States
doi 10.1109/tpds.2011.258
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

The Varieties of Programming Language Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Compositionality and Concepts—A Perspective From Formal Semantics and Philosophy of Language

Compositionality and Concepts in Linguistics and Psychology
2017English

A Formal Architecture for the 3APL Agent Programming Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Elements of Formal Semantics: An Introduction to Logic for Students of Language

Language
LinguisticsLanguage
1989English

Formal C Semantics: CompCert and the C Standard

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Language Semantics

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2003English

Expressing the Formal Semantics of CSP and CP or ADA Tasking With the Temporal Logic Language XYZ/E.

1981English

Language and Time: The Semantics of Tense Incontemporary Philosophy of Language

Bulletin of the Russian Philosophical Society
2019English

Formal Semantics and Verification for Feature Modeling

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy