Programming Language Standardization. A Case Study for Forth

1994 ◽  
pp. 578-581
Author(s):  
V. Vande Keere ◽  
J. Vandewege
Keyword(s):  
Programming Language ◽  
Language Standardization

AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

2001 ◽  
Vol 12 (01) ◽  
pp. 97-124 ◽  
Author(s):  
EDGAR F. A. LEDERER ◽  
ROMEO A. DUMITRESCU
Keyword(s):  
Programming Language ◽  
Error Detection ◽  
Program Execution ◽  
Good Efficiency ◽  
Result Verification ◽  
Coordination Model ◽  
Functional Specification ◽  
Time Result ◽  
Run Time

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

The Importance of Programming Paradigms to Manufacturing Engineering Graduates: A Case Study from International Islamic University Malaysia Graduates

2013 ◽  
Vol 465-466 ◽  
pp. 387-394
Author(s):  
Muhammad Ashraf Fauri Fauzi ◽  
Daeng Ahmad Zuhri Zuhud ◽  
Hafiz Husin
Keyword(s):  
Programming Language ◽  
Online Survey ◽  
Public Universities ◽  
Modern World ◽  
Intermediate Scale ◽  
Programming Paradigm ◽  
Higher Institution ◽  
Programming Paradigms ◽  
Selection Of

Digital computers that automate manufacturing process are an important aspect for any manufacturing engineers in the modern world. Selection of the programming paradigm (PP), as well as the programming language (PL) that supports it, is crucial to ensure the correct ideas are being used to automate the solution of the problem. In current Malaysian Higher institution practices, various PPs and PLs courses are offered to current undergraduate manufacturing majors. An online survey was deployed to experienced manufacturing engineers from various manufacturing specializations in the industry. Graduates from one of Malaysias public universities, International Islamic University Malaysia (IIUM) have been chosen for this particular study. From the survey, it has been found that almost 80% of the participants agreed that PPs are important for manufacturing graduates. It was found out that 90% of the participants were from intermediate (scale of 3) until poor (scale of 1) to express their ability to explain PPs if asked. Only about 10% are able to explain on PPs (scale of 4 and 5). The study concluded that majority of the manufacturing graduates from IIUM agreed that PP is an important subject to be taught in university. However, it was found the majority of the manufacturing graduates lack the knowledge and understanding of PPs and general PLs.

scholarly journals Towards an interactive tool for music and dance: gestures, laban movement analysis and spectromorphology

2018 ◽  
Vol 18 (1) ◽  
pp. 117-131 ◽  
Author(s):  
Leandro Souza ◽  
Sergio Freire Garcia
Keyword(s):  
Programming Language ◽  
Movement Analysis ◽  
Laban Movement Analysis ◽  
Live Electronics ◽  
Zero Crossings ◽  
Current Implementation ◽  
Interactive Strategies ◽  
Points Of View ◽  
Body Joint

The paper presents a real-time tool for the segmentation and analysis of body gestures, part of a larger se- tup for exploring music and dance in the contexts of electroacoustic composition, live-electronics and other interac- tive performances. The idea of gesture is the foundation of the proposed interactive strategies, and is discussed from different points of view. The current implementation uses the Max/Msp programming language and Kinect sensors. The segmentation of dance gestures is based on the inspection of the zero-crossings of the acceleration curve of ea- ch body joint. Concepts from Laban Movement Analysis are used to qualify the extracted gestures. Dance improvi- sations on Petrushka excerpts are the basis of a case study, where the relations between the music (tempo, pulses,instrumentation, character) and Laban Basic Actions are stressed. 

scholarly journals Behaviour Analysis and Safety Conditions: a Case Study in CML

1997 ◽  
Vol 26 (528) ◽  
Author(s):  
Hanne Riis Nielson ◽  
Torben Amtoft ◽  
Flemming Nielson
Keyword(s):  
Embedded System ◽  
Programming Language ◽  
Program Analysis ◽  
Process Algebra ◽  
Control Program ◽  
Inference Algorithm ◽  
Behaviour Analysis ◽  
Automatic Inference ◽  
Production Cell

