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 ...
详细信息
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.
Inductive functional programming (IFP) is a research field extending from software science to artificial intelligence that deals with functional program synthesis based on generalization from ambiguous specifications,...
详细信息
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,...
详细信息
We introduce an interactive tutor that supports the stepwise development of simple functional programs. Using this tutor, students receive feedback about whether or not they are on the right track, can ask for a hint ...
详细信息
Computer programs interact with users, and programmers must describe this interaction when they write programs. programming languages usually allow programmers to describe this interaction with primitive read and writ...
详细信息
This paper describes the implementation of a functional programming language interpreter. The interpreter is written in Forth and runs on any Forth system, including a novel processor called the Scalable Configurable ...
详细信息
This paper describes the implementation of a functional programming language interpreter. The interpreter is written in Forth and runs on any Forth system, including a novel processor called the Scalable Configurable Instrument Processor (SCIP), designed at the Johns Hopkins Applied Physics Laboratory. The combination of this novel processor, Forth, and functional programming provides a layering of simple technologies that yields a unique programming and execution environment. The SCIP processor also has a clear transition path to use in space-borne applications
In 1989 John Hughes published an influential position paper entitled Why functional programming Matters. The article extolls the virtues of lazy functional programming by developing several examples: the Newton-Rhapso...
详细信息
暂无评论