Results 21 to 30 of about 24,130 (303)
A Model of Cooperative Threads [PDF]
Logical Methods in Computer Science, 2010 We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control.
Martín Abadi, Gordon D. Plotkin
doaj +1 more source
A tier-based typed programming language characterizing Feasible Functionals [PDF]
Logical Methods in Computer Science, 2022 The class of Basic Feasible Functionals BFF$_2$ is the type-2 counterpart of the class FP of type-1 functions computable in polynomial time. Several characterizations have been suggested in the literature, but none of these present a programming language
Emmanuel Hainry +3 more
doaj +1 more source
Event-based graphical monitoring in the EpochX genetic programming framework [PDF]
, 2013 EpochX is a genetic programming framework with provision for event management – similar to the Java event model – allowing the notification of particular actions during the lifecycle of the evolutionary algorithm. It also provides a flexible Stats system
Loïc Vaseux +7 more
core +1 more source
Functional programming languages for verification tools: a comparison of Standard ML and Haskell [PDF]
, 2005 We compare Haskell with Standard ML as programming languages for verification tools based on our experience developing the verification platform Truth in Haskell and the Edinburgh Concurrency Workbench (CWB) in Standard ML.
Weber, Michael +3 more
core +1 more source
Notes on Recent Achievements in Proving Stability using KeYmaeraX
Моделирование и анализ информационных систем, 2021 KeYmaeraX is a Hoare-style theorem prover for hybrid systems. A hybrid system can be seen as an aggregation of both discrete and continuous variables, whose values can change abruptly or continuously, respectively.
Thomas Baar, Horst Schulte
doaj +1 more source
Recursive Definitions of Monadic Functions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple option monad and the state-exception monad of Isabelle/HOL's imperative ...
Alexander Krauss
doaj +1 more source
Reversing an imperative concurrent programming language
Science of Computer Programming, 2022 We introduce a method of reversing the execution of imperative concurrent programs. Given an irreversible program, we describe the process of producing two versions. The first performs forward execution and saves information necessary for reversal. The second uses this saved information to simulate reversal.
James Hoey, Irek Ulidowski
openaire +2 more sources
Introductory Programming Subject in European Higher Education
Informatics in Education, 2016 Programming is one of the basic subjects in most informatics, computer science mathematics and technical faculties' curricula. Integrated overview of the models for teaching programming, problems in teaching and suggested solutions were presented in this
Veljko ALEKSIĆ, Mirjana IVANOVIĆ
doaj +1 more source
Investigating Compilation Errors of Students Learning Haskell [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 While functional programming is an efficient way to express complex software, functional programming languages have a steep learning curve. Haskell can be challenging to learn for students who were only introduced to imperative programming.
Boldizsár Németh +3 more
doaj +1 more source
How functional programming mattered [PDF]
, 2015 In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is
Hu, Z. J. +10 more
core +1 more source