Gotowa bibliografia na temat „Lucid (Computer program language)”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Lucid (Computer program language)”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Lucid (Computer program language)"
Loehr, Devon, i David Walker. "Safe, modular packet pipeline programming". Proceedings of the ACM on Programming Languages 6, POPL (16.01.2022): 1–28. http://dx.doi.org/10.1145/3498699.
Pełny tekst źródłaBECK, JARRYD P., JOHN PLAICE i WILLIAM W. WADGE. "Multidimensional infinite data in the language Lucid". Mathematical Structures in Computer Science 25, nr 7 (10.11.2014): 1546–68. http://dx.doi.org/10.1017/s0960129513000388.
Pełny tekst źródłaFaustini, A. A., i W. W. Wadge. "An eductive interpreter for the language Lucid". ACM SIGPLAN Notices 22, nr 7 (lipiec 1987): 86–91. http://dx.doi.org/10.1145/960114.29659.
Pełny tekst źródłaKirschenbaum, Matthew. "Lucid Mapping: Information Landscaping and Three-Dimensional Writing Spaces". Leonardo 32, nr 4 (sierpień 1999): 261–68. http://dx.doi.org/10.1162/002409499553406.
Pełny tekst źródłaKarn, Helen E., i MacEnglish. "Pronunciation Plus (Computer Program)". TESOL Quarterly 30, nr 1 (1996): 176. http://dx.doi.org/10.2307/3587618.
Pełny tekst źródłaSolomon, Gabriela R., i Ford Language Institute. "The American Accent Program (Computer Program, Version 4.0)". TESOL Quarterly 27, nr 4 (1993): 774. http://dx.doi.org/10.2307/3587425.
Pełny tekst źródłaMcMinn, Mark R., i James D. Foster. "A Computer Program to Teach Nonsexist Language". Teaching of Psychology 18, nr 2 (kwiecień 1991): 115–17. http://dx.doi.org/10.1207/s15328023top1802_16.
Pełny tekst źródłaReps i Teitelbaum. "Language Processing in Program Editors". Computer 20, nr 11 (listopad 1987): 29–40. http://dx.doi.org/10.1109/mc.1987.1663414.
Pełny tekst źródłaYalcin, Hatice, i Murat Demirekin. "Training Program Supporting Language Acquisition". International Journal of Modern Education and Computer Science 13, nr 3 (8.06.2021): 1–12. http://dx.doi.org/10.5815/ijmecs.2021.03.01.
Pełny tekst źródłaBaniassad, Elisa, i Clayton Myers. "An exploration of program as language". ACM SIGPLAN Notices 44, nr 10 (25.10.2009): 547–56. http://dx.doi.org/10.1145/1639949.1640132.
Pełny tekst źródłaRozprawy doktorskie na temat "Lucid (Computer program language)"
Wendelborn, Andrew Lawrence. "Data flow implementations of a lucid-like programming language". Title page, contents and summary only, 1985. http://web4.library.adelaide.edu.au/theses/09PH/09phw471.pdf.
Pełny tekst źródłaShepherd, 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.
Pełny tekst źródłaChou, Robert Shih-pei. "A program design language for COBOL". Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.
Pełny tekst źródłaRichardson, 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.
Pełny tekst źródłaGordon, 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/.
Pełny tekst źródłaMartin, Walter E. "Cview, a graphical program generator for the C programming language /". Online version of thesis, 1988. http://hdl.handle.net/1850/10224.
Pełny tekst źródłaYessenov, Kuat T. "A lightweight specification language for bounded program verification". Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.
Pełny tekst źródłaCataloged 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.
Pełny tekst źródłaGibson, Barbara Brunner. "Ada as a design specification language /". Online version of thesis, 1988. http://hdl.handle.net/1850/10215.
Pełny tekst źródłaOuren, Leslie Serine. "Integrating computer software within the Houghton Mifflin Language Arts program". CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.
Pełny tekst źródłaKsiążki na temat "Lucid (Computer program language)"
A, Ashcroft Edward, red. Lucid, the dataflow programming language. London: Academic Press, 1985.
Znajdź pełny tekst źródłaOlga, Pekelny, red. Computer language C. San Diego: Harcourt Brace Jovanovich, 1989.
Znajdź pełny tekst źródłaReid, Glenn C. PostScript language program design. Reading, Mass: Addison-Wesley, 1988.
Znajdź pełny tekst źródłaSystems, Adobe, red. PostScript language reference. Wyd. 3. Reading, Mass: Addison-Wesley, 1999.
Znajdź pełny tekst źródłaInc, Apple Computer, red. HyperCard script language guide: The HyperTalk language. Reading, Mass: Addison-Wesley, 1988.
Znajdź pełny tekst źródłaDeitel, Harvey M. C: How to program. Wyd. 6. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.
Znajdź pełny tekst źródła1945-, Deitel Harvey M., i Deitel Abbey, red. C: How to program. Upper Saddle River: Pearson, 2012.
Znajdź pełny tekst źródłaC: How to program. Wyd. 6. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.
Znajdź pełny tekst źródłaJohnston, Howard. Learning to program. Englewood Cliffs, NJ: Prentice/Hall International, 1985.
Znajdź pełny tekst źródła1945-, Deitel Harvey M., i Deitel Harvey M. 1945-, red. C++: How to program. Wyd. 7. Upper Saddle River, NJ: Pearson Prentice Hall, 2010.
Znajdź pełny tekst źródłaCzęści książek na temat "Lucid (Computer program language)"
Weik, Martin H. "language program". W Computer Science and Communications Dictionary, 871. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_9931.
Pełny tekst źródłaWeik, Martin H. "program design language". W Computer Science and Communications Dictionary, 1347. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14835.
Pełny tekst źródłaCraven, Paul Vincent. "What Is a Computer Language?" W Program Arcade Games, 33–40. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1790-0_3.
Pełny tekst źródłaVolpano, Dennis, i Geoffrey Smith. "Language Issues in Mobile Program Security". W Lecture Notes in Computer Science, 25–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-68671-1_3.
Pełny tekst źródłaHarf, Mait, Kristiina Kindel, Vahur Kotkas, Peep Küngas i Enn Tyugu. "Automated Program Synthesis for Java Programming Language". W Lecture Notes in Computer Science, 157–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45575-2_17.
Pełny tekst źródłaRoșu, Grigore. "From Rewriting Logic, to Programming Language Semantics, to Program Verification". W Lecture Notes in Computer Science, 598–616. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23165-5_28.
Pełny tekst źródłaKobayashi, Naoki. "Higher-Order Program Verification and Language-Based Security". W 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.
Pełny tekst źródłaDimock, Allyn, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells i Jeffrey Considine. "Program Representation Size in an Intermediate Language with Intersection and Union Types". W Lecture Notes in Computer Science, 27–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45332-6_2.
Pełny tekst źródłaSridhar, S. "An implementation of OBJ2: An object-oriented language for abstract program specification". W Lecture Notes in Computer Science, 81–95. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-17179-7_5.
Pełny tekst źródłaDoveri, Kyveli, Pierre Ganty i Nicolas Mazzocchi. "FORQ-Based Language Inclusion Formal Testing". W Computer Aided Verification, 109–29. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_6.
Pełny tekst źródłaStreszczenia konferencji na temat "Lucid (Computer program language)"
Yang, Xiaoli, Rong Ge i Charles Tseng. "Visualizing genetic recombination with interactive computer program". W 2010 International Conference on Audio, Language and Image Processing (ICALIP). IEEE, 2010. http://dx.doi.org/10.1109/icalip.2010.5685128.
Pełny tekst źródłaKim, Sung-Hun, Jin-Tak Choi i Kil-Hong Joo. "Development of Cyber Sign Language Interpreting App Program for Deaf". W Next Generation Computer and Information Technology 2017. Science & Engineering Research Support soCiety, 2017. http://dx.doi.org/10.14257/astl.2017.145.03.
Pełny tekst źródłaLing, Xiang, Guoqing Wu i Bo Huang. "Comparing program to requirement and design using language acceptance". W 2012 2nd International Conference on Computer Science and Network Technology (ICCSNT). IEEE, 2012. http://dx.doi.org/10.1109/iccsnt.2012.6525961.
Pełny tekst źródłaQin, Yi, i Guonian Wang. "A computer-aided Chinese pronunciation training program for English-speaking learners". W 2014 International Conference on Asian Language Processing (IALP). IEEE, 2014. http://dx.doi.org/10.1109/ialp.2014.6973499.
Pełny tekst źródłaMenotti, Ricardo, Joao M. P. Cardoso, Marcio M. Fernandes i Eduardo Marques. "LALP: A Novel Language to Program Custom FPGA-Based Architectures". W 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.
Pełny tekst źródłaQin, Weida, Yinhu Wei i Ricai Luo. "Program Design and Implementation of Y Class Matrix Eigenvalue Based on Python Language". W 2022 Asia-Pacific Computer Technologies Conference (APCT). IEEE, 2022. http://dx.doi.org/10.1109/apct55107.2022.00022.
Pełny tekst źródłaDovhopolova, Hanna. "COMPUTER PROGRAM AS A METHOD OF DEVELOPING STUDENTS’ FOREIGN LANGUAGE COMMUNICATION SKILLS". W THEORETICAL AND EMPIRICAL SCIENTIFIC RESEARCH: CONCEPT AND TRENDS. European Scientific Platform, 2020. http://dx.doi.org/10.36074/24.07.2020.v3.02.
Pełny tekst źródłaJin, Yuqiang, Yuliang Chen, Zijian Lin i Junwei Lei. "Research on PID control and Simulation with M Language of Matlab Program". W 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.
Pełny tekst źródłaYu-ping Yang, Li-yan Zhang, Chun-ying Wu i Lie Cao. "Teaching method and practice about the course of program language design in college". W 2010 2nd International Conference on Education Technology and Computer (ICETC). IEEE, 2010. http://dx.doi.org/10.1109/icetc.2010.5529385.
Pełny tekst źródłaJiang, Yinjian, i Jianhua Zhao. "Designing a Team Teaching Program for Language Teaching and Learning: A Case Study". W 2009 First International Workshop on Education Technology and Computer Science. IEEE, 2009. http://dx.doi.org/10.1109/etcs.2009.446.
Pełny tekst źródłaRaporty organizacyjne na temat "Lucid (Computer program language)"
Makhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina i Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], lipiec 2020. http://dx.doi.org/10.31812/123456789/3864.
Pełny tekst źródłaStriuk, Andrii M., i Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], luty 2020. http://dx.doi.org/10.31812/123456789/3671.
Pełny tekst źródłaMarkova, Oksana, Serhiy Semerikov i Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, maj 2018. http://dx.doi.org/10.31812/0564/2250.
Pełny tekst źródła