Filters








169,248 Hits in 6.6 sec

A practical and flexible flow analysis for higher-order languages

J. Michael Ashley, R. Kent Dybvig
1998 ACM Transactions on Programming Languages and Systems  
The analysis described in this article unifies and extends previous work on flow analyses for higher-order languages supporting assignment and control operators.  ...  A flow analysis collects data-flow and control-flow information about programs. A compiler can use this information to enable optimizations.  ...  INTRODUCTION A flow analysis for a higher-order language collects data-flow and control-flow information about programs in the language.  ... 
doi:10.1145/291891.291898 fatcat:y6jsvuapxvgedaub6w3zn7rexa

A practical and flexible flow analysis for higher-order languages

J. Michael Ashley
1996 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96  
The analysis described in this article unifies and extends previous work on flow analyses for higher-order languages supporting assignment and control operators.  ...  A flow analysis collects data-flow and control-flow information about programs. A compiler can use this information to enable optimizations.  ...  INTRODUCTION A flow analysis for a higher-order language collects data-flow and control-flow information about programs in the language.  ... 
doi:10.1145/237721.237773 dblp:conf/popl/Ashley96 fatcat:xl3qtyapsbfflbv6nh5naykdle

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators

Stefan Holdermans, Jurriaan Hage
2010 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10  
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism.  ...  As flow typing is archetypical to a whole class of type and effect systems, our approach can be used to boost the precision of a wide range of type-based program analyses for higher-order languages.  ...  The authors would like to thank Arie Middelkoop and Jeroen Weijers for their helpful comments on a draft of this paper, and the anonymous reviewers for their insightful feedback on the submitted version  ... 
doi:10.1145/1863543.1863554 dblp:conf/icfp/HoldermansH10 fatcat:q3jsirvqjzb4zhlbfp4tvuwohq

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators

Stefan Holdermans, Jurriaan Hage
2010 SIGPLAN notices  
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism.  ...  As flow typing is archetypical to a whole class of type and effect systems, our approach can be used to boost the precision of a wide range of type-based program analyses for higher-order languages.  ...  The authors would like to thank Arie Middelkoop and Jeroen Weijers for their helpful comments on a draft of this paper, and the anonymous reviewers for their insightful feedback on the submitted version  ... 
doi:10.1145/1932681.1863554 fatcat:lfj7biojorgt5mowiaxpx65c2m

Automated techniques for higher-order program verification

Naoki KOBAYASHI, Luke ONG, David Van HORN
2013 Progress in Informatics  
Studies of game semantics have yielded compositional model checkers and automated program equivalence checkers for Algol-like programming languages, and studies of higher-order recursion schemes and pushdown  ...  The workshop also aimed for cross-fertilization of different techniques for higher-order program verification, such as game semantics, type theories, higher-order grammars and pushdown systems, control  ...  CFA2: Pushdown Flow Analysis for Higher-Order Languages Dimitrios Vardoulakis (Northeastern University) Flow analysis is a valuable tool for creating better programming languages; its applications span  ... 
doi:10.2201/niipi.2013.10.9 fatcat:xqfyvx6m25d4jcodwl373vlxlq

Complexity analysis of BPEL Web processes

Jorge Cardoso
2007 Software Process: Improvement and Practice  
WS-BPEL provides a model for describing simple or complex interactions between business partners.  ...  Several organizations have already realized the potential of using WS-BEPL, the Process Execution Language for Web Services, to model the behavior of Web services in business processes.  ...  In order to follow a bottom-up approach to develop a generic metric for process modeling languages, it is necessary to analyze the CFC complexity of additional languages.  ... 
doi:10.1002/spip.302 fatcat:24nmgktx2nfzxnumkp2ct7hcpq

Processing of English Sentences Consisting of Frequency Adverbs by Japanese EFL Learners

Prabath B. Kanduboda
2017 Theory and Practice in Language Studies  
information flow.  ...  A simple comparison between alternative ordering showed that, the sentences consisting of adverbs in between-positioning were processed faster to that of initial-positioning, assumable due to the different  ...  INTRODUCTION Generally, English language disallows flexibility in word order (Karimi, 2003) .  ... 
doi:10.17507/tpls.0711.02 fatcat:ueii77crn5fmhlfiwu5n4b5ixu

Combining Flexibility and Data Handling in Business Process Models

Giorgio Bruno
2014 International Journal of Human Capital and Information Technology Professionals  
of entity selection while deciding whether to generate a new supplier order for the customer orders selected or to add them to an existing supplier order is a case of task selection.  ...  An integrated approach able to combine flexibility and data handling is needed and to this end this paper presents a notation named ENTA (ENtities and TAsks): it makes both business entities and tasks  ...  higher level where they may make choices which affect the control flow.  ... 
doi:10.4018/ijhcitp.2014040102 fatcat:ny4nazw4djcmxmsdoupmmpscdi

