Results 11 to 20 of about 24,130 (303)
Imperative LF Meta-Programming
Electronic Notes in Theoretical Computer Science, 2008 AbstractLogical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are relatively well understood, languages and techniques for meta-programming with them are much less so.
Stump, Aaron
openaire +2 more sources
Imperative Programming in Sets with Atoms. [PDF]
Foundations of Software Technology and Theoretical Computer Science, 2012 We define an imperative programming language, which extends while programs with a type for storing atoms or hereditarily orbit-finite sets. To deal with an orbit-finite set, the language has a loop construction, which is executed in parallel for all elements of an orbit-finite set. We show examples of programs in this language, e.g.
Mikolaj Bojanczyk, Szymon Torunczyk
openaire +4 more sources
About Parallel Programming: Paradigms, Parallel Execution and Collaborative Systems [PDF]
Informatică economică, 2009 In the last years, there were made efforts for delineation of a stabile and unitary frame, where the problems of logical parallel processing must find solutions at least at the level of imperative languages.
Loredana MOCEAN, Monica CEACA
doaj +1 more source
Imperative Program Synthesis from Answer Set Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Our research concerns generating imperative programs from Answer Set Programming Specifications. ASP is highly declarative and is ideal for writing specifications.
Sarat Chandra Varanasi
doaj +1 more source
Reversing Imperative Parallel Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In Proceedings EXPRESS/SOS 2017, arXiv:1709 ...
James Hoey, Irek Ulidowski, Shoji Yuen
openaire +4 more sources
A Behavioral Specification of Imperative Programming Languages [PDF]
, 2006 In this paper, we give a denotational semantics of imperative programming languages as a CafeOBJ behavioral specification. Since CafeOBJ is an executable algebraic specification language, not only execution of programs but also semi-automatic ...
NAKAMURA, Masaki +2 more
core +1 more source
C in CS1: Snags and Viable Solution
Mehran University Research Journal of Engineering and Technology, 2018 Programming is one of the career rewarding skills; however, learning programming skill is extremely hard and arduous as supported by several studies.
Shumail Naveed +2 more
doaj +3 more sources
Quantum Programming Made Easy [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative programming with high-order features, mediated by a simple type theory. IQu mildly merges
Luca Paolini +2 more
doaj +1 more source
Imperative functional programming [PDF]
ACM Computing Surveys, 1996 Our intuitive idea of a function is that it describes the dependence of one quantity upon another. There is no condition on what kind of quantities are involved. They could be integers, Turing machines, binary search trees, window hierarchies, digital circuits or whatever. The possibilities are endless.
openaire +1 more source
EpochX: Genetic Programming in Java with Statistics and Event Monitoring [PDF]
, 2012 EpochX is a Genetic Programming (GP) framework written in Java. It allows the creation of tree-based and grammar-based GP systems. It has been created to reflect typical ways in which Java programmers work, for example, borrowing from the Java event ...
Colin Johnson +5 more
core +1 more source