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

Journal articles on the topic 'Programming patterns'

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 patterns.'

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

Leal, Alexis Vinícius de Aquino, and Deller James Ferreira. "Learning Programming Patterns Using Games." International Journal of Information and Communication Technology Education 12, no. 2 (2016): 23–34. http://dx.doi.org/10.4018/ijicte.2016040103.

Full text
Abstract:
There is still no pedagogy to teach programming that stands out significantly from others and no consensus on what is the best way for learning programming. There is still a need to develop new teaching methods for learning in introductory programming courses. This paper presents a pedagogic approach in support of creativity in programming and the results of a successful case study, where the teacher facilitates the learning of programming patterns by means of students' involvement in game creation. The results show an improvement in motivation and learning introductory programming, when we co
APA, Harvard, Vancouver, ISO, and other styles
2

Areizaga Blanco, Ander, and Henrik Engström. "Patterns in Mainstream Programming Games." International Journal of Serious Games 7, no. 1 (2020): 97–126. http://dx.doi.org/10.17083/ijsg.v7i1.335.

Full text
Abstract:

 
 
 Studies have found serious games to be good tools for programming education. As an outcome from such research, several game solutions for learning computer programming have appeared. Most of these games are only used in the research field where only a few are published and made available for the public. There are however numerous examples of programming games in commercial stores that have reached a large audience.This article presents a systematic review of publicly available and popular programming games. It analyses which fundamental software development concepts, as de
APA, Harvard, Vancouver, ISO, and other styles
3

KIM, HYONGSUK, TAEWAN OH, MYOUNG SEOB LIM, and LEON O. CHUA. "NONLINEAR PATTERN CLASSIFICATION ASSOCIATED WITH CELLULAR NEURAL NETWORKS-BASED DYNAMIC PROGRAMMING." International Journal of Bifurcation and Chaos 15, no. 01 (2005): 169–79. http://dx.doi.org/10.1142/s0218127405012089.

Full text
Abstract:
A Cellular Neural Networks (CNN)-based nonlinear pattern classification algorithm utilizing the most likely path-finding feature of dynamic programming is proposed. Dynamic programming for the most likely path-finding algorithm can be implemented with CNN. If exemplars and test patterns are assigned as the goals and the start positions, respectively for our CNN-based dynamic programming, the paths from the test patterns to their closest exemplars are found with the optimality feature of CNN-based dynamic programming. Such paths are utilized as aggregating keys for classification. Our algorithm
APA, Harvard, Vancouver, ISO, and other styles
4

Steimann, Friedrich, and Philip Mayer. "Patterns of Interface-Based Programming." Journal of Object Technology 4, no. 5 (2005): 75. http://dx.doi.org/10.5381/jot.2005.4.5.a1.

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

Jones, Ray, and Tom Boyle. "Learning Object Patterns for Programming." Interdisciplinary Journal of e-Skills and Lifelong Learning 3 (2007): 019–28. http://dx.doi.org/10.28945/383.

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

Cedar, Howard, and Yehudit Bergman. "Programming of DNA Methylation Patterns." Annual Review of Biochemistry 81, no. 1 (2012): 97–117. http://dx.doi.org/10.1146/annurev-biochem-052610-091920.

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

Langdon, W. B., and W. Banzhaf. "Repeated patterns in genetic programming." Natural Computing 7, no. 4 (2007): 589–613. http://dx.doi.org/10.1007/s11047-007-9038-8.

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

Leventhal, Laura Marie. "Experience of programming beauty: some patterns of programming aesthetics." International Journal of Man-Machine Studies 28, no. 5 (1988): 525–50. http://dx.doi.org/10.1016/s0020-7373(88)80059-2.

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

Luong, Tran Thanh, and Le My Canh. "JAVASCRIPT ASYNCHRONOUS PROGRAMMING." Hue University Journal of Science: Techniques and Technology 128, no. 2B (2019): 5–16. http://dx.doi.org/10.26459/hueuni-jtt.v128i2b.5104.

