Shrinking lambda expressions in linear time

1997 ◽  
Vol 7 (5) ◽  
pp. 515-540 ◽  
Author(s):  
ANDREW W. APPEL ◽  
TREVOR JIM
Keyword(s):  
Blow Up ◽  
Linear Time ◽  
Functional Language ◽  
Code Size ◽  
Variable Elimination ◽  
Elimination Constant ◽  
Final Code ◽  
Code Quality ◽  
Speculative Optimizations ◽  
Rewrite System

Functional-language compilers often perform optimizations based on beta and delta reduction. To avoid speculative optimizations that can blow up the code size, we might wish to use only shrinking reduction rules guaranteed to make the program smaller: these include dead-variable elimination, constant folding, and a restricted beta rule that inlines only functions that are called just once. The restricted beta rule leads to a shrinking rewrite system that has not previously been studied. We show some efficient normalization algorithms that are immediately useful in optimizing compilers; and we give a confluence proof for our system, showing that the choice of normalization algorithm does not affect final code quality.

scholarly journals Well-posedness results and blow-up for a semi-linear time fractional diffusion equation with variable coefficients

2021 ◽  
Vol 0 (0) ◽  
pp. 0
Author(s):  
Vo Van Au ◽  
Jagdev Singh ◽  
Anh Tuan Nguyen
Keyword(s):  
Diffusion Equation ◽  
Blow Up ◽  
Linear Time ◽  
Unique Continuation ◽  
Fractional Diffusion ◽  
Variable Coefficients ◽  
Fractional Diffusion Equation ◽  
Well Posedness ◽  
Regularity Estimates ◽  
Logarithmic Functions

<p style='text-indent:20px;'>The semi-linear problem of a fractional diffusion equation with the Caputo-like counterpart of a hyper-Bessel differential is considered. The results on existence, uniqueness and regularity estimates (local well-posedness) of the solutions are established in the case of linear source and the source functions that satisfy the globally Lipschitz conditions. Moreover, we prove that the problem exists a unique positive solution. In addition, the unique continuation of solutions and a finite-time blow-up are proposed with the reaction terms are logarithmic functions.</p>

scholarly journals Compiling lazy functional programs for the Java Virtual Machine

1999 ◽  
Vol 9 (6) ◽  
pp. 579-603 ◽  
Author(s):  
DAVID WAKELING
Keyword(s):  
Virtual Machine ◽  
Java Virtual Machine ◽  
Functional Language ◽  
Code Size ◽  
Execution Speed ◽  
Order Of Magnitude

In this paper, we show how lazy functional programs can be compiled for the Java Virtual Machine using a mapping between a version of the 〈v, G〉-machine and the Java Virtual Machine. This mapping is elegant – the description is entirely straightforward – and efficient – using it, both code size and execution speed are of the same order of magnitude as those obtained with a traditional functional language bytecode interpreter. In future, our work could serve as the basis of an interface between Haskell and Java.

scholarly journals Attributes Influencing the Reading and Comprehension of Source Code – Discussing Contradictory Evidence

2018 ◽  
Vol 21 (1) ◽  
Author(s):  
Talita Vieira Ribeiro ◽  
Guilherme Horta Travassos
Keyword(s):  
Source Code ◽  
Confounding Factors ◽  
Code Size ◽  
Technical Literature ◽  
Reading Preference ◽  
Semantic Complexity ◽  
Contradictory Evidence ◽  
Novices And Experts ◽  
Coding Guidelines ◽  
Code Quality

Background: Coding guidelines can be contradictory despite their intention of providing a universal perspective on source code quality. For instance, five attributes (code size, semantic complexity, internal documentation, layout style, and identifier length) out of 13 presented contradictions regarding their influence (positive or negative) on the source code readability and comprehensibility. Aims: To investigate source code attributes and their influence on readability and comprehensibility. Method: A literature review was used to identify source code attributes impacting the source code reading and comprehension, and an empirical study was performed to support the assessment of four attributes that presented empirical contradictions in the technical literature. Results: Regardless participants’ experience; all participants showed more positive comprehensibility perceptions for Python snippets with more lines of code. However, their readability perceptions regarding code size were contradictory. The less experienced participants preferred more lines of code while the more experienced ones preferred fewer lines of code. Long and complete-word identifiers presented better readability and comprehensibility according to both novices and experts. Comments contribute to better comprehension. Furthermore, four indentation spaces dominated the code reading preference. Conclusions: Coding guidelines contradictions still demand further investigation to provide indications on possible confounding factors explaining some of the inconclusive results.

