Titlebook: Central European Functional Programming School; Second Summer School Zoltán Horváth,Rinus Plasmeijer,Viktória Zsók Textbook 2008 Springer-V

細(xì)節(jié)

Emission, Absorption, Dispersion,RefactorErl, a refactoring tool for the Erlang language helps the programmer raise the quality of Erlang code or make the code suitable for further changes and improvements. Many examples illustrate the seven transformations currently implemented in RefactorErl. The paper also discusses the problems the refactor tool has to face.

cuticle

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/223178.jpg

多節(jié)

https://doi.org/10.1007/978-3-642-61749-2ork flow systems are automated systems in which . are coordinated that have to be executed by either humans or computers. The combinators that we propose support work flow patterns commonly found in commercial work flow systems. In addition, we introduce novel work flow patterns that capture real wo

instulate

The Endocrinology of Menopausal Hot Flashes,ing language .. The purpose of a proof assistant is to use formal reasoning to verify the correctness of a computer program. Formal reasoning is very powerful, but is unfortunately also difficult to carry out..Due to their mathematical nature, functional programming languages are well suited for for

Left-Atrium

確定

FLIP

,Einleitung. Historische übersicht,mania, between 25-30 June, 2007. It can be viewed as a tutorial on the use of the .mega programming language..It introduces readers to the . notion based upon the Curry-Howard isomorphism. Such types can express precise properties of programs. The .mega language allows us to use a single language fo

幻影

禁止

竊喜

,Einleitung. Historische übersicht,s a target language. Because the compiler is intended for educational and experimental use, simplicity and clearness of construction are considered to be more important than efficiency. Starting point for the construction is a simple interpreter. In a first step this interpreter is turned into a sim