Full text
Abstract:
JavaScript has become more and more popular in recent years because its wealthy features as being dynamic, interpreted and object-oriented with first-class functions. Furthermore, JavaScript is designed with event-driven and I/O non-blocking model that boosts the performance of overall application especially in the case of Node.js. To take advantage of these characteristics, many design patterns that implement asynchronous programming for JavaScript were proposed. However, choosing a right pattern and implementing a good asynchronous source code is a challenge and thus easily lead into less ro
APA, Harvard, Vancouver, ISO, and other styles
10

Jadud, Matthew C., Jon Simpson, and Christian L. Jacobsen. "Patterns for programming in parallel, pedagogically." ACM SIGCSE Bulletin 40, no. 1 (2008): 231–35. http://dx.doi.org/10.1145/1352322.1352219.

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

Lang, Joseph E., Brian R. Bogovich, Sean C. Barry, et al. "Object-oriented programming and design patterns." ACM SIGCSE Bulletin 33, no. 4 (2001): 68–70. http://dx.doi.org/10.1145/572139.572174.

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

Dastani, Mehdi, and Bas Testerink. "Design patterns for multi-agent programming." International Journal of Agent-Oriented Software Engineering 5, no. 2/3 (2016): 167. http://dx.doi.org/10.1504/ijaose.2016.080896.

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

Dastani, Mehdi, and Bas Testerink. "Design patterns for multi-agent programming." International Journal of Agent-Oriented Software Engineering 5, no. 2/3 (2016): 167. http://dx.doi.org/10.1504/ijaose.2016.10001872.

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

Fojtik, Rostislav. "Design Patterns in the Teaching of Programming." Procedia - Social and Behavioral Sciences 143 (August 2014): 352–57. http://dx.doi.org/10.1016/j.sbspro.2014.07.493.

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

Paulin, Pierre G., Ali Erdem Özcan, Vincent Gagné, Bruno Lavigueur, and Olivier Benny. "Parallel programming patterns for multi-processor SoC." ACM Transactions on Embedded Computing Systems 12, no. 1s (2013): 1–25. http://dx.doi.org/10.1145/2435227.2435243.

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

Lea, D. "Patterns and the democratization of concurrent programming." IEEE Concurrency 6, no. 4 (1998): 11–13. http://dx.doi.org/10.1109/4434.736398.

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

Kemmar, Amina, Yahia Lebbah, and Samir Loudni. "A Constraint Programming Approach for Web Log Mining." International Journal of Information Technology and Web Engineering 11, no. 4 (2016): 24–42. http://dx.doi.org/10.4018/ijitwe.2016100102.

Full text
Abstract:
Mining web access patterns consists in extracting knowledge from server log files. This problem is represented as a sequential pattern mining problem (SPM) which allows to extract patterns which are sequences of accesses that occur frequently in the web log file. There are in the literature many efficient algorithms to solve SMP (e.g., GSP, SPADE, PrefixSpan, WAP-tree, LAPIN, PLWAP). Despite the effectiveness of these methods, they do not allow to express and to handle new constraints defined on patterns, new implementations are required. Recently, many approaches based on constraint programmi
APA, Harvard, Vancouver, ISO, and other styles
18

FISCHER, JÖRG, and SERGEI GORLATCH. "TURING UNIVERSALITY OF RECURSIVE PATTERNS FOR PARALLEL PROGRAMMING." Parallel Processing Letters 12, no. 02 (2002): 229–46. http://dx.doi.org/10.1142/s012962640200094x.

Full text
Abstract:
Dijkstra's famous thesis "goto considered harmful", which paved the way for structured programming, was formally substantiated by the result of Böhm and Jacopini on the Turing universality of the three well-known basic programming constructs. We argue for a similar ideal in parallel programming — "send-receive considered harmful" — i.e. abandoning explicit send-receive statements between processors and expressing programs using a restricted set of parallel constructs. We deal with recursive patterns of parallelism, represented formally as morphisms in a suitable calculus. The aim of this paper
APA, Harvard, Vancouver, ISO, and other styles
19

Proulx, Viera K. "Programming patterns and design patterns in the introductory computer science course." ACM SIGCSE Bulletin 32, no. 1 (2000): 80–84. http://dx.doi.org/10.1145/331795.331819.

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

Byrne, C., M. Tainsky, and E. Fuchs. "Programming gene expression in developing epidermis." Development 120, no. 9 (1994): 2369–83. http://dx.doi.org/10.1242/dev.120.9.2369.

Full text
Abstract:
As the major proteins of adult keratinocytes, keratins provide biochemical markers for exploring mouse epidermal embryogenesis. Here, we used a modified method of whole-mount in situ hybridization to track skin-specific expression of endogenous keratin mRNAs throughout embryogenesis. To monitor transcriptional regulation, we coupled this with beta-galactosidase expression of a human epidermal keratin promoter-driven transgene. These studies have radically changed our perception of how the program of gene expression becomes established during epidermal development. Specifically, we have discove
APA, Harvard, Vancouver, ISO, and other styles
21

BUCOLO, M., A. BUSCARINO, L. FORTUNA, M. FRASCA, and M. G. XIBILIA. "FROM DYNAMICAL EMERGING PATTERNS TO PATTERNS IN VISUAL ART." International Journal of Bifurcation and Chaos 18, no. 01 (2008): 51–81. http://dx.doi.org/10.1142/s021812740802015x.

Full text
Abstract:
In this communication the relationship between emerging patterns generated by using CNN Universal Machine and patterns appearing in visual art masterpieces is discussed. The template based programming tools are outlined and a gallery of impressive examples is presented. The paper remarks the impressive role of Cellular Nonlinear Networks in covering the gap among art, science and information technology.
APA, Harvard, Vancouver, ISO, and other styles
22

Ghaleb, Taher Ahmed, Khalid Aljasser, and Musab A. Alturki. "An Extensible Compiler for Implementing Software Design Patterns as Concise Language Constructs." International Journal of Software Engineering and Knowledge Engineering 31, no. 07 (2021): 1043–67. http://dx.doi.org/10.1142/s0218194021500327.

Full text
Abstract:
Design patterns are generic solutions to common programming problems. Design patterns represent a typical example of design reuse. However, implementing design patterns can lead to several problems, such as programming overhead and traceability. Existing research introduced several approaches to alleviate the implementation issues of design patterns. Nevertheless, existing approaches pose different implementation restrictions and require programmers to be aware of how design patterns should be implemented. Such approaches make the source code more prone to faults and defects. In addition, exis
APA, Harvard, Vancouver, ISO, and other styles
23

Horak, F. B., and L. M. Nashner. "Central programming of postural movements: adaptation to altered support-surface configurations." Journal of Neurophysiology 55, no. 6 (1986): 1369–81. http://dx.doi.org/10.1152/jn.1986.55.6.1369.

Full text
Abstract:
We studied the extent to which automatic postural actions in standing human subjects are organized by a limited repertoire of central motor programs. Subjects stood on support surfaces of various lengths, which forced them to adopt different postural movement strategies to compensate for the same external perturbations. We assessed whether a continuum or a limited set of muscle activation patterns was used to produce different movement patterns and the extent to which movement patterns were influenced by prior experience. Exposing subjects standing on a normal support surface to brief forward
APA, Harvard, Vancouver, ISO, and other styles
24

McDowell, Patrick, and Theresa Beaubouef. "Neural Oscillators Programming Simplified." Applied Computational Intelligence and Soft Computing 2012 (2012): 1–9. http://dx.doi.org/10.1155/2012/963917.

Full text
Abstract:
The neurological mechanism used for generating rhythmic patterns for functions such as swallowing, walking, and chewing has been modeled computationally by the neural oscillator. It has been widely studied by biologists to model various aspects of organisms and by computer scientists and robotics engineers as a method for controlling and coordinating the gaits of walking robots. Although there has been significant study in this area, it is difficult to find basic guidelines for programming neural oscillators. In this paper, the authors approach neural oscillators from a programmer’s point of v
APA, Harvard, Vancouver, ISO, and other styles
25

Mens, Kim, Isabel Michiels, and Roel Wuyts. "Supporting software development through declaratively codified programming patterns." Expert Systems with Applications 23, no. 4 (2002): 405–13. http://dx.doi.org/10.1016/s0957-4174(02)00076-3.

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

Galatenko, V. A., N. I. Viukova, and K. A. Kostyukhin. "Using Program Patterns for Parallel Programming. Base Concepts." PROGRAMMNAYA INGENERIA 10, no. 4 (2019): 147–59. http://dx.doi.org/10.17587/prin.10.147-159.

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

