Filters








10,379 Hits in 5.2 sec

Type Error Slicing in Implicitly Typed Higher-Order Languages [chapter]

Christian Haack, J. B. Wells
2003 Lecture Notes in Computer Science  
We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML.  ...  We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error.  ...  Conclusion We have presented algorithms for type error slicing in an implicitly typed λcalculus with let-polymorphism.  ... 
doi:10.1007/3-540-36575-3_20 fatcat:geffo3irqnhpfnayoqxglv223y

Type error slicing in implicitly typed higher-order languages

Christian Haack, J.B. Wells
2004 Science of Computer Programming  
We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML.  ...  We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error.  ...  Conclusion We have presented algorithms for type error slicing in an implicitly typed λcalculus with let-polymorphism.  ... 
doi:10.1016/j.scico.2004.01.004 fatcat:jtyzj3bmqbaa3ns425gmsv6s6q

An approach to completing variable names for implicitly typed functional languages

Isao Sasano, Takumi Goto
2012 Higher-Order and Symbolic Computation  
This paper presents an approach to completing variable names when writing programs in implicitly typed functional languages.  ...  With this assumption we specify a variable completion problem for an implicitly typed core functional language with letpolymorphism and show an algorithm for solving the problem.  ...  Acknowledgments We would like to thank the anonymous referees for many helpful comments and for pointing out the paper in ASE 2008.  ... 
doi:10.1007/s10990-013-9095-x fatcat:3o65l2abtvg43bxbtv2fpkoiwi

Security type error diagnosis for higher-order, polymorphic languages

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
2014 Science of Computer Programming  
We combine the type error slicing and heuristics based approaches to type error diagnostic improvement within the context of type based security analysis on a let-polymorphic call by value lambda calculus  ...  A lot of work has been done on providing feedback for type errors for polymorphic, higher-order functional languages.  ...  Conclusion and future work In this paper we combine a heuristics-based approach to type error diagnosis with a type error slice approach, in order to improve security type error diagnosis.  ... 
doi:10.1016/j.scico.2014.03.011 fatcat:anm4gf6frnh3nhwwx3vrdbbieq

Security type error diagnosis for higher-order, polymorphic languages

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
2013 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13  
We combine the type error slicing and heuristics based approaches to type error diagnostic improvement within the context of type based security analysis on a let-polymorphic call by value lambda calculus  ...  A lot of work has been done on providing feedback for type errors for polymorphic, higher-order functional languages.  ...  Conclusion and future work In this paper we combine a heuristics-based approach to type error diagnosis with a type error slice approach, in order to improve security type error diagnosis.  ... 
doi:10.1145/2426890.2426894 dblp:conf/pepm/WeijersHH13 fatcat:ocbvy7e4cjf2jlm3ewjb6in2qm

Concurrency-aware object-oriented programming with roles

Michael Faes, Thomas R. Gross
2018 Proceedings of the ACM on Programming Languages (PACMPL)  
Every Rolez program implicitly follows the rules of this model and profits from the guarantees it provides.  ...  In addition, slices are partitioning-aware: That is, slices are aware of all the other slices of the same array (and of their roles) and also prevent interfering concurrent access that may result if the  ...  Finally, we kindly thank Alain Senn, who wrote the first implementation of the eager interference checking constructs and revised the Rolez programs used in the evaluation.  ... 
doi:10.1145/3276500 fatcat:4lazhhevfba6tbazkb47bg64ua

Improving Error Messages in Type System

Cynthia Kustanto, Yukiyoshi Kameyama
2010 IPSJ Online Transactions  
It is relevant in the sense that all the program points and types in the output of our algorithm contribute to some type error, and is complete in the sense that, for each type error, our algorithm identifies  ...  We propose a type inference algorithm for a polymorphic type system which provides improved error messages.  ...  Haack and Wells presented an algorithm to compute minimal program-slices for type errors in implicitly typed higher-order languages with let-polymorphism 5) .  ... 
doi:10.2197/ipsjtrans.3.125 fatcat:2sxd2lwyirhwddipjmpfantotq

Simple optimizations for an applicative array language for graphics processors

Bradford Larsen
2011 Proceedings of the sixth workshop on Declarative aspects of multicore programming - DAMP '11  
A programming language based on implicitly data-parallel collective array operations can permit high-level, effective programming of GPUs.  ...  These optimizations are simple to implement because of the design of the language to which they are applied but can result in large run-time speedups.  ...  Acknowledgments I gratefully acknowledge the help of Norman Ramsey and Philip Hatcher in proofreading drafts of this paper and in suggesting ways to better present the experimental results.  ... 
doi:10.1145/1926354.1926360 dblp:conf/popl/Larsen11 fatcat:ko7waygw6vdmxfiaechuv423ze

