Log in

Relevant bibliographies by topics / Lucid (Computer program language) / Journal articles

To see the other types of publications on this topic, follow the link: Lucid (Computer program language).

Journal articles on the topic 'Lucid (Computer program language)'

Author: Grafiati

Published: 4 June 2021

Last updated: 31 January 2023

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 'Lucid (Computer program language).'

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

Loehr, Devon, and David Walker. "Safe, modular packet pipeline programming." Proceedings of the ACM on Programming Languages 6, POPL (January 16, 2022): 1–28. http://dx.doi.org/10.1145/3498699.

Full text

Abstract:

The P4 language and programmable switch hardware, like the Intel Tofino, have made it possible for network engineers to write new programs that customize operation of computer networks, thereby improving performance, fault-tolerance, energy use, and security. Unfortunately, possible does not mean easy —there are many implicit constraints that programmers must obey if they wish their programs to compile to specialized networking hardware. In particular, all computations on the same switch must access data structures in a consistent order, or it will not be possible to lay that data out along th

APA, Harvard, Vancouver, ISO, and other styles

2

BECK, JARRYD P., JOHN PLAICE, and WILLIAM W. WADGE. "Multidimensional infinite data in the language Lucid." Mathematical Structures in Computer Science 25, no. 7 (November 10, 2014): 1546–68. http://dx.doi.org/10.1017/s0960129513000388.

Full text

Abstract:

Although the language Lucid was not originally intended to support computing with infinite data structures, the notion of (infinite) sequence quickly came to the fore, together with a demand-driven computation model in which demands are propagated for the values of particular values at particular index points. This naturally generalized to sequences of multiple dimensions so that a programmer could, for example, write a program that could be understood as a (nonterminating) loop in which one of the loop variables is an infinite vector.Programmers inevitably found use for more and more dimensio

APA, Harvard, Vancouver, ISO, and other styles

3

Faustini, A. A., and W. W. Wadge. "An eductive interpreter for the language Lucid." ACM SIGPLAN Notices 22, no. 7 (July 1987): 86–91. http://dx.doi.org/10.1145/960114.29659.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Kirschenbaum, Matthew. "Lucid Mapping: Information Landscaping and Three-Dimensional Writing Spaces." Leonardo 32, no. 4 (August 1999): 261–68. http://dx.doi.org/10.1162/002409499553406.

Full text

Abstract:

This paper documents an interactive graphics installation entitled Lucid Mapping and Codex Transformissions in the Z-Buffer. Lucid Mapping uses the Virtual Reality Modeling Language to explore textual and narrative possibilities within three-dimensional (3D) electronic environments. The author describes the creative rationale and technical design of the work and places it within the context of other applications of 3D text and typography in the digital arts and the scientific visualization communities. The author also considers the implications of 3D textual environments on visual language and

APA, Harvard, Vancouver, ISO, and other styles

5

Karn, Helen E., and MacEnglish. "Pronunciation Plus (Computer Program)." TESOL Quarterly 30, no. 1 (1996): 176. http://dx.doi.org/10.2307/3587618.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Baughan, Carolyn E. "Daedalus Integrated Writing Environment (Computer Program)." TESOL Quarterly 29, no. 2 (1995): 395. http://dx.doi.org/10.2307/3587635.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Jacobs, Paul S. "TRUMP: A transportable language understanding program." International Journal of Intelligent Systems 7, no. 3 (March 1992): 245–76. http://dx.doi.org/10.1002/int.4550070303.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Sulzmann, Martin, and Răzvan Voicu. "Language-Based Program Verification via Expressive Types." Electronic Notes in Theoretical Computer Science 174, no. 7 (June 2007): 129–47. http://dx.doi.org/10.1016/j.entcs.2006.10.041.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Schetz, Katherine F. "Computer-Aided Language/Concept Enrichment in Kindergarten." Language, Speech, and Hearing Services in Schools 20, no. 1 (January 1989): 2–10. http://dx.doi.org/10.1044/0161-1461.2001.02.