We describe a case study where novel program analysis technology has been used to pinpoint a subtle bug in a formally developed control program for an embedded system. The main technology amounts to first defining a process algebra (called behaviours) suited to the programming language used (in our case CML) and secondly to devise an annotated type and effect system for extracting behaviours from programs in a such a manner that an automatic inference algorithm can be developed. The case study is a control program developed for the "Karlsruhe Production Cell" and our analysis of the behaviours shows that one of the safety conditions fails to hold.

Playful Calculation

2015 ◽  
pp. 125-144 ◽  
Author(s):  
Derek Ham
Keyword(s):  
Programming Language ◽  
Formal Method ◽  
Thinking Skills ◽  
Entry Point ◽  
Creative Task ◽  
Children's Museum ◽  
Integrate Technology ◽  
The Individual ◽  
Algorithmic Thinking

A prerequisite to becoming a great computer coder is the ability to think algorithmically. Prior to learning a programming language or soldering hardware, the individual must have an ability to see and think in systems. “Playful Calculation” is a formal method to build foundational algorithmic thinking skills. By teaching students how to create algorithmic rules and schemas in their art process, we are providing a more flexible and intuitive entry point to integrate technology in art education. This chapter examines a case study carried out at the Boston Children's Museum in Boston, MA. In the study children were allowed to play a game in which algorithmic thinking was introduced through the manipulation of physical geometric shapes. The research documents the play process of children and demonstrates how they invent rules and procedures to carry out a creative task. The game itself can be understood as tangible coding for visual thinkers.

scholarly journals S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study

2012 ◽  
Vol 10 ◽  
pp. 30-37 ◽  
Author(s):  
Valentina Baljak ◽  
Marius Tudor Benea ◽  
Amal El Fallah Seghrouchni ◽  
Cédric Herpson ◽  
Shinichi Honiden ◽  
...  
Keyword(s):  
Programming Language ◽  
Agent Based ◽  
Smart Room

Programming with ornaments

2016 ◽  
Vol 27 ◽  
Author(s):  
HSIANG-SHANG KO ◽  
JEREMY GIBBONS
Keyword(s):  
Programming Language ◽  
Current Technology ◽  
Formal Mechanism ◽  
Formal Relationship

AbstractDependently typed programming advocates the use of various indexed versions of the same shape of data, but the formal relationship amongst these structurally similar datatypes usually needs to be established manually and tediously. Ornaments have been proposed as a formal mechanism to manage the relationships between such datatype variants. In this paper, we conduct a case study under an ornament framework; the case study concerns programming binomial heaps and their operations — including insertion and minimum extraction — by viewing them as lifted versions of binary numbers and numeric operations. We show how current dependently typed programming technology can lead to a clean treatment of the binomial heap constraints when implementing heap operations. We also identify some gaps between the current technology and an ideal dependently typed programming language that we would wish to have for our development.

Method for Planning Multitasking Robot Application Programs in RAPID

2010 ◽  
Vol 166-167 ◽  
pp. 69-76
Author(s):  
Stelian Brad ◽  
Emilia Brad ◽  
Cosmin Ioanes
Keyword(s):  
Software Development ◽  
Programming Languages ◽  
Programming Language ◽  
Robot Programming ◽  
Careful Planning ◽  
Planning Tools ◽  
Robot Tasks ◽  
Set Up ◽  
Application Programs

In order to set up well-structured multitasking robot application programs careful planning is required. Robot programming languages (e.g. Karel, RAPID, Melfa, SimPro, etc.) vary from robot to robot constructor. General planning tools used in software development (e.g. UML, IDEF, etc.) require adequate professional skills and a special way of thinking such that robot programmers to apply and adapt them to the specificity of each robot programming language. Customized and intuitive planning tools of robot applications with regard to each particular programming language seem to be preferred by ordinary robot programmers and operators when facing with the development of complex robot tasks. This paper introduces such a tool in relation to the RAPIDTM programming language, specific to ABB robot models. Its effectiveness is revealed in a case study.

Sign in / Sign up

Export Citation Format

Share Document