Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Magma2: a language oriented toward experiments in control

Magma2: a language oriented toward experiments in control Magma2: A Language Oriented toward Experiments In Control FRANCO TURINI Universit& di Pisa The design of a programming language, Magma2, is outlined. The language provides the facilities for programming new control regimes and encapsulating them into appropriate modules. The general paradigm of abstraction of control is applied to sequential control regimes. The language is presented via a formal model and a few examples of its use. The semantic model has a denotational flavor and can be used to describe the semantics of languages with unconventional control features. Categories and Subject Descriptors: D.2.2 [Software Engineering]: Tools and Techniques-software libraries; D.3.1 [Programming Languages]: Formal Definitions and Theory--semantics; D.3.2 [Programming Languages]: Language Classifications--applicative languages; extensible languages; D.3.3 [Programming Languages]: Language Constructs--control structures; modules, packages; F.3.2 [Logics and Meaning of Programs]: Semantics of Programming Languages--denotational semantics; F.3.3 [Logics and Meaning of Programs]: Studies of Program Constructs-control primitives General Terms: Languages, Theory Additional Key Words and Phrases: Control abstractions, computation agents, control environments 1. INTRODUCTION M a g m a 2 is a n e x p e r i m e n t a l l a n g u a g e a i m e d at p r o http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Programming Languages and Systems (TOPLAS) Association for Computing Machinery

Magma2: a language oriented toward experiments in control

Loading next page...
 
/lp/association-for-computing-machinery/magma2-a-language-oriented-toward-experiments-in-control-flZKLtOMfu

References (24)

Publisher
Association for Computing Machinery
Copyright
Copyright © 1984 by ACM Inc.
ISSN
0164-0925
DOI
10.1145/1780.1784
Publisher site
See Article on Publisher Site

Abstract

Magma2: A Language Oriented toward Experiments In Control FRANCO TURINI Universit& di Pisa The design of a programming language, Magma2, is outlined. The language provides the facilities for programming new control regimes and encapsulating them into appropriate modules. The general paradigm of abstraction of control is applied to sequential control regimes. The language is presented via a formal model and a few examples of its use. The semantic model has a denotational flavor and can be used to describe the semantics of languages with unconventional control features. Categories and Subject Descriptors: D.2.2 [Software Engineering]: Tools and Techniques-software libraries; D.3.1 [Programming Languages]: Formal Definitions and Theory--semantics; D.3.2 [Programming Languages]: Language Classifications--applicative languages; extensible languages; D.3.3 [Programming Languages]: Language Constructs--control structures; modules, packages; F.3.2 [Logics and Meaning of Programs]: Semantics of Programming Languages--denotational semantics; F.3.3 [Logics and Meaning of Programs]: Studies of Program Constructs-control primitives General Terms: Languages, Theory Additional Key Words and Phrases: Control abstractions, computation agents, control environments 1. INTRODUCTION M a g m a 2 is a n e x p e r i m e n t a l l a n g u a g e a i m e d at p r o

Journal

ACM Transactions on Programming Languages and Systems (TOPLAS)Association for Computing Machinery

Published: Oct 1, 1984

There are no references for this article.