Log in

Relevant bibliographies by topics / Programming theory / Journal articles

To see the other types of publications on this topic, follow the link: Programming theory.

Journal articles on the topic 'Programming theory'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Programming theory.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Naur, Peter. "Programming as theory building." Microprocessing and Microprogramming 15, no. 5 (May 1985): 253–61. http://dx.doi.org/10.1016/0165-6074(85)90032-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Smith, David K., Michel Minoux, and Steven Vajda. "Mathematical Programming: Theory and Algorithms." Journal of the Operational Research Society 38, no. 7 (July 1987): 666. http://dx.doi.org/10.2307/2582404.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Osorio, Mauricio, Bharat Jayaraman, and David A. Plaisted. "Theory of partial-order programming." Science of Computer Programming 34, no. 3 (July 1999): 207–38. http://dx.doi.org/10.1016/s0167-6423(98)00018-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Smith, David K. "Mathematical Programming: Theory and Algorithms." Journal of the Operational Research Society 38, no. 7 (July 1987): 666. http://dx.doi.org/10.1057/jors.1987.110.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Murty, Katta G. "Nonlinear Programming Theory and Algorithms." Technometrics 49, no. 1 (February 2007): 105. http://dx.doi.org/10.1198/tech.2007.s458.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Shanmugam, Ramalingam. "Mathematical programming and game theory." Journal of Statistical Computation and Simulation 90, no. 3 (June 12, 2019): 570. http://dx.doi.org/10.1080/00949655.2019.1628891.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

de Queiroz, Ruy J. G. B., and Thomas S. E. Maibaum. "Proof theory and computer programming." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36, no. 5 (1990): 389–414. http://dx.doi.org/10.1002/malq.19900360505.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Singh, C., and M. A. Hanson. "Multiobjective fractional programming duality theory." Naval Research Logistics (NRL) 38, no. 6 (December 1991): 925–33. http://dx.doi.org/10.1002/nav.3800380610.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Scarf, Herbert E. "Mathematical Programming and Economic Theory." Operations Research 38, no. 3 (June 1990): 377–85. http://dx.doi.org/10.1287/opre.38.3.377.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lavrischeva, K. M. "Compositional programming: theory and practice." Cybernetics and Systems Analysis 45, no. 6 (November 2009): 845–53. http://dx.doi.org/10.1007/s10559-009-9154-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Tzafestas, Spyros. "Genetic Programming Theory and Practice." Journal of Intelligent and Robotic Systems 45, no. 1 (January 2006): 97–99. http://dx.doi.org/10.1007/s10846-005-9004-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Horváth, Á. P. "Potential theory and quadratic programming." Bulletin des Sciences Mathématiques 160 (May 2020): 102841. http://dx.doi.org/10.1016/j.bulsci.2020.102841.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Hehner, Eric C. R. "A practical theory of programming." Science of Computer Programming 14, no. 2-3 (October 1990): 133–58. http://dx.doi.org/10.1016/0167-6423(90)90018-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Plastria, Frank. "Nonlinear programming: Theory and algorithms." European Journal of Operational Research 77, no. 1 (August 1994): 190–92. http://dx.doi.org/10.1016/0377-2217(94)90039-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Tofallis, C., and I. M. Stancu-Minasian. "Fractional Programming: Theory, Methods and Applications." Journal of the Operational Research Society 49, no. 8 (August 1998): 895. http://dx.doi.org/10.2307/3009971.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Shepherdson, J. C., and Melvin Fitting. "Computability Theory, Semantics, and Logic Programming." Journal of Symbolic Logic 53, no. 4 (December 1988): 1257. http://dx.doi.org/10.2307/2274624.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Smith, David K., and Alexander Schrijver. "Theory of Linear and Integer Programming." Journal of the Operational Research Society 38, no. 6 (June 1987): 561. http://dx.doi.org/10.2307/2582770.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Morales, D. G., F. Almeida, C. Rodrı́guez, J. L. Roda, I. Coloma, and A. Delgado. "Parallel dynamic programming and automata theory." Parallel Computing 26, no. 1 (January 2000): 113–34. http://dx.doi.org/10.1016/s0167-8191(99)00098-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Smith, David K. "Theory of Linear and Integer Programming." Journal of the Operational Research Society 38, no. 6 (June 1987): 561. http://dx.doi.org/10.1057/jors.1987.94.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Tofallis, C. "Fractional Programming: Theory, Methods and Applications." Journal of the Operational Research Society 49, no. 8 (August 1998): 895. http://dx.doi.org/10.1057/palgrave.jors.2600597.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Weng, Juyang. "Autonomous Programming for General Purposes: Theory." International Journal of Humanoid Robotics 17, no. 04 (August 2020): 2050016. http://dx.doi.org/10.1142/s0219843620500164.

Full text

Abstract:

The universal Turing Machine (TM) is a model for Von Neumann computers — general-purpose computers. A human brain, linked with its biological body, can inside-skull-autonomously learn a universal TM so that he acts as a general-purpose computer and writes a computer program for any practical purposes. It is unknown whether a robot can accomplish the same. This theoretical work shows how the Developmental Network (DN), linked with its robot body, can accomplish this. Unlike a traditional TM, the TM learned by DN is a super TM — Grounded, Emergent, Natural, Incremental, Skulled, Attentive, Motivated, and Abstractive (GENISAMA). A DN is free of any central controller (e.g., Master Map, convolution, or error back-propagation). Its learning from a teacher TM is one transition observation at a time, immediate, and error-free until all its neurons have been initialized by early observed teacher transitions. From that point on, the DN is no longer error-free but is always optimal at every time instance in the sense of maximal likelihood, conditioned on its limited computational resources and the learning experience. This paper extends the Church–Turing thesis to a stronger version — a GENISAMA TM is capable of Autonomous Programming for General Purposes (APFGP) — and proves both the Church–Turing thesis and its stronger version.

APA, Harvard, Vancouver, ISO, and other styles

22

Lyall, Vinod. "Duality Theory in Inexact Multiobjective Programming." Journal of Information and Optimization Sciences 9, no. 2 (May 1988): 199–206. http://dx.doi.org/10.1080/02522667.1988.10698920.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Singh, B. "Duality Theory In Multiobjective Differentiable Programming." Journal of Information and Optimization Sciences 9, no. 2 (May 1988): 231–40. http://dx.doi.org/10.1080/02522667.1988.10698924.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Sun, Yuhua, and Laisheng Wang. "Duality Theory for Interval-Valued Programming." Advanced Science Letters 7, no. 1 (March 30, 2012): 643–46. http://dx.doi.org/10.1166/asl.2012.2694.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Letchford, A. N., and A. Schrijver. "Theory of Linear and Integer Programming." Journal of the Operational Research Society 51, no. 7 (July 2000): 892. http://dx.doi.org/10.2307/253980.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Mairson, Harry. "Programming language foundations of computation theory." ACM SIGSOFT Software Engineering Notes 25, no. 1 (January 2000): 63. http://dx.doi.org/10.1145/340855.340972.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Tofallis, C. "Fractional Programming: Theory, Methods and Applications." Journal of the Operational Research Society 49, no. 8 (1998): 895. http://dx.doi.org/10.1038/sj.jors.2600597.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Zoerink, Dean A. "Therapeutic Recreation Programming: Theory and Practice." Leisure Sciences 25, no. 1 (January 2003): 105–6. http://dx.doi.org/10.1080/01490400306554.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Craft, Anna. "Neuro-linguistic Programming and learning theory." Curriculum Journal 12, no. 1 (March 1, 2001): 125–36. http://dx.doi.org/10.1080/09585170010017781.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Craft, Anna. "Neuro‐linguistic Programming and learning theory." Curriculum Journal 12, no. 1 (March 2001): 125–36. http://dx.doi.org/10.1080/09585170122455.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Hannemann, R., J. Hannemann, M. Zellerhoff, and L. Klinkenbusch. "Scientific programming in field theory. I." Computing in Science & Engineering 3, no. 3 (2001): 66–74. http://dx.doi.org/10.1109/5992.919269.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Hannemann, J., R. Hannemann, M. Zellerhoff, and L. Klinkenbusch. "Scientific programming in field theory. 2." Computing in Science & Engineering 3, no. 4 (2001): 78–85. http://dx.doi.org/10.1109/5992.931907.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Zojaji, Zahra, and Mohammad Mehdi Ebadzadeh. "Semantic schema theory for genetic programming." Applied Intelligence 44, no. 1 (July 23, 2015): 67–87. http://dx.doi.org/10.1007/s10489-015-0696-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Potts, C. N. "Theory of linear and integer programming." European Journal of Operational Research 33, no. 3 (February 1988): 357–58. http://dx.doi.org/10.1016/0377-2217(88)90189-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Renegar, James. "Some perturbation theory for linear programming." Mathematical Programming 65, no. 1-3 (February 1994): 73–91. http://dx.doi.org/10.1007/bf01581690.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Gaitsgory, V. A., and A. A. Pervozvanskii. "Perturbation theory for mathematical programming problems." Journal of Optimization Theory and Applications 49, no. 3 (June 1986): 389–410. http://dx.doi.org/10.1007/bf00941069.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Ringwood, Graem. "Computability theory, semantics and logic programming." Science of Computer Programming 11, no. 1 (October 1988): 91–94. http://dx.doi.org/10.1016/0167-6423(88)90069-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

SokoŁowski, Stefan. "Programming Language Theory and Its Implementation." Science of Computer Programming 13, no. 1 (December 1989): 119–22. http://dx.doi.org/10.1016/0167-6423(89)90019-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Mendler, Nax. "Programming in Martin-Löf's type theory." Science of Computer Programming 16, no. 2 (September 1991): 202–3. http://dx.doi.org/10.1016/0167-6423(91)90006-j.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Muggleton, Stephen, and Luc de Raedt. "Inductive Logic Programming: Theory and methods." Journal of Logic Programming 19-20 (May 1994): 629–79. http://dx.doi.org/10.1016/0743-1066(94)90035-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Patrizini, G. "Nonlinear programming: Theory, algorithms, and applications." European Journal of Operational Research 20, no. 2 (May 1985): 274–76. http://dx.doi.org/10.1016/0377-2217(85)90076-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Cai, Yongyang, Kenneth L. Judd, Thomas S. Lontzek, Valentina Michelangeli, and Che-Lin Su. "A NONLINEAR PROGRAMMING METHOD FOR DYNAMIC PROGRAMMING." Macroeconomic Dynamics 21, no. 2 (January 18, 2016): 336–61. http://dx.doi.org/10.1017/s1365100515000528.

Full text

Abstract:

A nonlinear programming formulation is introduced to solve infinite-horizon dynamic programming problems. This extends the linear approach to dynamic programming by using ideas from approximation theory to approximate value functions. Our numerical results show that this nonlinear programming is efficient and accurate, and avoids inefficient discretization.

APA, Harvard, Vancouver, ISO, and other styles

43

Lemon, Alex, Anthony Man-Cho So, and Yinyu Ye. "Low-Rank Semidefinite Programming: Theory and Applications." Foundations and Trends® in Optimization 2, no. 1-2 (2016): 1–156. http://dx.doi.org/10.1561/2400000009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Ganesan, G. Ramesh, K. "Duality Theory for Interval Linear Programming Problems." IOSR Journal of Mathematics 4, no. 4 (2012): 39–47. http://dx.doi.org/10.9790/5728-0443947.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Rosales-Macedo, Hector A., Mokhtar S. Bazaraa, Hanif D. Sherali, and C. M. Shetty. "Nonlinear Programming: Theory and Algorithms (2nd Edition)." Journal of the Operational Research Society 45, no. 7 (July 1994): 846. http://dx.doi.org/10.2307/2584294.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Appa, Gautam, and Gerard Sierksma. "Linear and Integer Programming Theory and Practice." Mathematical Gazette 83, no. 498 (November 1999): 560. http://dx.doi.org/10.2307/3621017.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Wang, Yun, and Hao Xu. "Dual Theory for Matrix Linear Bilevel Programming." Journal of Applied Mathematics and Computation 4, no. 4 (November 6, 2020): 147–52. http://dx.doi.org/10.26855/jamc.2020.12.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Gordon, Andrew D. "Bisimilarity as a theory of functional programming." Theoretical Computer Science 228, no. 1-2 (October 1999): 5–47. http://dx.doi.org/10.1016/s0304-3975(98)00353-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Gordon, A. "Bisimilarity as a Theory of Functional Programming." Electronic Notes in Theoretical Computer Science 1, no. 1 (January 2004): 1–21. http://dx.doi.org/10.1016/s1571-0661(04)00013-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Gordon, Andrew D. "Bisimilarity as a Theory of Functional Programming." Electronic Notes in Theoretical Computer Science 1 (1995): 232–52. http://dx.doi.org/10.1016/s1571-0661(04)80013-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!