Filters








997,595 Hits in 5.4 sec

Generative type abstraction and type-level computation

Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, Steve Zdancewic
2011 SIGPLAN notices  
The result is directly applicable to Haskell, which is rapidly developing support for type-level computation, but the same issues should arise whenever generativity and non-parametric features are combined  ...  Modular languages support generative type abstraction, ensuring that an abstract type is distinct from its representation, except inside the implementation where the two are synonymous.  ...  Acknowledgements We thank Brent Yorgey and the attendees of the Type System Wrestling sessions at MSR Cambridge for many useful discussions. We wrote this paper using the Ott tool.  ... 
doi:10.1145/1925844.1926411 fatcat:ud43rj3z6val3grrt357rhzy7m

Generative type abstraction and type-level computation

Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, Steve Zdancewic
2011 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11  
The result is directly applicable to Haskell, which is rapidly developing support for type-level computation, but the same issues should arise whenever generativity and non-parametric features are combined  ...  Modular languages support generative type abstraction, ensuring that an abstract type is distinct from its representation, except inside the implementation where the two are synonymous.  ...  Acknowledgements We thank Brent Yorgey and the attendees of the Type System Wrestling sessions at MSR Cambridge for many useful discussions. We wrote this paper using the Ott tool.  ... 
doi:10.1145/1926385.1926411 dblp:conf/popl/WeirichVJZ11 fatcat:doe5vyefqffczddlwxlgcdkoam

April 2016 VOLUME 3, ISSUE 4, APRIL 2016 Sequencing Mixed-Model Assembly Line in Electronic Industries Company (EIC) Asst. Prof. Dr. Sawsan Sabeeh Al-Zubaidy, Asst. Prof. Dr. Mahmoud Abbas Mahmoud, Salam Qaddoori Dawood, Israa Dhiaa Khalaf Abstract | PDF with Text| DOI 10.17148/IARJSET.2016.3401 Effect of Heat Treatment on the Microstructure and Mechanical Properties of a Welded AISI 410 Martensitic Stainless Steel Johnpaul C. Ezechidelu, Samuel O. Enibe, Daniel O. Obikwelu, Paul S. Nnamchi, Camillus S. Oba ...

Ahmad H, Islam M A, Akter R, Uddin M F, Akter S, Rasu S I
2016 IARJSET  
Specific heat of the three different types of pure polypropylene (pure PP beads, single rolled PP sheets and double rolled PP sheets) and jute fiber reinforced (5%) polypropylene samples were determined  ...  CONCLUSION The value of specific heat of different types of polymer sample was measured using calorimeter made by locally available low cost materials .Characterization of calorimeter shows that plastic  ...  RESULT AND DISCUSSION A.  ... 
doi:10.17148/iarjset.2016.3424 fatcat:wmram6z4jbccfjqlohhn6wt3me

Abstraction, Levels of Detail, and Hierarchies in Map Series [chapter]

Sabine Timpf
1999 Lecture Notes in Computer Science  
Abstraction, levels of detail, and hierarchies in map series. Spatial Information Theory -cognitive and computational foundations of geographic information science, Abstract.  ...  The type of hierarchy depends on the operation used for the abstraction process.  ...  Acknowledgments I thank my thesis advisor Andrew Frank for his support and cooperation. Werner Porod helped with encouragement and discussion of the mathematical structures.  ... 
doi:10.1007/3-540-48384-5_9 fatcat:hkew4arvqrgsvmi57h3vb5lsvm

Rapid software prototyping for heterogeneous and distributed platforms

Tim Besard, Valentin Churavy, Alan Edelman, Bjorn De Sutter
2019 Advances in Engineering Software  
In this model, programs are generically typed, the location of the data is encoded in the type system, and multiple dispatch is used to select functionality based on the type of the data.  ...  The software needs of scientists and engineers are growing and their programs are becoming more compute-heavy and problem-specific.  ...  Acknowledgments We are grateful to Peter Ahrens and Jarret Revels for valuable discussions and comments.  ... 
doi:10.1016/j.advengsoft.2019.02.002 fatcat:k4k7oaexsnfaxdb76kcl53wf5e

Abstract specification of structures and methods in symbolic mathematical computation

C. Limongelli, M. Temperini
1992 Theoretical Computer Science  
The resulting programming system should be able to support the formal definition of mathematical data structures and methods at their highest level of abstraction, to perform computations on instances  ...  Limongelli, C. and M. Temperini, Abstract specification of structures and methods in symbolic mathematical computation, Theoretical Computer Science 104 (1992) 89-107.  ...  In the practice of software development for computer algebra systems, methods can just as well be intended as implementation of general algorithms operating over classes of abstract data types.  ... 
doi:10.1016/0304-3975(92)90167-e fatcat:opbpbveopjcqhbi7xm3tdyg2zq

Computational Abstraction

