Results 221 to 230 of about 481,631 (238)
Synchronization abstraction in the BETA programming language
Computer Languages, 1999 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 context. While
Østerbye, K., Kreutzer, W.
semanticscholar +5 more sources
Abstraction and Modularization in the BETA Programming Language
Joint Modular Languages Conference, 2000 One 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 ...
Ole Lehrmann Madsen
semanticscholar +5 more sources
Multi-sequential execution in the BETA programming language
ACM SIGPLAN Notices, 1985 Birger Møller-Pedersen +3 more
semanticscholar +4 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
What Your Mother Forgot to Tell you About Modeling – and Programming
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2023The first object-oriented language SIMULA was designed for modeling as well as programming. The situation today is that we have two more or less disjoint communities: one focusing on object-oriented programming and one focusing on object-oriented ...
Ole Lehrmann Madsen, B. Møller-Pedersen
semanticscholar +1 more source
Basic principles of the BETA programming language
, 1991 Madsen, Ole Lehrmann +1 more
openaire +2 more sources
Chatbot pada E-Commerce berbasis Android dengan Pendekatan Natural Language Processing
, 2021Jago Prima store is a shop that sells herbal medicines that are provided in the city of Purwokerto. Sales in the shop only serve sales and transactions by coming directly to the store so it is difficult for the store to serve customers from out of town ...
F. Ramadhan
semanticscholar +1 more source
The Beta-Bernoulli process and algebraic effects
International Colloquium on Automata, Languages and Programming, 2018In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models.
S. Staton +5 more
semanticscholar +1 more source
Interactive typed tactic programming in the Coq proof assistant
, 2015Interactive Typed Tactic Programming in the Coq Proof Assistant Beta Ziliani 2015 In order to allow for the verification of realistic problems, Coq provides a language for tactic programming, therefore enabling general-purpose scripting of automation ...
Beta Ziliani
semanticscholar +1 more source
Towards a Unified Programming Language
European Conference on Object-Oriented Programming, 2000O. Madsen
semanticscholar +1 more source
Object-Oriented Distributed Programming in BETA
ECOOP Workshop, 1993Søren Brandt, O. Madsen
semanticscholar +1 more source