The design and implementation of AspectC++

Olaf Spinczyk, Daniel Lohmann
2007 Knowledge-Based Systems  
Although already popular in the Java domain, AOP is still not commonly used in conjunction with C/C++.  ...  Thereby, AOP improves the maintainability, reusability, and configurability of software in general.  ...  Aspects on the left side of the argument list always have a higher precedence than aspects on the right hand side at the join points, where the order declaration is applied. introduces the slice ASlice  ... 
doi:10.1016/j.knosys.2007.05.004 fatcat:uslwmre3azgljjlewnmb73wzwy

System Dependence Graphs in Sequential Erlang [chapter]

Josep Silva, Salvador Tamarit, César Tomás
2012 Lecture Notes in Computer Science  
Unfortunately, the SDG cannot be used in the functional paradigm due to important features that are not considered in this formalism (e.g., pattern matching, higher-order, composite expressions, etc.).  ...  In this work we propose the first adaptation of the SDG to a functional language facing these problems.  ...  One of the problems of functional languages such as Erlang is that higher-order calls can hide the name of the function that is being called.  ... 
doi:10.1007/978-3-642-28872-2_33 fatcat:huq7v2kivvblxc7s34ct5kkydm

Finding minimum type error sources

Zvonimir Pavlinovic, Tim King, Thomas Wies
2014 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14  
Automatic type inference is a popular feature of functional programming languages. If a program cannot be typed, the compiler typically reports a single program location in its error message.  ...  Hence, the compiler often misses the true error source, which increases debugging time for the programmer. In this paper, we present a general framework for automatic localization of type errors.  ...  This subset supports polymorphic higher-order functions, tagged unions, and records, but no classes and objects.  ... 
doi:10.1145/2660193.2660230 dblp:conf/oopsla/PavlinovicKW14 fatcat:6guyu27zo5gppf65drl5nxjjt4

Important text characteristics for early-grades text complexity

Jill Fitzgerald, Jeff Elmore, Heather Koons, Elfrieda H. Hiebert, Kimberly Bowen, Eleanor E. Sanford-Moore, A. Jackson Stenner
2015 Journal of Educational Psychology  
large number of variables as well as many interactions including higher order ones.  ...  reported (n = 504), 19% were English-language learners.  ... 
doi:10.1037/a0037289 fatcat:4vhemuzw7jac7dxde3cmnlqmtu

Finding minimum type error sources

Zvonimir Pavlinovic, Tim King, Thomas Wies
2014 SIGPLAN notices  
Automatic type inference is a popular feature of functional programming languages. If a program cannot be typed, the compiler typically reports a single program location in its error message.  ...  Hence, the compiler often misses the true error source, which increases debugging time for the programmer. In this paper, we present a general framework for automatic localization of type errors.  ...  This subset supports polymorphic higher-order functions, tagged unions, and records, but no classes and objects.  ... 
doi:10.1145/2714064.2660230 fatcat:4x444qio7vesjecsi5beuackp4

Velociraptor

Rahul Garg, Laurie Hendren
2014 Proceedings of the 23rd international conference on Parallel architectures and compilation - PACT '14  
To demonstrate Velociraptor in action, we present two proof-of-concept case studies: a GPU extension for a JIT implementation of MATLAB language, and a JIT compiler for Python targeting CPUs and GPUs.  ...  Developing just-in-time (JIT) compilers that that allow scientific programmers to efficiently target both CPUs and GPUs is of increasing interest.  ...  Implicitly parallel operators VRIR has a number of implicitly parallel built-in operators such as matrix addition and matrix multiply.  ... 
doi:10.1145/2628071.2628097 dblp:conf/IEEEpact/GargH14 fatcat:b6qactysxnda3pe7enujb4vkkq

Modelling dependency in multimedia streams

Alexander Eichhorn
2006 Proceedings of the 14th annual ACM international conference on Multimedia - MULTIMEDIA '06  
We outline, how this infrastructure can be used to build content-aware error protection policies and explain how applications need to specify dependency and prepare media streams in order to gain benefits  ...  Based on this model, we developed a universal dependency description language and a dependency validation service to serve as an infrastructure for content-aware transport layers.  ...  Dependency Description Language In order to specify object types, type-based dependency relations and constraints, we developed a simple description language and a parser for transforming the description  ... 
doi:10.1145/1180639.1180845 dblp:conf/mm/Eichhorn06 fatcat:riq55y2bhrcwlejq2osgq3rthu
« Previous Showing results 1 — 15 out of 10,379 results