Search Results - "Imperative programming"

DECLARATIVE PROGRAMMING IN MODERN IMPERATIVE LANGUAGES.

Authors: Hamel, Lutz¹

Source: Proceedings of the IADIS International Conference on WWW/Internet; 2023, p207-211, 5p

Stepwise debugging of answer-set programs.

Authors: OETSCH, JOHANNES PÜHRER, JÖRG TOMPITS, HANS

Source: Theory & Practice of Logic Programming. Jan2018, Vol. 18 Issue 1, p30-80. 51p.

Independence from obfuscation: A semantic framework for diversity.

Authors: Pucella, Riccardo Schneider, Fred B.

Source: Journal of Computer Security. 2010, Vol. 18 Issue 5, p701-749. 49p. 11 Diagrams.

Subjects: Replication (Experimental design), Imperative programming, Programmed instruction writing, Memory, Web typography, Layout (Printing)

Minimal realization for fuzzy behaviour: A bicategory-theoretic approach.

Authors: Tiwari, S. P. Yadav, Vijay K. Dubey, M. K.

Source: Journal of Intelligent & Fuzzy Systems; 2016, Vol. 30 Issue 2, p1057-1065, 9p

Reactive Imperative Programming with Dataflow Constraints.

Authors: DEMETRESCU, CAMIL FINOCCHI, IRENE RIBICHINI, ANDREA

Source: ACM Transactions on Programming Languages & Systems; Nov2014, Vol. 37 Issue 1, p3:1-3:53, 53p

The Curse of the Excluded Middle.

Authors: MEIJER, ERIK^1,2, emeijer@applied-duality.com

Source: Communications of the ACM; Jun2014, Vol. 57 Issue 6, p50-55, 6p, 1 Color Photograph, 8 Charts

Discharge characteristics of CF3I/N2 mixtures under lightning impulse and alternating voltage.

Authors: Zhao, Su Xiao, Dengming Zhang, Hui et al.

Source: IEEE Transactions on Dielectrics & Electrical Insulation. Oct2017, Vol. 24 Issue 5, p2731-2737. 7p.

Subjects: Imperative programming, Computer programming, Chemical decomposition, Scission (Chemistry), Electric fields

A Formal C Memory Model for Separation Logic.

Authors: Krebbers, Robbert mail@robbertkrebbers.nl

Source: Journal of Automated Reasoning. Dec2016, Vol. 57 Issue 4, p319-387. 69p.

Subjects: Imperative programming, Programming languages, Computer storage devices, C (Computer program language), Compilers (Computer programs)

Building program construction and verification tools from algebraic principles.

Authors: Armstrong, Alasdair Gomes, Victor Struth, Georg

Source: Formal Aspects of Computing. Apr2016, Vol. 28 Issue 2, p265-293. 29p.

Subjects: Imperative programming, Kleene algebra, Data flow computing, Semantic computing, Recursive functions

On the Origin of Recursive Procedures.

Authors: VAN DEN HOVE, GAUTHIER¹ ghe@cwi.nl

Source: Computer Journal. Nov2015, Vol. 58 Issue 11, p2892-2899. 8p.

Subjects: Recursive programming, Imperative programming, Recursion theory, Programming languages, Integers

Tracing sharing in an imperative pure calculus.

Authors: Giannini, Paola Richter, Tim Servetto, Marco et al.

Source: Science of Computer Programming; Mar2019, Vol. 172, p180-202, 23p

Model checking recursive programs interacting via the heap.

Authors: Asăvoae, I.M. de Boer, F. Bonsangue, M.M. et al.

Source: Science of Computer Programming. Mar2015, Vol. 100, p61-83. 23p.

Subjects: Recursive programming, Imperative programming, Programming languages, Mathematical bounds, Object-oriented programming

A symbolic analysis framework for static analysis of imperative programming languages

Authors: Burgstaller, Bernd Scholz, Bernhard Blieberger, Johann

Source: Journal of Systems & Software. Jun2012, Vol. 85 Issue 6, p1418-1439. 22p.

Subjects: Symbolic computation, Imperative programming, Programming languages, Computer software, Homomorphisms, Compactification (Mathematics)

The Digital Imperative: Making the Case for a 21^st-Century Pedagogy

Authors: Clark, J. Elizabeth¹ lclark@lagcc.cuny.edu

Source: Computers & Composition. Mar2010, Vol. 27 Issue 1, p27-35. 9p.

Subjects: Imperative programming, Computers & literacy, Web 2.0, Rhetoric, Computer software, Electronic portfolios in education

Matrix Code.

Authors: van Emden, M.H.¹ vanemden@cs.uvic.ca

Source: Science of Computer Programming. May2014, Vol. 84, p3-21. 19p.

Subjects: Two-dimensional bar codes, Imperative programming, Denotational semantics, Logic programming, Heuristic algorithms, Mathematical transformations

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language

Authors: Keimel, K. Rosenbusch, A. Streicher, T.

Source: Theoretical Computer Science. Jun2011, Vol. 412 Issue 25, p2701-2713. 13p.

Subjects: Imperative programming, Denotational semantics, Predicate (Logic), Duality theory (Mathematics), Probability theory, Mathematical invariants, Isomorphism (Mathematics)

Alternating states for dual nondeterminism in imperative programming

Authors: Hesselink, Wim H.¹ http://www.cs.rug.nl/~wim

Source: Theoretical Computer Science. May2010, Vol. 411 Issue 22-24, p2317-2330. 14p.

Subjects: Imperative programming, Deterministic chaos, Calculus, Programming language semantics, Arbitrary constants, Mathematical models

Typing termination in a higher-order concurrent imperative language

Authors: Boudol, Gérard¹ gbo@sophia.inria.fr

Source: Information & Computation. Jun2010, Vol. 208 Issue 6, p716-736. 21p.

Subjects: Imperative programming, Concurrent Aggregates (Computer program language), Computer software termination, ML (Computer program language), Recursion theory, Mathematical analysis

A Formal Basis For Removing Goto Statements.

Authors: Pan, S. Dromey, R. G.

Source: Computer Journal. 1996, Vol. 39 Issue 3, p203-214. 12p.

Subjects: Imperative programming, Computer software correctness, Semantics, Redundancy in engineering, Recursion theory, Assertions (Logic)

Research on access control model of social network based on distributed logic.

Authors: Ma, Li Yang, Wenyin Huo, Yingyu et al.

Source: Future Generation Computer Systems; Jun2018, Vol. 83, p173-182, 10p