Results 271 to 280 of about 24,130 (303)
Some of the next articles are maybe not open access.
Introducing Imperative Programming
2007In Chapter 3 you saw some of the simple but powerful data types and language constructs that make up F# functional programming. The functional programming paradigm is strongly associated with “programming without side effects,” called pure functional programming.
Don Syme +2 more
openaire +1 more source
Imperatives and the Minimalist Program
2003English imperative clauses are characterized by a cluster of syntactic properties which have long presented a puzzle for linguistic theories like the generative framework (Chomsky 1957 to 1998). These include the variable presence of a lexical subject, the distribution of the item do(n’t) and restrictions on the use of the negation marker not.
openaire +1 more source
Imperative Functional Programming with Isabelle/HOL
2008We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of programs, a polymorphic heap model using enumeration encodings and type classes, and a state-exception monad similar to known counterparts from Haskell.
Lukas Bulwahn +4 more
openaire +1 more source
An Epistemic Model-Based Tutor for Imperative Programming
Lecture Notes in Computer Science, 2021Amruth N Kumar, Kumar Amruth N
exaly
Integrating functional and imperative programming
Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86, 1986David K. Gifford, John M. Lucassen
openaire +1 more source
Implementing constraint imperative programming languages
ACM SIGPLAN Notices, 1994Björn Freeman-Benson, Alan Borning
exaly +2 more sources
A Coalgebraic Semantics for Imperative Programming Languages
2013In the theory of programming languages, one often takes two complementary perspectives. In operational semantics, one defines and reasons about the behaviour of programs; and in denotational semantics, one abstracts away implementation details, and reasons about programs as mathematical objects or denotations.
openaire +3 more sources