Filters








465,807 Hits in 6.3 sec

Formalizing Implementation Strategies for First-Class Continuations [chapter]

Olivier Danvy
2000 Lecture Notes in Computer Science  
We present the first formalization of implementation strategies for first-class continuations.  ...  The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-class continuations  ...  Finally, thanks are due to the anonymous referees for stressing the issue of retention vs. deletion.  ... 
doi:10.1007/3-540-46425-5_6 fatcat:ylg7yerh55a7peamsexn5xuwke

Formalizing Implementation Strategies for First-Class Continuations

Olivier Danvy
1999 BRICS Report Series  
We present the first formalization of implementation strategies<br /> for first-class continuations.  ...  The formalization hinges on abstract<br />machines for continuation-passing style (CPS) programs with a special<br />treatment for the current continuation, accounting for the essence of<br />first-class  ...  Finally, thanks are due to the anonymous referees for stressing the issue of retention vs. deletion.  ... 
doi:10.7146/brics.v6i51.20121 fatcat:ag75vf6uojdnfmay4frk3naazq

Designing Machine Learning Toolboxes: Concepts, Principles and Patterns [article]

Franz J. Király, Markus Löning, Anthony Blaom, Ahmed Guecioueur, Raphael Sonabend
2021 arXiv   pre-print
potentially, the first steps towards a higher-level programming paradigm for constructing AI.  ...  In this paper, we attempt to provide an overview of key patterns in the design of AI modeling toolboxes, taking inspiration, in equal parts, from the field of software engineering, implementation patterns  ...  Acknowledgments We would like to thank Viktor Kazakov for his feedback and discussions on a first draft of the paper.  ... 
arXiv:2101.04938v1 fatcat:5sthfoc3prbmlcejnfahdgiesy

Verification-Centric Realization of Electronic Vote Counting

Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney
2007 USENIX Security Symposium  
This paper discusses a methodology and a set of tools we have used to implement a vote counting plugin, for an experimental computer-based voting system using applied formal methods.  ...  Activist computer scientists, including some of the authors of this paper, have been working against the adoption by governments of commercial, proprietary, insecure, poorly designed and implemented voting  ...  Our implementation strategy is, generally, to implement the constructors, factories, and initializers first, as these features let one focus on invariants and the initial state of objects.  ... 
dblp:conf/uss/KiniryCT07 fatcat:afjea4cylvco7hovn77f2q52dq

Proper tail recursion and space efficiency

William D. Clinger
1998 SIGPLAN notices  
This paper offers a formal and implementation-independent definition of proper tail recursion for Scheme.  ...  The IEEE/ANSI standard for Scheme requires implementations to be properly tail recursive.  ...  Proper tail recursion affects every rule shown in Figure 5 except for the first three reduction rules and the first two continuation rules.  ... 
doi:10.1145/277652.277719 fatcat:cbim23hobff3nnjrilcsgfiy7u

Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation

Shin Ya Nishizaki
2015 Journal of Software  
In Simple Abstract Machine, we can formalize first-class continuations more simply and intelligibly than SECD machine.  ...  For example, Landin's SECD machine and Curien's Categorical Abstract Machine are proposed for functional programming languages and useful not only for theoretical studies but also implementation of practical  ...  This work was supported by Grants-in-Aid for Scientific Research (C) (23400009).  ... 
doi:10.17706//jsw.10.10.1148-1159 fatcat:vqhwrvrm5rc3fjmyc5fa2mvtdu

Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation

Shin-Ya Nishizaki, Kensuke Narita, Tomoyuki Ueda
2015 Journal of Software  
In Simple Abstract Machine, we can formalize first-class continuations more simply and intelligibly than SECD machine.  ...  For example, Landin's SECD machine and Curien's Categorical Abstract Machine are proposed for functional programming languages and useful not only for theoretical studies but also implementation of practical  ...  This work was supported by Grants-in-Aid for Scientific Research (C) (23400009).  ... 
doi:10.17706/jsw.10.10.1148-1159 fatcat:msoso6g3kzcbjhthuxyuumdsya

Joint action between child health care nurses and midwives leads to continuity of care for expectant and new mothers

Mia Barimani, Ingrid Hylander
2012 International Journal of Qualitative Studies on Health & Well-Being  
In addition, mothers benefited from the joint action and recognized continuity of care when strategies for continuity were implemented.  ...  These strategies for continuity formed the basis of the core category, joint action. In all the strategies for continuity, midwives and child healthcare nurses worked together.  ...  The first was that, when staff perceived that strategies for continuity were both present and implemented jointly by different departments, mothers experienced continuity in the chain of care.  ... 
doi:10.3402/qhw.v7i0.18183 pmid:22783367 pmcid:PMC3391663 fatcat:za567onqtfepxoru75v564duda

Integrity assurance in resource-bounded systems through stochastic message authentication

