Academic literature on the topic 'Computer program theory'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Computer program 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.

Journal articles on the topic "Computer program theory"

1

Middelburg, Cornelis. "Program Algebra for Random Access Machine Programs." Scientific Annals of Computer Science XXXII, no. 2 (2022): 285–319. http://dx.doi.org/10.7561/sacs.2022.2.285.

Full text
Abstract:
This paper presents an algebraic theory of instruction sequences with instructions for a random access machine (RAM) as basic instructions, the behaviours produced by the instruction sequences concerned under execution, and the interaction between such behaviours and RAM memories. This theory provides a setting for the development of theory in areas such as computational complexity and analysis of algorithms that distinguishes itself by offering the possibility of equational reasoning to establish whether an instruction sequence computes a given function and being more general than the setting
APA, Harvard, Vancouver, ISO, and other styles
2

Gerkushenko, Svetlana, and Georgy Gerkushenko. "The Play Theory and Computer Games Using in Early Childhood Education." International Journal of Game-Based Learning 4, no. 3 (2014): 47–60. http://dx.doi.org/10.4018/ijgbl.2014070105.

Full text
Abstract:
The article describes the role of play in child's development and identifies the characteristics of mature play in preschool age. The paper gives an overview of the computer games for preschool children used in Russian kindergartens. The research conducted with 50 Russian kindergarten teachers provides the analysis of the most important factors of computer programs selection made by teachers for their classroom activities. It is analyzed whether the factors concern the theory of children's play and whether the kindergarten teachers need the scaffolding program for choosing computer games appro
APA, Harvard, Vancouver, ISO, and other styles
3

HENRY, SHAWN R., and JEFFREY R. WEEKS. "SYMMETRY GROUPS OF HYPERBOLIC KNOTS AND LINKS." Journal of Knot Theory and Its Ramifications 01, no. 02 (1992): 185–201. http://dx.doi.org/10.1142/s0218216592000100.

Full text
Abstract:
Canonical triangulations provide an algorithm to compute the symmetry groups of hyperbolic links and their complements, along with information on how each symmetry acts on the link components. The latter information determines the chirality and invertibility of the link. Symmetry groups of knots to ten crossings and multicomponent hyperbolic links to nine crossing are listed, with some exceptions. A Macintosh computer program, available free of charge, computes symmetry groups interactively.
APA, Harvard, Vancouver, ISO, and other styles
4

Zhu, Ming-Yuan. "Program transformation in constructive type theory." ACM SIGPLAN Notices 30, no. 1 (1995): 11–19. http://dx.doi.org/10.1145/199818.199833.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pittenger, David J. "Perception Laboratory: A Computer Program to Demonstrate Perceptual Phenomena." Teaching of Psychology 23, no. 1 (1996): 46–48. http://dx.doi.org/10.1207/s15328023top2301_12.

Full text
Abstract:
I developed an interactive computer program that allows one to demonstrate and experiment with various phenomena in visual perception using IBM-compatible computers. The program contains modules for demonstrating the color afterimage, the cafe illusion, additive color mixing and the opponent-process theory of color vision, the glowing axes illusion, the Hermann grid, the McCollough effect, the motion aftereffect, the neon illusion, and simultaneous contrast. The user has considerable control over the stimuli making up the image and can manipulate the variables that contribute to the perception
APA, Harvard, Vancouver, ISO, and other styles
6

Burnett, R. B., and A. P. Schwab. "A computer program to aid in teaching diffuse layer theory." Journal of Agronomic Education 16, no. 1 (1987): 30–33. http://dx.doi.org/10.2134/jae1987.0030.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Pavelcik, Frantisek. "Phased rotation, conformation and translation function: theory and computer program." Journal of Applied Crystallography 39, no. 4 (2006): 483–86. http://dx.doi.org/10.1107/s0021889806013008.

Full text
Abstract:
A new crystallographic function, phased rotation conformation and translation (PRCTF), has been developed. The function is designed for automatic interpretation of electron density utilizing molecular fragments with some conformational freedom. A computer program,NUT, has been written for the calculation of the PRCTF.
APA, Harvard, Vancouver, ISO, and other styles
8

Vessey, Iris. "Toward a theory of computer program bugs: an empirical test." International Journal of Man-Machine Studies 30, no. 1 (1989): 23–46. http://dx.doi.org/10.1016/s0020-7373(89)80019-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Luo, Zhaohui. "Program specification and data refinement in type theory." Mathematical Structures in Computer Science 3, no. 3 (1993): 333–63. http://dx.doi.org/10.1017/s0960129500000256.

