Search results for "datatypes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring	Generic programming with fixed points for mutually recursive datatypes.	ICFP	2009	DBLP DOI BibTeX RDF	mutually recursive datatypes, haskell, fixed points, datatype-generic programming
103	Thomas Raimbault, David Genest, Stéphane Loiseau	Conceptual Graphs and Datatypes.	ICCS	2009	DBLP DOI BibTeX RDF
100	Éric Renault	Extended MPICC to Generate MPI Derived Datatypes from C Datatypes Automatically.	PVM/MPI	2007	DBLP DOI BibTeX RDF	MPI, Automatic translation, Datatypes
94	Jeremy Gibbons	Calculating Functional Programs.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
83	Surendra Byna, Xian-He Sun, Rajeev Thakur, William Gropp	Automatic Memory Optimizations for Improving MPI Derived Datatype Performance.	PVM/MPI	2006	DBLP DOI BibTeX RDF	derived datatypes, MPI performance optimization, MPI
79	Qingda Lu, Jiesheng Wu, Dhabaleswar K. Panda 0001, P. Sadayappan	Applying MPI Derived Datatypes to the NAS Benchmarks: A Case Study.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
68	Todd D. Millstein, Colin Bleckner, Craig Chambers	Modular typechecking for hierarchically extensible datatypes and functions.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Extensible datatypes, extensible functions, modular typechecking
68	Todd D. Millstein, Colin Bleckner, Craig Chambers	Modular typechecking for hierarchically extensible datatypes and functions.	ICFP	2002	DBLP DOI BibTeX RDF	extensible datatypes, extensible functions, modular typechecking
67	Boris Motik, Ian Horrocks 0001	OWL Datatypes: Design and Implementation.	ISWC	2008	DBLP DOI BibTeX RDF
67	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
67	Surendra Byna, William D. Gropp, Xian-He Sun, Rajeev Thakur	Improving the Performance of MPI Derived Datatypes by Optimizing Memory-Access Cost.	CLUSTER	2003	DBLP DOI BibTeX RDF
67	Matthias Zenger, Martin Odersky	Extensible Algebraic Datatypes with Defaults.	ICFP	2001	DBLP DOI BibTeX RDF
67	Richard S. Bird, Ross Paterson	Generalised folds for nested datatypes.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Functional programming, Program construction
67	Nick Chapman, Simon Finn, Michael P. Fourman	Datatypes in L2.	TPHOLs	1994	DBLP DOI BibTeX RDF
64	Eric Renault, Christian Parrot	MPI Pre-Processor: Generating MPI Derived Datatypes from C Datatypes Automatically.	ICPP Workshops	2006	DBLP DOI BibTeX RDF
59	William Gropp	Runtime Checking of Datatype Signatures in MPI.	PVM/MPI	2000	DBLP DOI BibTeX RDF
56	Viktor Kuncak, Daniel Jackson 0001	Relational analysis of algebraic datatypes.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	algebraic datatypes, model finding, transitive closure logic, model checking, constraint solving
56	Jeff Z. Pan, Ian Horrocks 0001	OWL-Eu: Adding Customised Datatypes into OWL.	ESWC	2005	DBLP DOI BibTeX RDF
56	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.	IPDPS	2003	DBLP DOI BibTeX RDF
56	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Integration of Formal Datatypes within State Diagrams.	FASE	2003	DBLP DOI BibTeX RDF	formal methods integration, Z, algebraic specifications, B, state diagrams
56	Edgar Gabriel, Michael M. Resch, Roland Rühle	Implementing and Benchmarking Derived Datatypes in Metacomputing.	HPCN	2001	DBLP DOI BibTeX RDF
56	Richard S. Bird, Lambert G. L. T. Meertens	Nested Datatypes.	MPC	1998	DBLP DOI BibTeX RDF
48	Carsten Kleiner, Udo W. Lipeck	Performance of Querying Temporal Attributes in Object-Relational Databases.	TIME	2002	DBLP DOI BibTeX RDF	ORDBS, temporal datatypes, attribute time-stamping, user-defined index structures, physical design
47	Bruno C. d. S. Oliveira	Modular Visitor Components.	ECOOP	2009	DBLP DOI BibTeX RDF
47	Srinivasan Balakrishnan, Soumitra Kumar Nandy	Arbitrary Precision Arithmetic - SIMD Style.	VLSI Design	1998	DBLP DOI BibTeX RDF	Packed Addition, Arbitrary Precision, SIMD, Integer Arithmetic
44	Faisal Ghias Mir, Jesper Larsson Träff	Constructing MPI Input-output Datatypes for Efficient Transpacking.	PVM/MPI	2008	DBLP DOI BibTeX RDF
44	Ralph Matthes	Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening.	MPC	2008	DBLP DOI BibTeX RDF
44	Ralph Matthes	Recursion on Nested Datatypes in Dependent Type Theory.	CiE	2008	DBLP DOI BibTeX RDF
44	David Aspinall 0001, Piotr Hoffman	Datatypes in Memory.	CALCO	2007	DBLP DOI BibTeX RDF
44	Andreas Abel 0001, Ralph Matthes	(Co-)Iteration for Higher-Order Nested Datatypes.	TYPES	2002	DBLP DOI BibTeX RDF
44	Ralf H. Reussner, Jesper Larsson Träff, Gunnar Hunzelmann	A Benchmark for MPI Derived Datatypes.	PVM/MPI	2000	DBLP DOI BibTeX RDF
44	Jesper Larsson Träff, Rolf Hempel, Hubert Ritzdorf, Falk Zimmermann	Flattening on the Fly: Efficient Handling of MPI Derived Datatypes.	PVM/MPI	1999	DBLP DOI BibTeX RDF
44	Hubert Baumeister	Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.	TAPSOFT	1995	DBLP DOI BibTeX RDF
41	Eric Renault, Christian Parrot	Automatic Generation of MPI Derived Datatypes from C Datatypes with MPIPP.	PDCS	2006	DBLP BibTeX RDF
41	Hubert Baumeister	Relations between abstract datatypes modeled as abstract datatypes.		1998	RDF
35	Brian Huffman	A Purely Definitional Universal Domain.	TPHOLs	2009	DBLP DOI BibTeX RDF
35	Ralph Matthes	A Datastructure for Iterated Powers.	MPC	2006	DBLP DOI BibTeX RDF
35	Ralf Hinze	A New Approach to Generic Functional Programming.	POPL	2000	DBLP DOI BibTeX RDF
32	Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur	Processing MPI Datatypes Outside MPI.	PVM/MPI	2009	DBLP DOI BibTeX RDF
32	Noboru Tanabe, Hironori Nakajo	Introduction to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network.	PVM/MPI	2008	DBLP DOI BibTeX RDF
32	Jeremy Gibbons	Unfolding Abstract Datatypes.	MPC	2008	DBLP DOI BibTeX RDF
32	Carlos D. Barranco, Jesús R. Campaña, Juan Miguel Medina 0001, Olga Pons	On Storing Ontologies Including Fuzzy Datatypes in Relational Databases.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
32	Antonio Blanco, J. E. Freire, José Luis Freire	Using Coq to Understand Nested Datatypes.	EUROCAST	2007	DBLP DOI BibTeX RDF
32	Giancarlo Guizzardi, Claudio Masolo, Stefano Borgo	In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes.	ER	2006	DBLP DOI BibTeX RDF
32	Christian Urban, Stefan Berghofer	A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL.	IJCAR	2006	DBLP DOI BibTeX RDF	Lambda-calculus, proof assistants, nominal logic, primitive recursion
32	Clare E. Martin, Jeremy Gibbons, Ian Bayley	Disciplined, efficient, generalised folds for nested datatypes.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Functor category, Nested datatype, Non-regular datatype, Non-uniform datatype, Polymor- phic recursion, Universal property, Fold
32	Alberto Pardo	Combining Datatypes and Effects.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
32	Roland Carl Backhouse, Paul F. Hoogendijk	Generic Properties of Datatypes.	Generic Programming	2003	DBLP DOI BibTeX RDF
32	Andreas Abel 0001, Ralph Matthes, Tarmo Uustalu	Generalized Iteration and Coiteration for Higher-Order Nested Datatypes.	FoSSaCS	2003	DBLP DOI BibTeX RDF
32	Bertrand Jeannet	Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.	SAS	2002	DBLP DOI BibTeX RDF
32	Roger Hillson, Michal Iglewski	C++2MPI: A Software Tool for Automatically Generating MPI Datatypes from C++ Classes.	PARELEC	2000	DBLP DOI BibTeX RDF
24	Bruno C. d. S. Oliveira, Meng Wang 0002, Jeremy Gibbons	The visitor pattern as a reusable, generic, type-safe component.	OOPSLA	2008	DBLP DOI BibTeX RDF	algebraic datatypes, program extensibility, design patterns, software components, traversal, visitor pattern
24	Thomas Arts, Laura M. Castro, John Hughes 0001	Testing Erlang data types with quviq quickcheck.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	quickcheck, erlang, datatypes
24	Ki Yung Ahn, Tim Sheard	Shared subtypes: subtyping recursive parametrized algebraic data types.	Haskell	2008	DBLP DOI BibTeX RDF	parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
24	Guilan Dai, Jinlan Tian, Suqing Zhang, Weidu Jiang	An abstract intermediate representation in compilation systems.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	algebraic datatypes, compiler infrastructures, object-orientation, intermediate representations
24	Anton Faradjian, Johannes Gehrke, Philippe Bonnet	GADT: A Probability Space ADT for Representing and Querying the Physical World.	ICDE	2002	DBLP DOI BibTeX RDF	measurement data, gaussian data, probabilistic ADT's, object-relational datatypes, Data models, access methods, measure theory, sensor databases, probabilistic data
23	Sion Ll Rhys, Simon M. Poulding, John A. Clark	Using automated search to generate test data for matlab.	GECCO	2009	DBLP DOI BibTeX RDF	genetic algorithms, matlab, search-based software engineering
23	Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren	A lightweight approach to datatype-generic rewriting.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	term rewriting, datatype-generic programming
23	Jean-François Baget	A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules.	ICCS	2007	DBLP DOI BibTeX RDF
23	Lutz Schröder	Bootstrapping Types and Cotypes in HasCASL.	CALCO	2007	DBLP DOI BibTeX RDF
23	Koji Kagawa	Polymorphic variants in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	polymorphic variants, Haskell, extensibility, type classes
23	Julien Langou, George Bosilca, Graham E. Fagg, Jack J. Dongarra	Hash Functions for Datatype Signatures in MPI.	PVM/MPI	2005	DBLP DOI BibTeX RDF
23	Andrew Kennedy, Claudio V. Russo	Generalized algebraic data types and object-oriented programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	constraints, generics, generalized algebraic data types
23	Geoffrey Washburn, Stephanie Weirich	Generalizing Parametricity Using Information-flow.	LICS	2005	DBLP DOI BibTeX RDF
23	James Cheney	Scrap your nameplate: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	generic programming, binding, names, substitution
23	Alex Tsow, Steven D. Johnson	Data Refinement for Synchronous System Specification and Construction.	CHARME	2005	DBLP DOI BibTeX RDF
23	Ulf Norell, Patrik Jansson	Prototyping Generic Programming in Template Haskell.	MPC	2004	DBLP DOI BibTeX RDF
23	Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride	Constructing Polymorphic Programs with Quotient Types.	MPC	2004	DBLP DOI BibTeX RDF
23	Markus Forsberg, Aarne Ranta	Functional morphology.	ICFP	2004	DBLP DOI BibTeX RDF	finite functions, morphological description, functional programming, linguistics, embedded languages
23	Jeff Z. Pan, Ian Horrocks 0001	Web Ontology Reasoning with Datatype Groups.	ISWC	2003	DBLP DOI BibTeX RDF
23	Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay	FreshML: programming with binders made simple.	ICFP	2003	DBLP DOI BibTeX RDF	alpha-conversion, metaprogramming, variable binding
23	Hongwei Xi, Robert Harper 0001	A Dependently Typed Assembly Language.	ICFP	2001	DBLP DOI BibTeX RDF
23	Mario Coppo, Daniel Hirschkoff	Incremental Inference of Partial Types.	ICTCS	2001	DBLP DOI BibTeX RDF
23	Holger Pfeifer, Harald Rueß	Polytypic Proof Construction.	TPHOLs	1999	DBLP DOI BibTeX RDF
23	Gilles Barthe, Maria João Frade	Constructor Subtyping.	ESOP	1999	DBLP DOI BibTeX RDF
23	Abdelwaheb Ayari, David A. Basin, Andreas Podelski	LISA: A Specification Language Based on WS2S.	CSL	1997	DBLP DOI BibTeX RDF
23	Arjan Loeffen	Text Databases: A Survey of Text Models and Systems.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
23	Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann	KEIM: A Toolkit for Automated Deduction.	CADE	1994	DBLP DOI BibTeX RDF
23	Hubert Baumeister	Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
23	Val Tannen, Ramesh Subrahmanyam	Logical and Computational Aspects of Programming with Sets/Bags/Lists.	ICALP	1991	DBLP DOI BibTeX RDF
23	H. R. Walters	Hybrid Implementations of Algebraic Specifications.	ALP	1990	DBLP DOI BibTeX RDF
23	Charles Wells, Michael Barr	The Formal Description of Data Types Using Sketches.	MFPS	1987	DBLP DOI BibTeX RDF
20	Amar Shah, Federico Mora, Sanjit A. Seshia	An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.	AAAI	2024	DBLP DOI BibTeX RDF
20	Zi Hao Liu, Oufan Zhang, João M. C. Teixeira, Jie Li, Teresa Head-Gordon, Julie D. Forman-Kay	SPyCi-PDB: A modular command-line interface for back-calculating experimental datatypes of protein structures.	J. Open Source Softw.	2023	DBLP DOI BibTeX RDF
20	Amar Shah, Federico Mora, Sanjit A. Seshia	An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.	CoRR	2023	DBLP DOI BibTeX RDF
20	Pezhman Nasirifard, Ruben Mayer, Hans-Arno Jacobsen	FabricCRDT: A Conflict-Free Replicated Datatypes Approach to Permissioned Blockchains.	CoRR	2023	DBLP DOI BibTeX RDF
20	Nicholas H. Bacon, Patrick G. Bridges, Scott Levy, Kurt B. Ferreira, Amanda Bienz	Evaluating the Viability of LogGP for Modeling MPI Performance with Non-contiguous Datatypes on Modern Architectures.	EuroMPI	2023	DBLP DOI BibTeX RDF
20	Jesper Larsson Träff, Ioannis Vardas	Library Development with MPI: Attributes, Request Objects, Group Communicator Creation, Local Reductions, and Datatypes.	EuroMPI	2023	DBLP DOI BibTeX RDF
20	Lucas Escot, Jesper Cockx	Practical generic programming over a universe of native datatypes.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
20	Mathieu Montin, Amélie Ledein, Catherine Dubois	LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes.	MSFP@ETAPS	2022	DBLP DOI BibTeX RDF
20	Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett	Polite Combination of Algebraic Datatypes.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
20	Istvan David, Eugene Syriani, Constantin Masson	Extensible Conflict-Free Replicated Datatypes for Real-time Collaborative Software Engineering.	FedCSIS	2022	DBLP DOI BibTeX RDF
20	Jan Martin Keil, Merle Gänßinger	The Problem with XSD Binary Floating Point Datatypes in RDF.	ESWC	2022	DBLP DOI BibTeX RDF
20	Benjamin Sherman, Jesse Michel, Michael Carbin	ₛ: computable semantics for differentiable programming with higher-order functions and datatypes.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
20	Carl Pearson, Kun Wu, I-Hsin Chung, Jinjun Xiong, Wen-Mei Hwu	TEMPI: An Interposed MPI Library with a Canonical Representation of CUDA-aware Datatypes.	HPDC	2021	DBLP DOI BibTeX RDF
20	Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett	Politeness for the Theory of Algebraic Datatypes (Extended Abstract).	IJCAI	2021	DBLP DOI BibTeX RDF
20	Ziynet Nesibe Kesimoglu, Serdar Bozdag	SUPREME: a cancer subtype prediction methodology integrating multiple biological datatypes using graph convolutional neural networks.	BCB	2021	DBLP DOI BibTeX RDF
20	Fabian Zaiser, Luke Ong	Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes.	SMT	2021	DBLP BibTeX RDF
20	Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira	Kind inference for datatypes.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
20	Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg	Partial type constructors: or, making ad hoc datatypes less ad hoc.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF