Results 231 to 238 of about 481,631 (238)

Programming up to Congruence

ACM-SIGACT Symposium on Principles of Programming Languages, 2015
Vilhelm Sjöberg, Stephanie Weirich
semanticscholar   +1 more source

This Is Not a Model - On Development of a Common Terminology for Modeling and Programming

Leveraging Applications of Formal Methods, 2018
O. Madsen, B. Møller-Pedersen
semanticscholar   +1 more source

DESAL ^\beta : A Framework For Implementing Self-stabilizing Embedded Network Applications

IoT 360, 2015
Yangyang He, Yuheng Du, Shiree Hughes, Jiannan Zhai, J. Hallstrom, Nigamanth Sridhar   +5 more
semanticscholar   +1 more source

A mobile visual programming system for Android smartphones and tablets

IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments, 2012
W. Slany
semanticscholar   +1 more source

Synchronization Abstraction in the BETA programming Language

, 2000
Kasper Østerbye, Wolfgang Kreutzer
openalex  

Actor languages: There is a number of actor-based languages from Hewitt's group at MIT. Some of these display varying degrees of object-orientedness. (Byrd82 Ther83) Argus: Language with resilient objects and nested atomic transactions. Descendent of Clu. See also papers on reliability and recovery. (Lisk83a Weih82) Beta: Programming language with data abstraction from Oslo. Derived from Simula. (BETA83

, 1987
Object-oriented Issues
openalex  

The BlenX Language: A Tutorial

International School on Formal Methods for the Design of Computer, Communication and Software Systems, 2008
Lorenzo Dematté, C. Priami, A. Romanel
semanticscholar   +1 more source

On the computation of the noncentral F and noncentral beta distribution

Statistics and computing, 2008
A. Baharev, S. Kemény
semanticscholar   +1 more source