Full text
Abstract:
The study of type theory may offer a uniform language for modular programming, structured specification and logical reasoning. We develop an approach to program specification and data refinement in a type theory with a strong logical power and nice structural mechanisms to show that it provides an adequate formalism for modular development of programs and specifications. Specification of abstract data types is considered, and a notion of abstract implementation between specifications is defined in the type theory and studied as a basis for correct and modular development of programs by stepwis
APA, Harvard, Vancouver, ISO, and other styles
10

Shange, Thembeka. "The Possible Role of the English Word Power (EWP) Program in Motivating ICT Foundation Students to Learn English at a University of Technology in South Africa." International Journal of Applied Linguistics and English Literature 10, no. 5 (2021): 28. http://dx.doi.org/10.7575/aiac.ijalel.v.10n.5p.28.

Full text
Abstract:
This study reports on the possible role of the English Word Power (EWP) program in motivating ICT Foundation students to learn English at a University of Technology in South Africa. Current research indicates that computer-assisted language programs increase motivation and increase enjoyment of learning activities, but no study in South Africa has been conducted on whether this is the case with the EWP program. A qualitative approach was adopted. The sample comprised 44 purposefully selected student observations (n = 44); and five students completed journals. The findings from student observat
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Computer program theory"

1

Khamiss, A.-A. M. "Program construction in Martin-Lof's theory of types." Thesis, University of Essex, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373210.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Jervis, Clive Andrew. "A theory of program correctness with three valued logic." Thesis, University of Leeds, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277297.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ireland, Andrew. "Mechanization of program construction in Martin-Loef's theory of types." Thesis, University of Stirling, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236080.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Duong, Chay N. "A study of new-wave theory and an implementation of the new wave theory into GTSELOS computer program." Thesis, Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/21492.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Newlands, D. A., and mikewood@deakin edu au. "Structured development of an asynchronous forth processor using trace theory." Deakin University. School of Sciences, 1989. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20050915.140144.