Galatenko, V. A., N. I. Viukova, and K. A. Kostyukhin. "Using Program Patterns for Parallel Programming. Practical Usage." PROGRAMMNAYA INGENERIA 10, no. 6 (2019): 243–56. http://dx.doi.org/10.17587/prin.10.243-256.

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

Gregor, J., and M. G. Thomason. "Dynamic programming alignment of sequences representing cyclic patterns." IEEE Transactions on Pattern Analysis and Machine Intelligence 15, no. 2 (1993): 129–35. http://dx.doi.org/10.1109/34.192484.

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

Aoga, John O. R., Tias Guns, and Pierre Schaus. "Mining Time-constrained Sequential Patterns with Constraint Programming." Constraints 22, no. 4 (2017): 548–70. http://dx.doi.org/10.1007/s10601-017-9272-3.

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

Aldinucci, M., S. Campa, M. Danelutto, P. Kilpatrick, and M. Torquati. "Design patterns percolating to parallel programming framework implementation." International Journal of Parallel Programming 42, no. 6 (2013): 1012–31. http://dx.doi.org/10.1007/s10766-013-0273-6.

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

Trapp, Andrew, Oleg A. Prokopyev, and Stanislav Busygin. "Finding checkerboard patterns via fractional 0–1 programming." Journal of Combinatorial Optimization 20, no. 1 (2008): 1–26. http://dx.doi.org/10.1007/s10878-008-9186-5.

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

Maeda, Yoshihiro, Norishige Fukushima, and Hiroshi Matsuo. "Taxonomy of Vectorization Patterns of Programming for FIR Image Filters Using Kernel Subsampling and New One." Applied Sciences 8, no. 8 (2018): 1235. http://dx.doi.org/10.3390/app8081235.

Full text
Abstract:
This study examines vectorized programming for finite impulse response image filtering. Finite impulse response image filtering occupies a fundamental place in image processing, and has several approximated acceleration algorithms. However, no sophisticated method of acceleration exists for parameter adaptive filters or any other complex filter. For this case, simple subsampling with code optimization is a unique solution. Under the current Moore’s law, increases in central processing unit frequency have stopped. Moreover, the usage of more and more transistors is becoming insuperably complex
APA, Harvard, Vancouver, ISO, and other styles
33

del Rio Astorga, David, Manuel F. Dolz, Luis Miguel Sánchez, J. Daniel García, Marco Danelutto, and Massimo Torquati. "Finding parallel patterns through static analysis in C++ applications." International Journal of High Performance Computing Applications 32, no. 6 (2017): 779–88. http://dx.doi.org/10.1177/1094342017695639.

Full text
Abstract:
Since the ‘free lunch’ of processor performance is over, parallelism has become the new trend in hardware and architecture design. However, parallel resources deployed in data centers are underused in many cases, given that sequential programming is still deeply rooted in current software development. To address this problem, new methodologies and techniques for parallel programming have been progressively developed. For instance, parallel frameworks, offering programming patterns, allow expressing concurrency in applications to better exploit parallel hardware. Nevertheless, a large portion o
APA, Harvard, Vancouver, ISO, and other styles
34

Blikstein, Paulo, Marcelo Worsley, Chris Piech, Mehran Sahami, Steven Cooper, and Daphne Koller. "Programming Pluralism: Using Learning Analytics to Detect Patterns in the Learning of Computer Programming." Journal of the Learning Sciences 23, no. 4 (2014): 561–99. http://dx.doi.org/10.1080/10508406.2014.954750.

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

Edwards, H. Carter, Daniel Sunderland, Vicki Porter, Chris Amsler, and Sam Mish. "Manycore Performance-Portability: Kokkos Multidimensional Array Library." Scientific Programming 20, no. 2 (2012): 89–114. http://dx.doi.org/10.1155/2012/917630.

Full text
Abstract:
Large, complex scientific and engineering application code have a significant investment in computational kernels to implement their mathematical models. Porting these computational kernels to the collection of modern manycore accelerator devices is a major challenge in that these devices have diverse programming models, application programming interfaces (APIs), and performance requirements. The Kokkos Array programming model provides library-based approach to implement computational kernels that are performance-portable to CPU-multicore and GPGPU accelerator devices. This programming model i
APA, Harvard, Vancouver, ISO, and other styles
36

