functional programs
A standard for a graph representation for functional programs
... a functional language currently used for teaching purposes [1] resembles the languages SASL [6] and Pifl [3] currently in use at ...any functional language could be translated to such a graph and then ...
9
A Lightweight Hat: : simple type-preserving instrumentation for self-tracing lazy functional programs
... Besides hat-detect, several algorithmic debuggers (Shapiro 1983) for Haskell have been developed. Nilsson and Sparud (1997) define the evaluation dependence tree (EDT) as a suitable computation tree for algorithmic ...
15
Automatic Space Bound Analysis for Functional Programs with Garbage Collection
... This article introduces a novel system for deriving upper bounds on the heap-space requirements of functional programs with garbage collection. The space cost model is based on a perfect garbage collector ...
21
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
... of programs is in general primarily known from the field of inductive logic programming (ILP), where the target language is relational descriptions in form of logic programs, ...logic programs, GOLEM ...
26
GCODE : a revised standard for a graph representation for functional programs
... a functional program in the FLIC intermediate code, or a similar language, has been suggested as a standard internal form for functional ...of programs between different sites is not likely to take ...
12
Synthesising Parallel Functional Programs to Improve Dynamic Scheduling
... To clarify the contribution that child tasks medce to the cost of a parent it is useful to contrast the demands of a dynamic scheduler with those of a compile-time algorithm that partitions a functional program ...
262
Compiling functional programs to Java byte code
... The times of compiling and running some of the standard programs in the Ginger test suite can be found in Table 5. The code for some of these programs can be seen in Appendix D. As we see, we achieve a ...
27
Verification of Programs via Intermediate Interpretation
... We can now turn to the program modeling the Synapse N+1 protocol given in Section 3.1. In order to show that the Synapse program model is safe, below we specialize the self-interpreter Int (see Section 2.3) with respect ...
21
Functional Programming on the GRIP multiprocessor
... of programs without adding new language constructs is not ...of programs written in (almost) ordinary ...of programs, and easily destroyed by seemingly innocuous ...of functional languages the ...
12
Comparing Programming Paradigms: an Evaluation of Functional and Object Oriented Programs
... The metric L/N*, the ratio of the number of distinct library functions called to the total number of distinct functions called, shows a significant difference due to the difference in the number of library functions ...
12
The Effectiveness of a Multimedia Messaging Service Reminder System in the Management of Knee Osteoarthritis: A Pilot Study
... In recent years, SMS text messaging has been proven to be effective in all niches of health related fields. Stu- dies have confirmed the usefulness of SMS text messaging in improving recall of rehabilitation goals [9], ...
7
The Comparison of the Effect of Eight Weeks of Pilates and Stabilization Exercises on Pain and Functional Disability of Women with Chronic Low Back Pain
... pain, Functional disability, Trunk muscle endurance and Flexibility among the 25-50 years women affected by Chronic Low back ...pain, Functional disability, flexor and Extensor ...
12
Alcohol use in a military population deployed in combat areas: a cross sectional study
... with functional impairment and psychological ill health highlights the need for prevention programs and screening, identifying high risk groups and plan interventions for such personnel in the ...
7
Programs
... Machine Translation Jun-ichi Tsujii, Jun-ichi Nakamura, Makoto Nagao [J] Analysis Grammar of Japanese in the Mu-Project -- A Procedural Approach to Analysis Grammar... Parsing and Syntax[r] ...
6
A Channel Theoretic foundation for ontology coordination
... The ISO/IEC 2382 Information Technology Vocabulary defines interoperability as “the capability to communicate, execute programs, or transfer data among various functional units in a mann[r] ...
15
An Exploration of Data Interoperability for GDPR
... Interoperability in this case is defined by ISO/IEC 2382-01 as “The capability to communicate, execute programs, or transfer data among various functional units in a manner that requires[r] ...
21
Hoffmann, Jan (2011): Types with potential: polynomial resource bounds via automatic amortized analysis. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... object-oriented programs [HJ06, HR09], to generic resource metrics [JLH + 09, Cam09], to polymorphic and higher-order programs [JHLH10], and to Java-like bytecode by means of separation logic ...
193
Habitat degradation increases functional originality in highly diverse coral reef fish assemblages
... of functional redundancy in ecosystems (Rosenfeld 2002, Loreau ...discrete functional trait values represents, at best, a coarse categorical approximation of organisms’ ecological role based on biological ...
19
An audit of pulmonary rehabilitation program
... be completed by patients unsupervised with time efficiency. The key conclusion from the audit is that too few (2%) eligible patients access PR programs in our region. To redress this will require enhanced referral ...
6