Results 101 to 110 of about 188,404 (207)

FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface : approaching a theory of unsafePerformIO

, 2003
This paper proposes a non-standard way to combine lazy functional languages with I/O. In order to demonstrate the usefulness of the approach, a tiny lazy functional core language FUNDIO , which is also a call-by-need lambda calculus, is investigated. The
Schmidt-Schauß, Manfred
core  

Typical Examples of Atoment Language Using

Моделирование и анализ информационных систем, 2011
Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj  

A formal semantics for control and data flow in the gannet service-based system-on-chip architecture [PDF]

, 2008
There is a growing demand for solutions which allow the design of large and complex reconfigurable Systems-on- Chip (SoC) at high abstraction levels. The Gannet project proposes a functional programming approach for high-abstraction design of very large
Vanderbauwhede, W.
core  

Defeasible logic programming: language definition, operational semantics, and parallelism

Journal of Computer Science and Technology, 2001
This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj  

Establishment of Ship-Motion-Based Operational Limiting Criteria for Safe and Efficient Offshore Cable-Laying Operations

Journal of Marine Science and Engineering
As offshore wind projects are located further and deeper in the ocean, time-intensive and costly cable laying plays an increasingly critical role in offshore wind farm construction.
Xu Han, Zhibo Xu, Xin Li, Wei Shi, Zhipeng Leng   +4 more
doaj   +1 more source

Process Algebras

, 2011
Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco, De Nicola, R
core   +1 more source

Programming Mobile Intelligent Agents: an Operational Semantics

, 2004
International audienceThis work presents the operational semantics of an agent oriented programming language called CLAIM. CLAIM allows the design of multiagent systems that support both stationary and mobile agents.
El Fallah-Seghrouchni, Amal, Suna, Alexandru   +1 more
core   +1 more source

The New Operational Quantity Ambient Dose in Environmental Radiation Monitoring

Applied Sciences
In ICRU Report 95, the International Commission on Radiation Units and Measurements (ICRU) has proposed jointly with the International Commission on Radiological Protection (ICRP) new operational quantities for external radiation.
Thomas Otto
doaj   +1 more source

Fuzzy Evaluation Model for Operational Performance of Air Cleaning Equipment

Mathematics
Global warming has led to the continuous deterioration of the living environment, in which air quality directly affects human health. In addition, the severity of the COVID-19 pandemic has further increased the attention to indoor air quality.
Kuen-Suan Chen, Tsun-Hung Huang, Chun-Min Yu, Hui-E Lee   +3 more
doaj   +1 more source

Program equivalence for a concurrent lambda calculus with futures

, 2006
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Sabel, David, Niehren, Joachim, Schmidt-Schauß, Manfred, Schwinghammer, Jan   +3 more
core