Tekkanat, Egemen, and Murat Topaloglu. "Developing java design patterns modeller with object-oriented programming." Global Journal of Computer Sciences: Theory and Research 8, no. 3 (2018): 132–35. http://dx.doi.org/10.18844/gjcs.v8i3.4024.

Full text
Abstract:
Planning is a very important stage for developing software. A number of systems have been developed for the planning stage, which is a must for software development. Object-oriented programming plays the most important part technically in those systems. Using object-based programming effectively minimises the time and money spent in terms of software development processes. One of the best ways for this is to use design patterns that are also known as modules or program segments consisting of more than one classes and supporting code reuse in order to solve the problems recurring during the dev
APA, Harvard, Vancouver, ISO, and other styles
37

Nazir, Farrukh, Arshad Ali, and Muhammad Farooq. "Usage Patterns of Western Televised Contents in Pakistan: A Use and Gratification Approach." Global Social Sciences Review IV, no. III (2019): 306–17. http://dx.doi.org/10.31703/gssr.2019(iv-iii).40.

Full text
Abstract:
The main objective of the research was to find out the preference wise list of western televised programming among the viewers in Islamabad. By applying the stratified sampling technique, 292 respondents were finalized for analysis. It was found that entertainment programming was mostly consumed western televised contents and then, educational and political. The usage of western televised contents was assessed due to dissatisfaction about their own programming, educational and political systems. They preferred the western programming and systems comparatively a better choice.
APA, Harvard, Vancouver, ISO, and other styles
38

Chen, Li, and Rui Zhang. "Pattern Generation Based on Julia Set and its Application in the Design of Seamless Underwear Products." Advanced Materials Research 332-334 (September 2011): 702–5. http://dx.doi.org/10.4028/www.scientific.net/amr.332-334.702.

Full text
Abstract:
In order to improve the design capacity of knitted fabric pattern and explore new design thought, this article studies the fractal image generation of Julia set and applies it into the pattern design of seamless underwear products. It adopts VB programming to generate Julia set pattern based on escape time algorithm, and then uses part imaging and amplification or changes the function orders to get a lot of colorful patterns. When these generated patterns are imported under the help of Photon software, color part in the patterns will be replaced with pre-designed fabric patterns and finally co
APA, Harvard, Vancouver, ISO, and other styles
39

Hemmingson, Carly, and Jessica J. Messersmith. "Cochlear Implant Practice Patterns: The U.S. Trends with Pediatric Patients." Journal of the American Academy of Audiology 29, no. 08 (2018): 722–33. http://dx.doi.org/10.3766/jaaa.17011.

Full text
Abstract:
AbstractMany factors affect an individual’s outcomes with a cochlear implant (CI); however, quality of device programming and consistency of follow-up appointments have been shown to be crucial contributors. As audiologists’ CI caseloads increase, time constraints on appointments also increase, thus fueling the need for efficient and effective programming strategies. Currently, there are no standardized guidelines describing what methods should be used during programming, nor are there standardized schedules that delineate what procedures should be performed at specific appointment intervals.
APA, Harvard, Vancouver, ISO, and other styles
40

Kerrigan, Jr., W. Jack. "Patterns of Success for Urban 4-H Youth Development in the Near Future." Journal of Youth Development 2, no. 2 (2007): 74–90. http://dx.doi.org/10.5195/jyd.2007.347.

Full text
Abstract:
A Modified Delphi study identified patterns of success for urban Extension 4-H programming in the next five years. The Delphi panel of 20 experts represented all regions, program areas, organizational levels as well as two external friends of Extension. The Delphi process provided both quantitative and qualitative data on the topics of collaboration, target populations, and programming. Fifteen patterns of success were identified for urban 4-H youth development. These patterns should serve as best practices for Extension youth development programming in urban counties for “making the best bett
APA, Harvard, Vancouver, ISO, and other styles
41

Xu, Wenwen, Yuyu Yao, John S. Klassen, and Michael J. Serpe. "Magnetic field assisted programming of particle shapes and patterns." Soft Matter 11, no. 36 (2015): 7151–58. http://dx.doi.org/10.1039/c5sm01820j.

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