Assessing Functional Language in School-Aged Children Using Language Sample Analysis

2020 ◽  
Vol 5 (3) ◽  
pp. 622-636
Author(s):  
John Heilmann ◽  
Alexander Tucci ◽  
Elena Plante ◽  
Jon F. Miller
Keyword(s):  
Computer Hardware ◽  
School Age Children ◽  
Functional Language ◽  
School Age ◽  
Clinical Use ◽  
Sample Analysis ◽  
Validity And Reliability ◽  
Language Sample Analysis ◽  
Accuracy And Repeatability ◽  
Language Sample

Purpose The goal of this clinical focus article is to illustrate how speech-language pathologists can document the functional language of school-age children using language sample analysis (LSA). Advances in computer hardware and software are detailed making LSA more accessible for clinical use. Method This clinical focus article illustrates how documenting school-age student's communicative functioning is central to comprehensive assessment and how using LSA can meet multiple needs within this assessment. LSA can document students' meaningful participation in their daily life through assessment of their language used during everyday tasks. The many advances in computerized LSA are detailed with a primary focus on the Systematic Analysis of Language Transcripts (Miller & Iglesias, 2019). The LSA process is reviewed detailing the steps necessary for computers to calculate word, morpheme, utterance, and discourse features of functional language. Conclusion These advances in computer technology and software development have made LSA clinically feasible through standardized elicitation and transcription methods that improve accuracy and repeatability. In addition to improved accuracy, validity, and reliability of LSA, databases of typical speakers to document status and automated report writing more than justify the time required. Software now provides many innovations that make LSA simpler and more accessible for clinical use. Supplemental Material https://doi.org/10.23641/asha.12456719

Positive solutions for a quasilinear system Via blow up

1993 ◽  
Vol 18 (12) ◽  
pp. 2071-2106
Author(s):  
Philippe Clément ◽  
Raúl Manásevich ◽  
Enzo Mitidieri
Keyword(s):  
Positive Solutions ◽  
Blow Up ◽  
Quasilinear System

A Real Time Control Architecture for Continuously Managing Patients in a Care Unit

1995 ◽  
Vol 34 (05) ◽  
pp. 475-488
Author(s):  
B. Seroussi ◽  
J. F. Boisvieux ◽  
V. Morice
Keyword(s):  
Real Time ◽  
Linear Time ◽  
Treatment Plan ◽  
Control Architecture ◽  
Real Time Control ◽  
Time Representation ◽  
Time Control ◽  
Continuous Support ◽  
Definition Of ◽  
Computerized System

Abstract:The monitoring and treatment of patients in a care unit is a complex task in which even the most experienced clinicians can make errors. A hemato-oncology department in which patients undergo chemotherapy asked for a computerized system able to provide intelligent and continuous support in this task. One issue in building such a system is the definition of a control architecture able to manage, in real time, a treatment plan containing prescriptions and protocols in which temporal constraints are expressed in various ways, that is, which supervises the treatment, including controlling the timely execution of prescriptions and suggesting modifications to the plan according to the patient’s evolving condition. The system to solve these issues, called SEPIA, has to manage the dynamic, processes involved in patient care. Its role is to generate, in real time, commands for the patient’s care (execution of tests, administration of drugs) from a plan, and to monitor the patient’s state so that it may propose actions updating the plan. The necessity of an explicit time representation is shown. We propose using a linear time structure towards the past, with precise and absolute dates, open towards the future, and with imprecise and relative dates. Temporal relative scales are introduced to facilitate knowledge representation and access.

Sign in / Sign up

Export Citation Format

Share Document