Full text
Abstract:
This thesis examines the use of a structured design methodology in the design of asynchronous circuits so that high level constructs can be specified purely in terms of signal exchanges and without the intrusion of lower level concepts. Trace theory is used to specify a multi-processor Forth machine at a high level then part of the design is further elaborated using trace theory operations to (insure that the behaviours of the lower level constructs will combine to give the high level specified behaviour without locking or other hazards. A novel form of threaded language to take advantage of
APA, Harvard, Vancouver, ISO, and other styles
6

Doshi, Vishal D. (Vishal Devendra). "Functional compression : theory and application." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/43038.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and, (S.M. in Technology and Policy)--Massachusetts Institute of Technology Engineering Systems Division, Technology and Policy Program, 2008.<br>Includes bibliographical references (p. 75-77).<br>We consider the problem of functional compression. The objective is to separately compress possibly correlated discrete sources such that an arbitrary deterministic function of those sources can be computed given the compressed data from each source. This is motivated by problems in sensor netw
APA, Harvard, Vancouver, ISO, and other styles
7

Lee, Kathryn Green Melville Joel G. "Comparison of the theory, application, and results of one- and two- dimensional flow models." Auburn, Ala., 2006. http://repo.lib.auburn.edu/2006%20Summer/Theses/LEE_KATHRYN_42.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ghica, Dan R. "A games-based foundation for compositional software model checking /." Oxford : Oxford University Computing Laboratory, 2002. http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-02-13.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Heyer, Tim. "Semantic Inspection of Software Artifacts From Theory to Practice." Doctoral thesis, Linköping : Univ, 2001. http://www.ep.liu.se/diss/science_technology/07/25/index.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rushton, Matthew V. "Static and dynamic type systems." Diss., Connect to the thesis Connect to the thesis, 2004. http://hdl.handle.net/10066/1483.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Computer program theory"

1

BASIC theory of structures. Butterworths, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Logo: Theory & practice. Brooks/Cole Pub. Co., 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

1956-, McShane Marilyn D., ed. Criminological theory. 3rd ed. Prentice Hall, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Williams, Franklin P. Criminological theory. 5th ed. Pearson Education, Inc., 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Williams, Franklin P. Criminological theory. Prentice Hall, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Williams, Franklin P. Criminological theory. 2nd ed. Prentice Hall, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

A Small C compiler: Language, usage, theory, and design. M&T Pub., 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Rafiquzzaman, Mohamed. Microcontroller theory and applications with the PIC18F. John Wiley & Sons Inc., 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Royer, James S. A connotational theory of program structure. Springer-Verlag, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

The theory of thermodynamics. Cambridge University Press, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Computer program theory"

1

Reichel, Horst. "Behavioural program specification." In Category Theory and Computer Programming. Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-17162-2_134.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Coquand, Thierry. "Program construction in intuitionistic Type Theory." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60117-1_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Wuwongse, Vilas, and Ekawit Nantajeewarawat. "Declarative program theory with implicit implication." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61532-6_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lewin, Douglas, and David Noaks. "The stored program principle." In Theory and Design of Digital Computer Systems. Springer Netherlands, 1992. http://dx.doi.org/10.1007/978-94-011-1576-6_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Eusterbrock, Jutta. "Program synthesis from examples by theory formation." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63614-5_36.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Henson, Martin C., and Raymond Turner. "A constructive set theory for program development." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-50517-2_89.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Prunescu, Mihai. "About a Surprising Computer Program of Matthias Müller." In Convexity and Discrete Geometry Including Graph Theory. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-28186-5_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sannella, Donald, and Andrzej Tarlecki. "Extended ML: An institution-independent framework for formal program development." In Category Theory and Computer Programming. Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-17162-2_133.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Milanés, Vicente, Enrique Onieva, Joshué Pérez, et al. "AUTOPIA Program Advances: How to Automate the Traffic?" In Computer Aided Systems Theory – EUROCAST 2011. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27579-1_48.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Dybjer, Peter. "Program verification in a logical theory of constructions." In Functional Programming Languages and Computer Architecture. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15975-4_46.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Computer program theory"

1

"Program." In 2020 30th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2020. http://dx.doi.org/10.1109/iccta52020.2020.9477692.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

"Program." In 2017 27th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2017. http://dx.doi.org/10.1109/iccta43079.2017.9497197.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

"Program." In 2019 29th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2019. http://dx.doi.org/10.1109/iccta48790.2019.9478827.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"Conference Program." In 2016 26th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2016. http://dx.doi.org/10.1109/iccta40200.2016.9512939.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

"Conference Program." In 2015 25th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2015. http://dx.doi.org/10.1109/iccta37466.2015.9513429.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

"Conference Program." In 2014 24th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2014. http://dx.doi.org/10.1109/iccta35431.2014.9521615.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"Conference Program." In 2013 23rd International Conference on Computer Theory and Applications (ICCTA). IEEE, 2013. http://dx.doi.org/10.1109/iccta32607.2013.9529803.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

"Final Program." In 2021 31st International Conference on Computer Theory and Applications (ICCTA). IEEE, 2021. http://dx.doi.org/10.1109/iccta54562.2021.9916628.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"Conference Program." In 2022 32nd International Conference on Computer Theory and Applications (ICCTA). IEEE, 2022. http://dx.doi.org/10.1109/iccta58027.2022.10206221.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

"Audio/Visual Recurrences and Decision Trees for Unsupervised TV Program Structuring." In International Conference on Computer Vision Theory and Applications. SciTePress - Science and and Technology Publications, 2013. http://dx.doi.org/10.5220/0004300307010708.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Computer program theory"

1

Libura, Marek. Multidimensional Item Response Theory Estimation: A computer program. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada197160.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Baladi, George Y., Donald E. Barnes, and Rebecca P. Berger. Steerability Analysis of Tracked Vehicles: Theory and User's Guide for Computer Program TVSTEER. Defense Technical Information Center, 1986. http://dx.doi.org/10.21236/ada172008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dobranich, D. SAFSIM theory manual: A computer program for the engineering simulation of flow systems. Office of Scientific and Technical Information (OSTI), 1993. http://dx.doi.org/10.2172/10115531.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Michalopoulos, C. D. PR-175-420-R01 Submarine Pipeline Analysis - Theoretical Manual. Pipeline Research Council International, Inc. (PRCI), 1985. http://dx.doi.org/10.55274/r0012171.

Full text
Abstract:
Describes the computer program SPAN which computes the nonlinear transient response of a submarine pipeline, in contact with the ocean floor, to wave and current excitation. The dynamic response of a pipeline to impact loads, such as loads from trawl gear of fishing vessels, may also be computed. In addition, thermal expansion problems for submarine pipelines may be solved using SPAN. Beam finite element theory is used for spatial discretization of the partial differential equations governing the motion of a submarine pipeline. Large-deflection, small-strain theory is employed. The formulation
APA, Harvard, Vancouver, ISO, and other styles
5

Keith, Jr., T., A. Afjeh, D. Jeng, and J. White. Aerodynamic analysis of a horizontal axis wind turbine by use of helical vortex theory. Volume II. Computer program users manual. (Final report). [VORTEX]. Office of Scientific and Technical Information (OSTI), 1985. http://dx.doi.org/10.2172/5243095.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ismailova, L. Yu, S. V. Kosikov, V. S. Zaytsev, and I. O. Sleptsov. educational computer game THE ADVENTURES OF THE GUSARIK" OR THE BASIS OF THE THEORY OF THE STATE AND LAW (version 1.0). SIB-Expertise, 2022. http://dx.doi.org/10.12731/er0577.04072022.

Full text
Abstract:
TRAINING GAME IS DESIGNED TO OBTAIN NEW AND TEST EXISTING KNOWLEDGE IN THE FIELD OF ONE OF THE MOST IMPORTANT LEGAL DISCIPLINES - THEORY OF STATE AND LAW. GAME ALLOWS TO TEST ITS FORCES IN INTERACTIVE MODE IN SOLVING A LARGE NUMBER OF THEORETICAL AND PRACTICAL QUESTIONS. THE STUDENT CAN WORK OUT NEW TOPICS USING NUMEROUS COMMENTS AND CHECK THE RESULTS OF THEIR ASSIMILATION. GAME CHARACTER'S CLUES AND FACIAL EXPRESSIONS MOTIVATE THE PLAYER TO CAREFULLY WORK WITH THE OBJECT AND ALLOW YOU TO INDEPENDENTLY WORK ON TOPICS THAT CAUSED DIFFICULTIES IN THE CONTROL MODE. GAME CONTENT COMPLIES WITH THE
APA, Harvard, Vancouver, ISO, and other styles
7

Cook, W. A. THERM: A three-dimensional transient heat conduction computer program. Office of Scientific and Technical Information (OSTI), 1991. http://dx.doi.org/10.2172/5015011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Maxey. L51537 Power Line Fault Current Coupling to Nearby Natural Gas Pipelines. Pipeline Research Council International, Inc. (PRCI), 1988. http://dx.doi.org/10.55274/r0010412.

Full text
Abstract:
Electric and natural gas utilities often find it advantageous to share rights-of-way. Available methods for evaluating electrical effects on gas pipelines have been difficult to use at best, and at worst, incorrect. A generalized approach that addresses inductive and conductive interferences has not been available. Initiated to fill that need, this work is part of a research effort cosponsored by EPRI and the Pipe Line Research Council International, Inc. (PRCI) �A generalized approach to the analysis of the effects of transmission line faults on natural gas transmission pipelines has been dev
APA, Harvard, Vancouver, ISO, and other styles
9

McGee, Steven, Randi McGee-Tekula, Jennifer Duck, et al. Does Exploring Computer Science Increase Computer Science Enrollment? The Learning Partnership, 2018. http://dx.doi.org/10.51420/conf.2018.1.

Full text
Abstract:
This study investigated the impact of the Exploring Computer Science (ECS) program on the likelihood that students of all races and gender would pursue further computer science coursework in high school. ECS is designed to foster deep engagement through equitable inquiry around computer science concepts. The results indicate that students who pursued ECS as their first course were more likely to pursue another course relative to taking a traditional course as the first course.
APA, Harvard, Vancouver, ISO, and other styles
10

Wachen, John, Mark Johnson, Steven McGee, Faythe Brannon, and Dennis Brylow. Computer Science Teachers as Change Agents for Broadening Participation: Exploring Perceptions of Equity. The Learning Partnership, 2021. http://dx.doi.org/10.51420/conf.2021.2.

Full text
Abstract:
In this paper, the authors share findings from a qualitative analysis of computer science teachers’ perspectives about equity within the context of an equity-focused professional development program. Drawing upon a framework emphasizing educator belief systems in perpetuating inequities in computer science education and the importance of equity-focused teacher professional development, we explored how computer science teachers understand the issue of equity in the classroom. We analyzed survey data from a sample of participants in a computer science professional development program, which reve
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!