Flores, José Luis Martínez, and Damián Gibaja. "LINEAR-INTEGER SEPARATION OF BINARY PATTERNS BY LINEAR PROGRAMMING." Advances and Applications in Discrete Mathematics 18, no. 1 (2017): 107–15. http://dx.doi.org/10.17654/dm018010107.

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

Raatz, Stan, and George Drastal. "Patterns of interaction in rule-based expert system programming." Computational Intelligence 3, no. 1 (1987): 107–16. http://dx.doi.org/10.1111/j.1467-8640.1987.tb00179.x.

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

Horn, Bruce. "Constraint patterns as a basis for object oriented programming." ACM SIGPLAN Notices 27, no. 10 (1992): 218–33. http://dx.doi.org/10.1145/141937.141955.

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

Cohen, Justin D., John P. Sadowski, and Peter B. Dervan. "Programming Multiple Protein Patterns on a Single DNA Nanostructure." Journal of the American Chemical Society 130, no. 2 (2008): 402–3. http://dx.doi.org/10.1021/ja0772400.

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

Heng, B. C. P., and R. I. Mackie. "Using design patterns in object-oriented finite element programming." Computers & Structures 87, no. 15-16 (2009): 952–61. http://dx.doi.org/10.1016/j.compstruc.2008.04.016.

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

Tomoff, Kiril. "Of Gypsy Barons and the Power of Love: Operetta Programming and Popularity in the Postwar Soviet Union." Cambridge Opera Journal 30, no. 1 (2018): 29–59. http://dx.doi.org/10.1017/s0954586718000083.

Full text
Abstract:
AbstractThis article utilises a nearly unique collection of material (theatre box office data) and the reports of Soviet bureaucrats charged with overseeing musical theatre to analyse the programming and reception of operetta performed in the Soviet Union from 1945 to 1948, a period during which Soviet society shifted from world war to Cold War, and music, musical life and musical theatres underwent ideological scrutiny and endured intervention by the Communist Party’s Central Committee. It argues that although official programming and audience preferences were rarely in sync, their disjunctur
APA, Harvard, Vancouver, ISO, and other styles
48

NEDJAH, NADIA, and LUIZA DE MACEDO MOURELLE. "PATTERN MATCHING CODE MINIMIZATION IN REWRITING-BASED PROGRAMMING LANGUAGES." International Journal of Foundations of Computer Science 13, no. 06 (2002): 873–87. http://dx.doi.org/10.1142/s0129054102001515.

Full text
Abstract:
We compile pattern matching for overlapping patterns in term rewriting systems into a minimal, tree matching automata. The use of directed acyclic graphs that shares all the isomorphic subautomata allows us to reduce space requirements. These are duplicated in the tree automaton. We design an efficient method to identify such subautomata and avoid duplicating their construction while generating the dag automaton. We compute some bounds on the size of the automata, thereby improving on previously known equivalent bounds for the tree automaton.
APA, Harvard, Vancouver, ISO, and other styles
49

Zhang, Weixin, Yaozhu Sun, and Bruno C. D. S. Oliveira. "Compositional Programming." ACM Transactions on Programming Languages and Systems 43, no. 3 (2021): 1–61. http://dx.doi.org/10.1145/3460228.

Full text
Abstract:
Modularity is a key concern in programming. However, programming languages remain limited in terms of modularity and extensibility. Small canonical problems, such as the Expression Problem (EP), illustrate some of the basic issues: the dilemma between choosing one kind of extensibility over another one in most programming languages. Other problems, such as how to express dependencies in a modular way, add up to the basic issues and remain a significant challenge. This article presents a new statically typed modular programming style called Compositional Programming . In Compositional Programmi
APA, Harvard, Vancouver, ISO, and other styles
50

Sterling, Leon, and Ümit Yalçinalp. "Logic Programming and Software engineering—implications for Software design." Knowledge Engineering Review 11, no. 4 (1996): 333–45. http://dx.doi.org/10.1017/s026988890000802x.

Full text
Abstract:
AbstractLogic programming is a programming paradigm with potential to contribute to software engineering. This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design. We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-programming.
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!