Добірка наукової літератури з теми "Piology (Computer program language)"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Piology (Computer program language)".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Piology (Computer program language)"
Karn, Helen E., and MacEnglish. "Pronunciation Plus (Computer Program)." TESOL Quarterly 30, no. 1 (1996): 176. http://dx.doi.org/10.2307/3587618.
Повний текст джерелаSolomon, Gabriela R., and Ford Language Institute. "The American Accent Program (Computer Program, Version 4.0)." TESOL Quarterly 27, no. 4 (1993): 774. http://dx.doi.org/10.2307/3587425.
Повний текст джерелаMcMinn, Mark R., and James D. Foster. "A Computer Program to Teach Nonsexist Language." Teaching of Psychology 18, no. 2 (April 1991): 115–17. http://dx.doi.org/10.1207/s15328023top1802_16.
Повний текст джерелаReps and Teitelbaum. "Language Processing in Program Editors." Computer 20, no. 11 (November 1987): 29–40. http://dx.doi.org/10.1109/mc.1987.1663414.
Повний текст джерелаYalcin, Hatice, and Murat Demirekin. "Training Program Supporting Language Acquisition." International Journal of Modern Education and Computer Science 13, no. 3 (June 8, 2021): 1–12. http://dx.doi.org/10.5815/ijmecs.2021.03.01.
Повний текст джерелаBaniassad, Elisa, and Clayton Myers. "An exploration of program as language." ACM SIGPLAN Notices 44, no. 10 (October 25, 2009): 547–56. http://dx.doi.org/10.1145/1639949.1640132.
Повний текст джерелаUnderwood, John, Keith Cameron, Theo Bongaerts, Pieter de Haan, Sylvia Lobbe, and Herman Wekker. "Computer Assisted Language Learning: Program Structure and Principles." Modern Language Journal 74, no. 4 (1990): 511. http://dx.doi.org/10.2307/328534.
Повний текст джерелаWalczyk, Jeffrey J. "A computer program for constructing language comprehension tests." Computers in Human Behavior 9, no. 1 (March 1993): 113–16. http://dx.doi.org/10.1016/0747-5632(93)90026-o.
Повний текст джерелаWolach, Allen H. "Developing a computer program to facilitate language training." Computers in Human Behavior 10, no. 4 (December 1994): 541–57. http://dx.doi.org/10.1016/0747-5632(94)90046-9.
Повний текст джерелаBaughan, Carolyn E. "Daedalus Integrated Writing Environment (Computer Program)." TESOL Quarterly 29, no. 2 (1995): 395. http://dx.doi.org/10.2307/3587635.
Повний текст джерелаДисертації з теми "Piology (Computer program language)"
Shepherd, David. "Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 176 p, 2007. http://proquest.umi.com/pqdweb?did=1397920371&sid=6&Fmt=2&clientId=8331&RQT=309&VName=PQD.
Повний текст джерелаChou, Robert Shih-pei. "A program design language for COBOL." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.
Повний текст джерелаRichardson, Joel E. "E a persistent systems implementation language /." Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.
Повний текст джерелаGordon, Christopher Todd. "A visual language for ADA program unit specifications." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.
Повний текст джерелаMartin, Walter E. "Cview, a graphical program generator for the C programming language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10224.
Повний текст джерелаYessenov, Kuat T. "A lightweight specification language for bounded program verification." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (p. 63-64).
This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool called JForge that interprets JFSL specifications, fully integrates with a mainstream development environment, and assists programmers in examining counter example traces and debugging specifications. JFSL attempts to address challenges of specification languages such as inheritance, frame conditions, dynamic dispatch, and method calls inside specifications in the context of bounded verification. A collection of verification tasks illustrates the expressiveness and conciseness of JForge specifications and demonstrates effectiveness of the bounded verification technique.
by Kuat T. Yessenov.
M.Eng.
Leoutsarakos, Nikolaos. "A context sensitive command language /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63274.
Повний текст джерелаGibson, Barbara Brunner. "Ada as a design specification language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10215.
Повний текст джерелаOuren, Leslie Serine. "Integrating computer software within the Houghton Mifflin Language Arts program." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.
Повний текст джерелаKoh, Kyu Han Seals Cheryl D. "PineHill a novel approach to computer aided language learning /." Auburn, Ala., 2007. http://hdl.handle.net/10415/1365.
Повний текст джерелаКниги з теми "Piology (Computer program language)"
Olga, Pekelny, ed. Computer language C. San Diego: Harcourt Brace Jovanovich, 1989.
Знайти повний текст джерелаReid, Glenn C. PostScript language program design. Reading, Mass: Addison-Wesley, 1988.
Знайти повний текст джерелаSystems, Adobe, ed. PostScript language reference. 3rd ed. Reading, Mass: Addison-Wesley, 1999.
Знайти повний текст джерелаInc, Apple Computer, ed. HyperCard script language guide: The HyperTalk language. Reading, Mass: Addison-Wesley, 1988.
Знайти повний текст джерелаDeitel, Harvey M. C: How to program. 6th ed. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.
Знайти повний текст джерела1945-, Deitel Harvey M., and Deitel Abbey, eds. C: How to program. Upper Saddle River: Pearson, 2012.
Знайти повний текст джерелаC: How to program. 6th ed. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.
Знайти повний текст джерелаJohnston, Howard. Learning to program. Englewood Cliffs, NJ: Prentice/Hall International, 1985.
Знайти повний текст джерела1945-, Deitel Harvey M., and Deitel Harvey M. 1945-, eds. C++: How to program. 7th ed. Upper Saddle River, NJ: Pearson Prentice Hall, 2010.
Знайти повний текст джерела1945-, Deitel Harvey M., ed. C: How to program. 6th ed. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.
Знайти повний текст джерелаЧастини книг з теми "Piology (Computer program language)"
Weik, Martin H. "language program." In Computer Science and Communications Dictionary, 871. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_9931.
Повний текст джерелаWeik, Martin H. "program design language." In Computer Science and Communications Dictionary, 1347. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14835.
Повний текст джерелаCraven, Paul Vincent. "What Is a Computer Language?" In Program Arcade Games, 33–40. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1790-0_3.
Повний текст джерелаVolpano, Dennis, and Geoffrey Smith. "Language Issues in Mobile Program Security." In Lecture Notes in Computer Science, 25–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-68671-1_3.
Повний текст джерелаHarf, Mait, Kristiina Kindel, Vahur Kotkas, Peep Küngas, and Enn Tyugu. "Automated Program Synthesis for Java Programming Language." In Lecture Notes in Computer Science, 157–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45575-2_17.
Повний текст джерелаRoșu, Grigore. "From Rewriting Logic, to Programming Language Semantics, to Program Verification." In Lecture Notes in Computer Science, 598–616. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23165-5_28.
Повний текст джерелаKobayashi, Naoki. "Higher-Order Program Verification and Language-Based Security." In Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 17–23. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10622-4_2.
Повний текст джерелаDimock, Allyn, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells, and Jeffrey Considine. "Program Representation Size in an Intermediate Language with Intersection and Union Types." In Lecture Notes in Computer Science, 27–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45332-6_2.
Повний текст джерелаSridhar, S. "An implementation of OBJ2: An object-oriented language for abstract program specification." In Lecture Notes in Computer Science, 81–95. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-17179-7_5.
Повний текст джерелаDoveri, Kyveli, Pierre Ganty, and Nicolas Mazzocchi. "FORQ-Based Language Inclusion Formal Testing." In Computer Aided Verification, 109–29. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_6.
Повний текст джерелаТези доповідей конференцій з теми "Piology (Computer program language)"
Yang, Xiaoli, Rong Ge, and Charles Tseng. "Visualizing genetic recombination with interactive computer program." In 2010 International Conference on Audio, Language and Image Processing (ICALIP). IEEE, 2010. http://dx.doi.org/10.1109/icalip.2010.5685128.
Повний текст джерелаKim, Sung-Hun, Jin-Tak Choi, and Kil-Hong Joo. "Development of Cyber Sign Language Interpreting App Program for Deaf." In Next Generation Computer and Information Technology 2017. Science & Engineering Research Support soCiety, 2017. http://dx.doi.org/10.14257/astl.2017.145.03.
Повний текст джерелаLing, Xiang, Guoqing Wu, and Bo Huang. "Comparing program to requirement and design using language acceptance." In 2012 2nd International Conference on Computer Science and Network Technology (ICCSNT). IEEE, 2012. http://dx.doi.org/10.1109/iccsnt.2012.6525961.
Повний текст джерелаQin, Yi, and Guonian Wang. "A computer-aided Chinese pronunciation training program for English-speaking learners." In 2014 International Conference on Asian Language Processing (IALP). IEEE, 2014. http://dx.doi.org/10.1109/ialp.2014.6973499.
Повний текст джерелаMenotti, Ricardo, Joao M. P. Cardoso, Marcio M. Fernandes, and Eduardo Marques. "LALP: A Novel Language to Program Custom FPGA-Based Architectures." In 2009 21st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). IEEE, 2009. http://dx.doi.org/10.1109/sbac-pad.2009.23.
Повний текст джерелаQin, Weida, Yinhu Wei, and Ricai Luo. "Program Design and Implementation of Y Class Matrix Eigenvalue Based on Python Language." In 2022 Asia-Pacific Computer Technologies Conference (APCT). IEEE, 2022. http://dx.doi.org/10.1109/apct55107.2022.00022.
Повний текст джерелаDovhopolova, Hanna. "COMPUTER PROGRAM AS A METHOD OF DEVELOPING STUDENTS’ FOREIGN LANGUAGE COMMUNICATION SKILLS." In THEORETICAL AND EMPIRICAL SCIENTIFIC RESEARCH: CONCEPT AND TRENDS. European Scientific Platform, 2020. http://dx.doi.org/10.36074/24.07.2020.v3.02.
Повний текст джерелаJin, Yuqiang, Yuliang Chen, Zijian Lin, and Junwei Lei. "Research on PID control and Simulation with M Language of Matlab Program." In 2nd International Conference on Electronics, Network and Computer Engineering (ICENCE 2016). Paris, France: Atlantis Press, 2016. http://dx.doi.org/10.2991/icence-16.2016.98.
Повний текст джерелаYu-ping Yang, Li-yan Zhang, Chun-ying Wu, and Lie Cao. "Teaching method and practice about the course of program language design in college." In 2010 2nd International Conference on Education Technology and Computer (ICETC). IEEE, 2010. http://dx.doi.org/10.1109/icetc.2010.5529385.
Повний текст джерелаJiang, Yinjian, and Jianhua Zhao. "Designing a Team Teaching Program for Language Teaching and Learning: A Case Study." In 2009 First International Workshop on Education Technology and Computer Science. IEEE, 2009. http://dx.doi.org/10.1109/etcs.2009.446.
Повний текст джерелаЗвіти організацій з теми "Piology (Computer program language)"
Makhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina, and Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3864.
Повний текст джерелаStriuk, Andrii M., and Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3671.
Повний текст джерелаMarkova, Oksana, Serhiy Semerikov та Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, травень 2018. http://dx.doi.org/10.31812/0564/2250.
Повний текст джерела