Parallel and Distributed Programming in Concurrent Clean

Plasmeijer, Rinus; Eekelen, M.C.J.D. van; Pil, Marco; Serrarens, Pascal R.

doi:10.1007/978-1-4471-0841-2_15

Cited by 15 publications

(19 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Examples of languages defined this way are SQL (based on the relational algebra), workflow languages like YAWL [10] (based on Extended Workflow Nets which are again based on Petri nets), functional programming languages like Haskell [11] and Clean [12] (based on term rewriting systems which are again based on the lambda calculus) and the .NET framework [13].…”

Section: Formal Design Of a Languagementioning

confidence: 99%

See 1 more Smart Citation

Fact-Oriented Modeling from a Programming Language Designer’s Perspective

Pepels

Plasmeijer

Proper

2006

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops

Self Cite

View full text Add to dashboard Cite

Abstract. We investigate how achievements of programming languages research can be used for designing and extending fact oriented modeling languages. Our core contribution is that we show how extending fact oriented modeling languages with the single concept of algebraic data types leads to a natural and straightforward modeling of complex information structures like unnamed collection types and higher order types.

show abstract

Section: Formal Design Of a Languagementioning

confidence: 99%

“…In Figure 2 we give a grammar for the definition of an algebraic type using EBNF notation. This grammar is taken from [12]; we will use it also in the next sections. {q}+ means one or more appearances of q. Terminals are denoted in capitals, non-terminals in lower case.…”

Section: Algebraic Data Typesmentioning

confidence: 99%

Fact-Oriented Modeling from a Programming Language Designer’s Perspective

Pepels

Plasmeijer

Proper

2006

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops

Self Cite

View full text Add to dashboard Cite

show abstract

“…Gast is implemented in the functional programming language Clean [14]. The primary goal is to test software written in Clean.…”

Section: Introductionmentioning

confidence: 99%

Gast: Generic Automated Software Testing

Koopman¹,

Alimarine²,

Tretmans³

et al. 2003

Implementation of Functional Languages

Self Cite

View full text Add to dashboard Cite

Abstract. Software testing is a labor-intensive and hence expensive, yet heavily used technique to control quality. In this paper we introduce Gast, a fully automatic test-tool. Properties from first order logic can be expressed in the system, Gast automatically generates appropriate test-data, evaluates the property for these values, and analyzes the test-results. In this way it becomes easier and cheaper to test software components. The distinguishing property of our system is that the test-data are generated in a systematic and generic way using generic programming techniques. This implies that there is no need for the user to indicate how data should be generated. Moreover, duplicated tests are avoided and for finite domains Gast is able to proof a property by testing it for all possible values. As an important side-effect, it also encourages stating formal properties of the software.

show abstract

“…The specification is a state transition function written in Clean [18] is given in figure 1. The function spec is the heart of the specification.…”

Section: Here We Test Aspect (1) and (4)mentioning

confidence: 99%

“…The conformance relation is based on the well-known ioco relation. As a host language, we use the pure functional programming language Clean [18]. Clean is a state-of-art programming language with support for Algebraic Data Types (ADTs), generic programming [1], and features the generic test tool G∀ST [6] that is used in this work to implement the testing framework.…”

Section: Introductionmentioning

confidence: 99%

Model-Based Testing of Thin-Client Web Applications and Navigation Input

Koopman

Achten

Plasmeijer

Practical Aspects of Declarative Languages

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper we present a novel automated, on-line, modelbased testing system for on-the-fly testing of thin-client web applications. Web applications are specified by means of Extended State Machines. To handle dynamic web applications, arbitrarily large and complex state input and output types, and the transport of information from the webpage to the state of the specification, we define a new, ioco like, conformance relation. In this conformance relation a specification is a function from state and input to functions from output to the new states. The implementation builds on the G∀ST test tool and spots errors in real web applications.

show abstract

Parallel and Distributed Programming in Concurrent Clean

Cited by 15 publications

References 0 publications

Fact-Oriented Modeling from a Programming Language Designer’s Perspective

Fact-Oriented Modeling from a Programming Language Designer’s Perspective

Gast: Generic Automated Software Testing

Model-Based Testing of Thin-Client Web Applications and Navigation Input

Contact Info

Product

Resources

About