In the article the system for problem testing and checking is considered. The most important features of testing system, tools for automated problem checking and the features for the next system version are considered.
In the article the system for problem testing and checking is considered. The most important features of testing system, tools for automated problem checking and the features for the next system version are considered.
This paper describes Haskelite, a step-by-step interpreter for a small subset of Haskell. Haskelite is designed to help teach fundamental concepts of functional programming, namely: evaluation by rewriting;definition ...
详细信息
The impact of declarative (functional) programming is inhibited by the need to learn/use new languages. A series of language extensions implemented by preprocessing, which integrates functional programming into the Ad...
详细信息
This paper describes ongoing work aimed at the construction of formal cost models and analyses to yield verifiable guarantees of resource usage in the context of real-time embedded systems. Our work is conducted in te...
详细信息
ISBN:
(纸本)9783939897033
This paper describes ongoing work aimed at the construction of formal cost models and analyses to yield verifiable guarantees of resource usage in the context of real-time embedded systems. Our work is conducted in terms of the domain-specific language Hume, a language that combines functional programming for computations with finitestate automata for specifying reactive systems. We outline an approach in which high-level information derived from source-code analysis can be combined with worst-case execution time information obtained from high quality abstract interpretation of low-level binary code.
Embedded computer systems are rapidly gaining more and more ground, from stand alone systems to networked based systems with complex logic. The primary goal of embedded systems is to provide a reliable service over a ...
详细信息
Embedded computer systems are rapidly gaining more and more ground, from stand alone systems to networked based systems with complex logic. The primary goal of embedded systems is to provide a reliable service over a period of time without any kind of intervention. These systems are mainly programmed in low level languages and are often the subject of software flaws inherited from unsafeness of these languages. The purpose of our research is to develop safe, secure, verifiable software for these systems, without significant performance loss. With the use of functional paradigm we are able to rapidly develop elegant code and solve complex tasks with ease.
The paper deals with the fundamental computational rule of functional programming languages, namely the rule of beta conversion. This rule specifies the way in which a function f is applied to its argument a. There ar...
详细信息
This paper describes an interactively controlled reduction system π-RED which may be employed to teach both basic concepts of functional programming and program execution at the undergraduate level, and advanced topi...
详细信息
This paper discusses the Dstl experience of applying the emerging Object-functional paradigm to simulation modelling for defence and the ‘so-what’ for analysis. The simulation framework has been named GAMOV, in reco...
详细信息
This paper presents a method for formalization of operations on certai6 class of syntacti tally represented linked Data Structures and then defines a set of functions to perform the operations. The formalization will ...
详细信息
Object-oriented programming languages are suitable for describing real-world objects, functional programming languages for algebraic values. In this paper we propose an object-oriented functional programming language,...
详细信息
暂无评论