Filters








294 Hits in 6.2 sec

DOSFOP — A documentation tool for the algebraic programming language Opal [chapter]

Klaus Didrich, Torsten Klein
1997 Lecture Notes in Computer Science  
We present an approach to the design of a literate programming tool for the algebraic programming language OPAL, which serves as a back-end in the formal program derivation process.  ...  In designing our documentation system we not only take technical aspects into account, but also have the acceptance of the documentation system by the software developer in mind.  ...  The language OPAL [1] is a strongly typed, higher-order, functional language with a distinctive algebraic flavour, as becomes apparent in the fact that specification constructs are available in the language  ... 
doi:10.1007/bfb0030651 fatcat:767k5eipujejhpa6rgn4vi6lni

Reflections in Opal – Meta Information in a Functional Programming Language [chapter]

Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón-y-Widemann
2000 Lecture Notes in Computer Science  
These facilities can be used for generic meta-programming. We describe the reflection interface of Opal and its applications, and sketch the implementation.  ...  For an existing language implementation like Opal's the extension by a reflection facility is challenging: in a statically typed language the management of runtime type information seems to be an alien  ...  These types are used to talk in the programming language Opal about the programming language Opal.  ... 
doi:10.1007/10722298_9 fatcat:ba53hxxuk5exdgeqr5fc7mmgqa

OPAL a Versatile Tool for Charged Particle Accelerator Simulations [article]

Andreas Adelmann, Pedro Calvo, Matthias Frey, Achim Gsell, Uldis Locans, Christof Metzger-Kraus, Nicole Neveu, Chris Rogers, Steve Russell, Suzanne Sheehy, Jochem Snuverink, Daniel Winklehner
2019 arXiv   pre-print
The OPAL framework makes it easy to add new features in the form of new C++ classes, enabling the modelling of many physics processes and field types.  ...  Using the MAD language with extensions, OPAL can run on a laptop as well as on the largest high performance computing systems.  ...  Acknowledgements The contributions of various individuals that had considerable influence on the development of OPAL are acknowledged, namely Chris Iselin, John Jowett, Julian Cummings, Ji Qiang, Robert  ... 
arXiv:1905.06654v1 fatcat:ywpyvg6nqner7psnvu36a63pyi

How to cope with the Spectrum of Spectrum [chapter]

U. Wolter, K. Didrich, F. Cornelius, M. Klar, R. Wessäly, H. Ehrig
1995 Lecture Notes in Computer Science  
As a candidate for an implementation language of Spectrum we focus on the functional language Opal.  ...  In this paper we consider the constructive oriented algebraic sub-language ACT ONE as an example of a speci cation sub-language of Spectrum.  ...  An Overview of Opal The algebraic programming language Opal incorporates concepts from both functional programming and algebraic speci cation and is therefore well-suited to serve as a connection between  ... 
doi:10.1007/bfb0015461 fatcat:wh3evvpkrzci3jlpg6mnypw5hu

The Rewrite Engines Competitions: A RECtrospective [chapter]