Full text

Abstract:

A model program for language/concept enrichment was set up with 22 kindergarten students as participants. A total screening score during routine kindergarten screenings relative to the areas of articulation, language and concepts was low for each of these students, but not low enough to recommend indepth diagnostic testing. The objective of the program was to demonstrate the role of the speech-language pathologist as consultant, an alternate service delivery model for public school speech-language services. Language/concept enrichment was provided by volunteers using four educational software

APA, Harvard, Vancouver, ISO, and other styles

18

Jones, Mark P., and Iavor S. Diatchki. "Language and program design for functional dependencies." ACM SIGPLAN Notices 44, no. 2 (January 28, 2009): 87–98. http://dx.doi.org/10.1145/1543134.1411298.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Sklenar, Ivan. "Programming language assessments using the program profiles." ACM SIGPLAN Notices 20, no. 4 (April 1985): 80–86. http://dx.doi.org/10.1145/988316.988324.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Van Merriënboer, Jeroen J. G., and Marcel B. M. De Croock. "Strategies for Computer-Based Programming Instruction: Program Completion vs. Program Generation." Journal of Educational Computing Research 8, no. 3 (August 1992): 365–94. http://dx.doi.org/10.2190/mjdx-9pp4-kfmt-09pm.

Full text

Abstract:

Two instructional strategies were implemented in a two-and-a-half hour computer-based training program that was designed to teach elementary turtle graphics programming techniques to novice undergraduate students ( N = 40). Learning activities that either emphasized the completion of existing programs or the generation of new programs were studied for the two strategies. In the completion group, the information needed to perform the program completion tasks appeared to be largely available in the to-be-completed programs; in the generation group, students frequently had to search for useful ex

APA, Harvard, Vancouver, ISO, and other styles

21

Sarkisyan, A. A., and Yu G. Shukuryan. "Program testing technology based on specification language." Cybernetics 26, no. 6 (1991): 795–804. http://dx.doi.org/10.1007/bf01069487.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Leidy, Judy, Ann Burke, Anne Merkel, and Marlin Howard. "Using Computer Assisted Instruction in an ESL Language Program." IALLT Journal of Language Learning Technologies 15, no. 1 (January 29, 2019): 13–24. http://dx.doi.org/10.17161/iallt.v15i1.9074.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Vistein, Michael, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, and Ansgar Fehnker. "An Abstract Specification Language for Static Program Analysis." Electronic Notes in Theoretical Computer Science 254 (October 2009): 181–97. http://dx.doi.org/10.1016/j.entcs.2009.09.066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Ensink, Brian, Joel Stanley, and Vikram Adve. "Program Control Language: a programming language for adaptive distributed applications." Journal of Parallel and Distributed Computing 63, no. 11 (November 2003): 1082–104. http://dx.doi.org/10.1016/s0743-7315(03)00117-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Lomax, A. "The suitability of language syntaxes for program generation." ACM SIGPLAN Notices 22, no. 3 (March 1987): 95–101. http://dx.doi.org/10.1145/24697.24707.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

De Niel, Anne, Eddy Bevers, and Karel De Vlaminck. "Program bifurcation for a polymorphically typed functional language." ACM SIGPLAN Notices 26, no. 9 (September 1991): 142–53. http://dx.doi.org/10.1145/115866.115880.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Gallimore, R. M. "UMIST OBJ: a Language for Executable Program Specifications." Computer Journal 32, no. 5 (May 1, 1989): 413–21. http://dx.doi.org/10.1093/comjnl/32.5.413.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Simpson, Mark W., and Sheila Bolduc-Simpson. "DEVELOPING A COMPUTER-ASSISTED READING INSTRUCTION PROGRAM." CALICO Journal 2, no. 1 (January 14, 2013): 34–39. http://dx.doi.org/10.1558/cj.v2i1.34-39.

Full text

Abstract:

CARI is a computer assisted reading instruction program that was designed by two English Language teachers for the purpose of providing supplementary and relevant material for their students in three subskill areas. The program was written for intermediate level adults learning English in a business environment. The reading subskills include skimming, scanning and guessing. The paper describes in detail the content and structure of the program and outlines the steps involved in its development. Following the description are comments and suggestions for teachers on how to evaluate effective cou

APA, Harvard, Vancouver, ISO, and other styles

29

Sharvelle, Derek J. "A BASIC language computer program for intraocular lens power calculations." American Intra-Ocular Implant Society Journal 11, no. 4 (July 1985): 400–405. http://dx.doi.org/10.1016/s0146-2776(85)80074-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Irshad, Mufeeda, Merel Keijzer, Martijn Wieling, and Marjolijn Verspoor. "Effectiveness of a dynamic usage based computer assisted language program." Dutch Journal of Applied Linguistics 8, no. 2 (April 11, 2019): 137–62. http://dx.doi.org/10.1075/dujal.16018.irs.

Full text

Abstract:

Abstract The current paper explores whether a Dynamic Usage Based (DUB) approach – which takes authentic meaningful language use with repetition and scaffolding for comprehension as its basis – can also be implemented in a CALL environment. The effectiveness of the DUB-CALL program was tested in a semester-long experiment, comparing it with a teacher-fronted DUB program (using the same materials as the CALL program) and a traditional CLT program; 228 university undergraduates in Sri Lanka participated. Language gains were assessed in a pre-post design with an objective General English Proficie

APA, Harvard, Vancouver, ISO, and other styles

31

Hoch, Frances S. "COMPUTER LITERACY AN THE FOREIGN LANGUAGE TEACHER." CALICO Journal 3, no. 1 (January 14, 2013): 17–19. http://dx.doi.org/10.1558/cj.v3i1.17-19.

Full text

Abstract:

This article is based on a presentation at CALICO '85. It discusses the problems inherent in making teachers computer literate. It then describes a staff development program for foreign language teachers in North Carolina which introduces them to the potential of CAI for foreign language instruction by providing hands-on experience with the computer which is directly applicable to this instructional area.

APA, Harvard, Vancouver, ISO, and other styles

32

Zuidema, Johan, Gellof Kanselaar, H. Wichmann, M. Giezeman, L. Koster, and J. van der Veen. "Vrue Taalprodukties En De Computer." Computer-ondersteund talenonderwijs 33 (January 1, 1989): 33–39. http://dx.doi.org/10.1075/ttwia.33.05zui.

Full text

Abstract:

In second language teaching a great deal of attention is paid to the learning of communicative skills. The computer program PRESTIGE (Productive and Receptive English, a Smart Tutor and Intelligent Generator of Exercises) subscribes to the views currently held in communicative language teaching. Among these are learning the meaning of a word through deduction of the word's meaning from contexts, and emphasizing the use of productive language. The computer program PRESTIGE, written in PROLOG, consists of several parts: A parser, which checks if syntax, spelling and inflection of pupils' input s

APA, Harvard, Vancouver, ISO, and other styles

33

Davison, Ned. "AN INTERACTIVE CONCORDANCE PROGRAM FOR THE SMALL COMPUTER." CALICO Journal 1, no. 1 (January 14, 2013): 24–26. http://dx.doi.org/10.1558//cj.v1i1.24-26.

Full text

Abstract:

An interest in literary analysis usually begins with a curiosity about themes, philosophical implications, and the human experiences a work embodies. After such initial interests, our attention often turns to the way specific words and phrases relate to those broader features.

APA, Harvard, Vancouver, ISO, and other styles

34

Gillam, Ronald B. "Computer-Assisted Language Intervention Using Fast ForWord®." Language, Speech, and Hearing Services in Schools 30, no. 4 (October 1999): 363–70. http://dx.doi.org/10.1044/0161-1461.3004.363.

Full text

Abstract:

A computer-assisted language intervention program called Fast ForWord® (Scientific Learning Corporation, 1998) has received a great deal of attention at professional meetings and in the popular media. Newspaper and magazine articles about this program contain statements like, "On average, after only 6 to 7 weeks of training, language-learning impaired children ages 4 to 12 showed improvement of more than one and a half years in speech processing and language ability." (Scientific Learning Corporation, 1997). Are the claims that are being made about this intervention approach just a matter of p

APA, Harvard, Vancouver, ISO, and other styles

35

Telap, Cherry, Benny Pinontoan, and Jullia Titaley. "Derivation of Quantum Guarded Command Language Program for Average." d'CARTESIAN 4, no. 2 (June 26, 2015): 163. http://dx.doi.org/10.35799/dc.4.2.2015.9055.

Full text

Abstract:

Has conducted research to determine the derivation of quantum guarded command language (qGCL) program for average. Initially calculation of average value was made in guaded command language (GCL) which is then implemented on a digital computer into the Pascal programming language. Furthermore GCL to calculate the average value was analyzed again to be made in the quantum guarded command language (qGCL). qGCL implementation is on a quantum computer is a future computer could perform calculations very quickly because it uses a superposition state is referred to as quantum bits (qubits). Keywords

APA, Harvard, Vancouver, ISO, and other styles

36

Pezold, Mollee J., Caitlin M. Imgrund, and Holly L. Storkel. "Using Computer Programs for Language Sample Analysis." Language, Speech, and Hearing Services in Schools 51, no. 1 (January 8, 2020): 103–14. http://dx.doi.org/10.1044/2019_lshss-18-0148.

Full text

Abstract:

Purpose Although language sample analysis is widely recommended for assessing children's expressive language, few school-based speech-language pathologists routinely use it, citing a lack of time, resources, and training ( Pavelko, Owens, Ireland, & Hahs-Vaughn, 2016 ). The purpose of this clinical tutorial is (a) to describe options for language sample analysis using computer programs and (b) to demonstrate a process of using language sample analysis focused on the assessment of 2 preschool children as case studies. Method We provide an overview of collecting and analyzing child language

APA, Harvard, Vancouver, ISO, and other styles

37

COSTANTINI, STEFANIA. "SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE." International Journal of Foundations of Computer Science 01, no. 03 (September 1990): 233–47. http://dx.doi.org/10.1142/s0129054190000175.

Full text

Abstract:

This paper presents the declarative and procedural semantics of Reflective Prolog, a new logic language able to represent metaknowledge and use it in the proof process via an extended resolution procedure including forms of implicit reflection. The declarative semantics of a Reflective Prolog definite program is provided in terms of the Least Reflective Herbrand Model of the program, characterized by means of a suitable mapping. The extended resolution is then shown to be sound and complete with respect to the Least Reflective Herband Model.

APA, Harvard, Vancouver, ISO, and other styles

38

Dévai, Gergely, Zoltán Gera, and Zoltán Kelemen. "Language abstractions for low level optimization techniques." Computer Science and Information Systems 11, no. 4 (2014): 1499–514. http://dx.doi.org/10.2298/csis130224080d.

Full text

Abstract:

Programmers are often forced to implement performance-critical applications at a low abstraction level. This leads to programs that are hard to develop and maintain because the program text is mixed with low level optimization tricks and is far from the algorithm it implements. Even if compilers are smart nowadays and provide the user with many automatically applied optimizations, practice shows that in some cases it is hopeless to optimize the program automatically without the programmer?s knowledge. A complementary approach is to allow the programmer to fine tune the program by providing him

APA, Harvard, Vancouver, ISO, and other styles

39

Dobizha, N. "The use of computer training program in the foreign language classroom." Інформаційні технології в освіті, Вип. 2 (35) (2018): 89–99.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

40