An Empirical Comparison of the Usability of BPMN and UML Activity Diagrams for Business Users

Dominik Birkmeier, Sebastian Kloeckner, Sven Overhage
2010 European Conference on Information Systems  
For companies, however, changing to a new process modeling language is a significant expense factor.  ...  and together shape a company's business processes.  ...  Our results have implications for both practice and academia. For practice, the results showed that for business users a higher usability of BPMN compared to UML AD cannot be empirically supported.  ... 
dblp:conf/ecis/BirkmeierKO10 fatcat:ndn3r75mube2pglohqwucop6nm

Neurocognitive mechanisms underlying the experience of flow

Arne Dietrich
2004 Consciousness and Cognition  
From the analysis of this flexibility/efficiency trade-off emerges a thesis that identifies the flow state as a period during which a highly practiced skill that is represented in the implicit systemÕs  ...  The explicit system is associated with the higher cognitive functions of the frontal lobe and medial temporal lobe structures and has evolved to increase cognitive flexibility.  ...  a higher-order representation.  ... 
doi:10.1016/j.concog.2004.07.002 pmid:15522630 fatcat:mzhgigculvepbh7ubmj3lyqd24

Practical verification techniques for wide-area routing

Nick Feamster
2004 Computer communication review  
to enumerate, which precludes existing verification techniques, (3) because of BGP's flexible, policy-based configuration, some aspects of BGP configuration must be checked against a higher-level specification  ...  Based on these observations, we propose the design of a BGP verification tool, discuss how it could be applied in practice, and describe future research challenges.  ...  I also thank Tom Barron, Randy Bush, Avi Freedman, Dave Meyer, Dave Ward, and Russ White, who offered useful insights into current practices.  ... 
doi:10.1145/972374.972390 fatcat:fdyb32vncbgrnf6lbpemadjjz4

Aspectizing JavaScript security

Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
2013 Proceedings of the 3rd workshop on Modularity in systems software - MISS '13  
We give examples of applications where aspects are useful as a general means to flexibly express and implement security policies for JavaScript.  ...  In this position paper we argue that aspects are wellsuited to describe and implement a range of strategies to make secure JavaScript-based applications.  ...  The authors would also like to thank the reviewers for their helpful comments.  ... 
doi:10.1145/2451613.2451616 fatcat:7yrvqlusmjbcli5qjuffdngeqy

Flexible Non-Terminals for Dependency Tree-to-Tree Reordering

John Richardson, Fabien Cromierès, Toshiaki Nakazawa, Sadao Kurohashi
2016 Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies  
The proposed method greatly improves the flexibility of translation rules at the cost of only a 30% increase in decoding time, and we demonstrate a 1.2-1.9 BLEU improvement over a strong tree-to-tree baseline  ...  In this paper we propose a general model for dependency tree-to-tree reordering based on flexible non-terminals that can compactly encode multiple insertion positions.  ...  Acknowledgments We would like to thank the anonymous reviewers for their feedback.  ... 
doi:10.18653/v1/n16-1002 dblp:conf/naacl/RichardsonCNK16 fatcat:65nrop6nvbfh3mqum7bc36xkde

Developing of Higher Order Thinking Skill in Relation and Function to Support Student's Creative Thinking

Rahma Siska Utari, Tria Gustiningsi
2021 Jurnal Pendidikan Matematika  
This study aimed to produce the Higher Order Thinking Skill (HOTS)' questions of relation and function material that had validity and practicality and also had potential effect to support student's creative  ...  The questions of relation and function material developed based on characteristics of Higher Order Thinking Skill (HOTS) questions and followed stages of development study, such as: self evaluation, experts  ...  ACKNOWLEDGEMENTS We would like to thanks the Ministry of Research and Technology/ National Research and Innovation Agency Republic of Indonesia (Kemenristek/ BRIN) which funded this research.  ... 
doi:10.22342/jpm.15.1.12876.49-60 fatcat:hqpkixbar5chxexv6lcn3ek3te

Global Capitalism and Critical Awareness of Language

Norman Fairclough
1999 Language Awareness  
As the shape of the new global social order becomes clearer, so too does the need for a critical awareness of language as part of language education.  ...  I then draw these together by tying the case for CLA to the nature of the new global capitalism, and conclude the paper with discussions of how CLA is anchored in 'critical discourse analysis' (and, through  ...  I want argue that as the shape of the new global social order becomes clearer, so too does the need for a critical awareness of language as part of people's resources for living in new ways in new circumstances  ... 
doi:10.1080/09658419908667119 fatcat:apol2gugz5ajldbb2vnojdwco4
« Previous Showing results 1 — 15 out of 169,248 results