Francisco Durán, Hubert Garavel
2019 Msphere  
Term rewriting is a simple, yet expressive model of computation, which finds direct applications in specification and programming languages (many of which embody rewrite rules, pattern matching, and abstract  ...  potential users of term rewrite engines can share experience; (ii) bringing together the various language features and implementation techniques used for term rewriting; and (iii) comparing the available  ...  Beyond such theoretical aspects, the ideas of term rewriting influenced the design of specification and programming languages, many of which incorporate algebraic terms and rewrite rules.  ... 
doi:10.1007/978-3-030-17502-3_6 fatcat:u6db56y3tve53bmhuafstnqxaq

Benchmarking implementations of functional languages with 'Pseudoknot', a float-intensive benchmark

Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. Van Groningen, Kevin Hammond, Bogumil Hausman (+15 others)
1996 Journal of functional programming  
An important consideration is how the program can be modified and tuned to obtain maximal performance on each language implementation.  ...  Secondly, the compilers vary in the kind and level of optimisations offered, so the effort required to obtain an optimal version of the program is similarly varied.  ...  The work at Glasgow is supported by an SOED Research F ellowship from the Royal Society of Edinburgh, and by the EPSRC A QUA and PARADE grants.  ... 
doi:10.1017/s0956796800001891 fatcat:psvn6vpwrffbxcncnjla7e2j2i

Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages [chapter]

Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada
2018 Lecture Notes in Computer Science  
However, implementation techniques and observed performance greatly vary across languages and tools.  ...  Many specification and programming languages have adopted term rewriting and pattern matching as a key feature.  ...  Beyond theoretical results, one main practical result is the introduction of algebraic terms and rewrite rules into many specification and programming languages, some of which are no longer available or  ... 
doi:10.1007/978-3-319-99840-4_1 fatcat:zt5x4mhun5fdhfbkra6fleoztq

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development

H. Ehrig, B. Mahr, I. Classen, F. Orejas
1992 Computer journal  
The intention of this part 1 of an overview paper on algebraic specifications is an informal introduction to formal methods for software development in general and to applications of algebraic specifications  ...  In part 2 of this paper we give a survey of the research field of algebraic specifications developed within the last two decades, which shows how the classical view of algebraic specifications has been  ...  of an executable specification into some programming language.  ... 
doi:10.1093/comjnl/35.5.460 fatcat:bydbyk3m4bc3vnr6xnn5no27lq

A decade of TAPSOFT [chapter]

Hartmut Ehrig, Bernd Mahr
1995 Lecture Notes in Computer Science  
and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin.  ...  The relationship between theory and practice of software development on the background of the driving forces in the 70'ies and 80'ies was the main topic of the ftrst TAPSOFT conference in 1985.  ...  Finally let us mention two other activities at TU Berlin: the design and efficient implementation of the language OPAL (by the group of Peter Pepper) which can be considered as a significant progress towards  ... 
doi:10.1007/3-540-59293-8_184 fatcat:vydozuun3fajhpxgakow7btv64

Compiling language definitions: the ASF+SDF compiler

M. G. J. Van Den Brand, J. Heering, P. Klint, P. A. Olivier
2002 ACM Transactions on Programming Languages and Systems  
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition and implementation of domain-specific languages, generation of program analysis  ...  It can handle large (10,000+ rule) language definitions and uses an efficient run-time storage scheme capable of handling large (1,000,000+ node) terms.  ...  ACKNOWLEDGMENTS We would like to thank Hayco de Jong for his contribution to the implementation of the ATerm library, Jurgen Vinju for looking into the efficiency of list matching and maintaining the current  ... 
doi:10.1145/567097.567099 fatcat:esq4htdlejejhfljvpbgrbdrk4

A Review of Object Oriented Database Concepts and their Implementation

Narciso Cerpa, Roy Dean
1993 Australasian Journal of Information Systems  
Object Oriented design and databases has attracted a great deal of attention in recent years.  ...  To illustrate and lend substance to this discussion a list is presented of OODBMS implementations. Their weaknesses and strengths are analysed.  ...  The implementation of Opal as the data definition language for Gemstone, had as an objective to implement a computationally complete data manipulation language.  ... 
doi:10.3127/ajis.v1i1.428 fatcat:5g63cm2k4zewbpoakrvgswxsb4

Types and persistence in database programming languages

Malcolm P. Atkinson, O. Peter Buneman
1987 ACM Computing Surveys  
The design of these languages is still in its infancy, and the purpose of writing this review is to identify the areas in which further research is required.  ...  Traditionally, the interface between a programming language and a database has either been through a set of relatively low-level subroutine calls, or it has required some form of embedding of one language  ...  FQL [Buneman et al. 1982a ] is a functional algebra designed for the implementation and optimization of functional languages.  ... 
doi:10.1145/62070.45066 fatcat:53smnvabyvdydhfwvdtfofiuha

Computer codes for beam dynamics analysis of cyclotronlike accelerators

V. Smirnov
2017 Physical Review Accelerators and Beams  
The basic features of the programs available to users and limitations of their applicability are described.  ...  The description of the programs prepared in the worldwide known accelerator centers is provided.  ...  Francois Méot for continuous and fruitful discussions about ZGOUBI and a detailed explanation of the methods and algorithms that are used in the code. I also wish to acknowledge Dr.  ... 
doi:10.1103/physrevaccelbeams.20.124801 fatcat:3bcilx2l5zgvharscxitmmttqi

Making standard ML a practical database programming language

Atsushi Ohori, Katsuhiro Ueno
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
This paper describes the necessary extensions to the type system and compilation, and reports on the details of its implementation.  ...  Integrating a database query language into a programming language is becoming increasingly important in recently emerging high-level cloud computing and other applications, where efficient and sophisticated  ...  We note that SQL is an algebraic language based on the relational algebra.  ... 
doi:10.1145/2034773.2034815 dblp:conf/icfp/OhoriU11 fatcat:7qaly4tinjhkplmrmwiang263y

Making standard ML a practical database programming language

Atsushi Ohori, Katsuhiro Ueno
2011 SIGPLAN notices  
This paper describes the necessary extensions to the type system and compilation, and reports on the details of its implementation.  ...  Integrating a database query language into a programming language is becoming increasingly important in recently emerging high-level cloud computing and other applications, where efficient and sophisticated  ...  We note that SQL is an algebraic language based on the relational algebra.  ... 
doi:10.1145/2034574.2034815 fatcat:e2izvav3c5bqde4a2yzegmwpgm
« Previous Showing results 1 — 15 out of 294 results