Results 201 to 210 of about 112,777 (227)
Some of the next articles are maybe not open access.
Abstraction mechanisms in the BETA programming language
Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83, 1983The BETA programming language is developed as part of the BETAproject. The purpose of this project is to develop concepts,constructs and tools in the field of programming and programminglanguages. BETA has been developed from 1975 on and the variousstages of the language are documented in [BETA a].The application area of BETA is programming of embedded
Bent Bruun Kristensen +3 more
openaire +2 more sources
Synchronization abstraction in the BETA programming language
Computer Languages, 1999Summary: This paper argues that synchronization of processes need not be part of the core of a programming language, but that they can just as well be built from existing abstractions -- provided these are sufficiently flexible and general. BETA's notion of patterns meets these requirements and we demonstrate the validity of our claims within this ...
Østerbye, K., Kreutzer, W.
openaire +3 more sources
Abstraction and Modularization in the BETA Programming Language
2000One of the characteristics of BETA is the unification of abstraction mechanisms such as class, procedure, process type, generic class, interface, etc. into one abstraction mechanism: the pattern. In addition to keeping the language small, the unification has given a systematic treatment of all abstraction mechanisms and lead to a number of new ...
openaire +2 more sources
Multi-sequential execution in the BETA programming language
ACM SIGPLAN Notices, 1985Bent Bruun Kristensen +3 more
openaire +1 more source
SARS-CoV-2 variant biology: immune escape, transmission and fitness
Nature Reviews Microbiology, 2023Alessandro Maria Carabelli +2 more
exaly
The language of chromatin modification in human cancers
Nature Reviews Cancer, 2021Shuai Zhao +2 more
exaly
Evolutionary-scale prediction of atomic-level protein structure with a language model
Science, 2023Zeming Lin, Halil Akın, Roshan Rao
exaly