Raymond Turner
2021 Entropy  
Representation and abstraction are two of the fundamental concepts of computer science.  ...  The paper contains a mathematical account of how Frege's approach to abstraction may be interpreted, modified, extended and imported into type theory.  ...  Acknowledgments: Thanks to Cliff Jones for many useful discussions on data abstraction. Conflicts of Interest: There is no conflict of interest and the paper does not raise any ethical concerns.  ... 
doi:10.3390/e23020213 pmid:33578630 fatcat:oqljvixvcrdfbcqak7pvoyavsm

Simulation, design abstraction, and SystemC

Ed Harcourt
2007 Computer Science Education  
This support for abstraction allows instructors to reinforce standard abstraction concepts such as information hiding, interfaces, and abstract data types, standard fare in a computer science curriculum  ...  SystemC is a system-level design and simulation language based on Cþþ. We've been using SystemC for computer organization and design projects for the past several years.  ...  In computer science we stress abstraction, information hiding, and interfaces.  ... 
doi:10.1080/08993400601165248 fatcat:ulgsweksy5az5hqmctwh4a2d4a

A generative geometric kernel

Jacques Carette, Mustafa Elsheikh, Spencer Smith
2011 Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11  
We present the design and implementation of a generative geometric kernel 1 . The kernel generator is generic, type-safe, parametrized by many design-level choices and extensible.  ...  The cost of abstraction is removed by using MetaO-Caml's support for code generation coupled with some annotations atop the code type.  ...  Most geometric computations have a similar character, where the abstract mathematical definition is simple and elegant, but can be computationally inefficient.  ... 
doi:10.1145/1929501.1929510 dblp:conf/pepm/CaretteES11 fatcat:ec4q62jjvfdh3pzasylmgby57i

Real-time information acquisition in a model-based integrated planning environment for logistics contracts

Stefan Mutke, Christoph Augenstein, Martin Roth, André Ludwig, Bogdan Franczyk
2015 Journal of Object Technology  
As the foundation of EDI, B2C and B2B, distributed computing is a key enabler for today's enterprises and will become even more important with the advent of cloud computing on the one hand and an ever  ...  concepts and further clarify practical service-oriented computing scenarios.  ...  An Object represents the basic object abstraction familiar from object-oriented programs and object-based computing in general.  ... 
doi:10.5381/jot.2015.14.1.a2 fatcat:lpz5of4rjbahrkx2cycc6lg6d4

QuaFL

Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler
2013 Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages - FPCDSL '13  
We investigate how some existing abstractions and programming language features developed within the programming languages community can be adapted to expose the unique capabilities of quantum computers  ...  Quantum computers represent a novel kind of programmable hardware with properties and restrictions that are distinct from those of classical computers.  ...  Disclaimer: The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied  ... 
doi:10.1145/2505351.2505357 dblp:conf/icfp/LapetsSTABR13 fatcat:whn4trwbezdujlfdfhjkesxcwy

Abstract Interpretation: Theory and Practice [chapter]

Patrick Cousot
2002 Lecture Notes in Computer Science  
Abstract interpretation theory formalizes the conservative approximation of the semantics of hardware and software computer systems.  ...  By approximation we mean the observation of the semantics at some level of abstraction, ignoring irrelevant details.  ...  The correctness of this program transformation is expressed as an observational equivalence of the subject and transformed semantics at some level of abstraction.  ... 
doi:10.1007/3-540-46017-9_2 fatcat:fnqj3mazc5b23ifmiiix3hig4q

Abstract Syntax for Variable Binders: An Overview [chapter]

Dale Miller
2000 Lecture Notes in Computer Science  
This overview describes a higher-level and more declarative approach to representing syntax within such computational systems.  ...  A large variety of computing systems, such as compilers, interpreters, static analyzers, and theorem provers, need to manipulate syntactic objects like programs, types, formulas, and proofs.  ...  This work was supported in part by NSF Grants INT-9815645 and CCR-9803971.  ... 
doi:10.1007/3-540-44957-4_16 fatcat:z56auyjhu5dxnhmx5lcvg3xpay

PhD Abstracts

GRAHAM HUTTON
2015 Journal of functional programming  
As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  This dissertation studies contextual computations, ranging from application-level notions of context to lower-level notions of context prevalent in common programming tasks.  ...  Therefore, we developed an automatic method for deriving random generators of complex test data based on computable boolean predicates that specify the well-formed values of the data type.  ... 
doi:10.1017/s0956796815000167 fatcat:6t25jkfshjfdtj7hv5mxmjcwfm

Improving Publication and Reproducibility of Computational Experiments through Workflow Abstractions

Yolanda Gil, Daniel Garijo, Margaret Knoblock, Alyssa Deng, Ravali Adusumilli, Varun Ratnakar, Parag Mallick
2017 International Conference on Knowledge Capture  
These abstractions connect the text of an article to the corresponding workflow, and provide a framework to improve the publication and reproducibility of computational experiments.  ...  We propose workflow abstractions that that capture different concepts and perspectives that are important to scientists.  ...  1R01GM117097, and the Canary Foundation.  ... 
dblp:conf/kcap/GilGKDARM17 fatcat:cbmsq2cbbze65idrqzuxddaxai
« Previous Showing results 1 — 15 out of 997,595 results