Kochkonbaeva, Buazhar Osmonalievna, and Zhulduz Srajdinovna Egemberdieva. "ALGORITHM OF THE COMPUTER PROGRAM FOR EFFECTIVE LEARNING OF ENGLISH LANGUAGE." Bulletin of Osh State University 2, no. 1 (2021): 174–81. http://dx.doi.org/10.52754/16947452_2021_2_1_171.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Dobizha, N. "THE USE OF COMPUTER TRAINING PROGRAM IN THE FOREIGN LANGUAGE CLASSROOM." Information Technologies in Education 2, no. 35 (June 2018): 89–99. http://dx.doi.org/10.14308/ite000669.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Hakim, Badia. "Implementing A Computer Assisted Language Learning Training Program for English Teachers." Arab World English Journal 6, no. 1 (March 15, 2015): 100–112. http://dx.doi.org/10.24093/awej/vol6no1.8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Coniam, David. "A COMPUTERISED ENGLISH LANGUAGE PROOFING CLOZE PROGRAM." Computer Assisted Language Learning 10, no. 1 (January 1997): 83–97. http://dx.doi.org/10.1080/0958822970100106.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Ciobâcă, Ştefan, Dorel Lucanu, Vlad Rusu, and Grigore Roşu. "A language-independent proof system for full program equivalence." Formal Aspects of Computing 28, no. 3 (March 7, 2016): 469–97. http://dx.doi.org/10.1007/s00165-016-0361-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Leung, Wu-Hon F. "Program entanglement, feature interaction and the feature language extensions." Computer Networks 51, no. 2 (February 2007): 480–95. http://dx.doi.org/10.1016/j.comnet.2006.08.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Siegfried, Robert M. "A scripting language to help the blind to program visually." ACM SIGPLAN Notices 37, no. 2 (February 2002): 53–56. http://dx.doi.org/10.1145/568600.568611.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Reiser, John F., and Joseph P. Skudlarek. "Program profiling problems, and a solution via machine language rewriting." ACM SIGPLAN Notices 29, no. 1 (January 1994): 37–45. http://dx.doi.org/10.1145/181577.181583.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Takalo, Ronald. "LANGUAGE TEST GENERATOR." CALICO Journal 2, no. 4 (January 14, 2013): 45–46. http://dx.doi.org/10.1558/cj.v2i4.45-46.

Full text

Abstract:

The computer can be especially useful for constructing foreign language and ESL tests from a data bank. Once established and saved to disk, the computer can quickly write a random order test complete with answer blanks and answer key. The program described here can serve as a template to create tests for many subjects and items, being easily modifiable by anyone with a modicum of programming experience.

APA, Harvard, Vancouver, ISO, and other styles

49

Vu, Ngoc Thiem, Shinn Liang Chang, Jackson Hu, and Tacker Wang. "Computer Program in Visual Basic Language for Manufacture of Helical Cutting Tools." Advanced Materials Research 488-489 (March 2012): 813–18. http://dx.doi.org/10.4028/www.scientific.net/amr.488-489.813.

Full text

Abstract:

The helical cutting tools have complex geometries. A rack cutter is the most economical tool that has been used for manufacturing helical cutting tool. In this paper, the computer program has been designed to evaluate the manufacture abilities following design concept and analyze the technical parameters of helical cutting tool. The program can simulate the sections of helical cutting tool and the rack cutter, analyze the clearance angle, relief angle, and width top of the helical cutting tool, and modify the rack cutter profile to show the helical cutting tool profile suitably. This program c

APA, Harvard, Vancouver, ISO, and other styles

50

Shelekhov, Vladimir Ivanovich. "TRANSFORMATION AND VERIFICATION OF THE OS PROGRAM SORTING DEVICES IN A COMPUTER BUS." System Informatics, no. 18 (2021): 1–34. http://dx.doi.org/10.31144/si.2307-6410.2021.n18.p1-34.

Full text

Abstract:

The transformation and verification of the bus_sort_breadthfirst program, which belongs to the Linux OS kernel and implements sorting of devices are described. The C program is transformed into the cP language performing macros unfolding, structure changes, and elimination of pointers. Transformed program is translated into the WhyML functional language. For the received program, a specification is constructed. Deductive verification is carried out in the tool Why3.

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!