Aron Laszka, Yevgeniy Vorobeychik, Xenofon Koutsoukos
2015 Proceedings of the 2015 Symposium and Bootcamp on the Science of Security - HotSoS '15  
We propose a formal game-theoretic framework for optimal stochastic message authentication, providing provable integrity guarantees for resource-bounded systems based on an existing MAC scheme.  ...  However, overhead costs associated with cryptographic primitives used towards this end introduce significant practical implementation challenges for resourcebounded systems, such as cyber-physical systems  ...  Continuous Relaxation First, we study a continuous relaxation of the problem.  ... 
doi:10.1145/2746194.2746195 dblp:conf/hotsos/LaszkaVK15 fatcat:qoykg27krbgj3gm6my3yyb7tyy

Specific Effects of Language Transfer Promoting Teaching and Insights Into the Implementation in EFL-Teaching

Kerstin Göbel, Svenja Vieluf
2018 Orbis Scholae  
Results indicate the need for elaborated strategies of implementation of language transfer promoting teaching .  ...  The analysis of selected videos revealed sequences that hint at an attempt to promoting language transfer actually take place in classes of teachers reporting high importance for language transfer promoting  ...  Class 1: Transcript of the video sequence, first lesson, language-learning topic (time: 11.40−13.33 min.) … . . T More formal. What means more formal? Something is more formal. Clothes (!)  ... 
doi:10.14712/23363177.2018.279 fatcat:ln23haptr5e65a3ejizl2gxd64

An Integrated Strategy for Grassland Easement Acquisition in the Prairie Pothole Region, USA

Johann Walker, Jay J. Rotella, Charles R. Loesch, Randy W. Renner, James K. Ringelman, Mark S. Lindberg, Randal Dell, Kevin E. Doherty
2013 Journal of Fish and Wildlife Management  
implementation of this new strategy and will facilitate continued conservation success.  ...  We observed strong evidence that easements were targeted to priority landscapes both before and after formalization of the USFWS conservation strategy in 2004.  ...  Any use of trade, product, or firm names is for descriptive purposes only and does not imply endorsement by the U.S. Government.  ... 
doi:10.3996/052013-jfwm-035 fatcat:nhxqhixyn5hb5ntmrj2id47n64

Implementation Quality of a Positive Youth Development Program: Cross-Case Analyses Based on Seven Cases in Hong Kong

Daniel T. L. Shek, Rachel C. F. Sun
2008 The Scientific World Journal  
Fourth, although there were different arrangements for program implementation, incorporation of the Tier 1 Program into the formal curriculum was a sound and viable strategy.  ...  First, several factors related to policy, people, program, process, and place (5 "P"s) were conducive to the successful implementation of the Tier 1 Program in the schools.  ...  How will the quality of implementation be assessed? How well will the intervention work? How shall continuous quality improvement strategies be incorporated?  ... 
doi:10.1100/tsw.2008.130 pmid:18956123 pmcid:PMC5848722 fatcat:qifxzef52fglxo4ga5h6bzweta

The Conversion of a Practice-Based Lifestyle Enhancement Program into a Formalized, Testable Program: From Texercise Classic to Texercise Select

Marcia G. Ory, Matthew Lee Smith, Doris Howell, Alyson Zollinger, Cindy Quinn, Suzanne M. Swierc, Alan B. Stevens
2015 Frontiers in Public Health  
It will: (1) discuss Texercise Classic's participant reach and adoption over time; (2) describe the rationale and processes employed to formalize Texercise Classic into a more structured program known  ...  Preliminary results indicate that Texercise Select is effective, yet its ability to sustain the same reach as Texercise Classic remains unknown and an area for future study.  ...  are not specifically addressed in the classic class Physical activity and dietary logs are kept through the first half of the sessions Uses incentives for behavior change Tracking and monitoring  ... 
doi:10.3389/fpubh.2014.00291 pmid:25964940 pmcid:PMC4410339 fatcat:2pf2z7axxjdktmc5ynbuv73x3u

The Implementation of Mobile Seamless Learning Strategy in Mastering Students' Concepts for Elementary School

ABDULLAH HAMID, Punaji Setyosari, Saida Ulfa, Dedi Kuswandi
2019 Journal for the Education of Gifted Young Scientists  
As a results of study, implementation of the mobile seamless learning strategy had a significant impact on students' concept mastery ability.  ...  The participants were student IV class. Subject were selected by classing cluster random sampling.  ...  dissertation submitted in fulfillment of a Doctor´s degree in Instructional Technology, State University of Malang, The corresponding author would like to thank the second, third, and fourth authors for  ... 
doi:10.17478/jegys.622416 fatcat:ojiatcil4zc5bmnxop4fxoodbu

A multiformalism and multiresolution modelling environment: application to the cardiovascular system and its regulation

A. I. Hernandez, V. Le Rolle, A. Defontaine, G. Carrault
2009 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
A given model is represented as a set of coupled and atomic model components that may be based on different mathematical formalisms with heterogeneous structural and dynamical properties.  ...  The pioneering model of the overall regulation of the cardiovascular system proposed by Guyton and co-workers in 1972 has been implemented under M2SL and a pulsatile ventricular model based on a time-varying  ...  Concerning atomic simulators, a set of classes has been developed for discrete and continuous simulators.  ... 
doi:10.1098/rsta.2009.0163 pmid:19884187 pmcid:PMC3034733 fatcat:crdjw6rulbet3hizbxtgfi2day
« Previous Showing results 1 — 15 out of 465,807 results