Search results for "comprehensions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Per Gustafsson, Konstantinos Sagonas	Bit-level binaries and generalized comprehensions in Erlang.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	bit-streams, Erlang, comprehensions, binaries
64	Margus Veanes, Ando Saabas	On Bounded Reachability of Programs with Set Comprehensions.	LPAR	2008	DBLP DOI BibTeX RDF
64	Simon L. Peyton Jones, Philip Wadler	Comprehensive comprehensions.	Haskell	2007	DBLP DOI BibTeX RDF	list comprehension, SQL, aggregate, query
64	Daniel Kim Chung Chan, Philip W. Trinder	Object Comprehensions: A Query Notation for Object-Oriented Databases.	BNCOD	1994	DBLP DOI BibTeX RDF
46	Barton C. Massey, Evan Tick	Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions	PLILP	1995	DBLP DOI BibTeX RDF
46	Steven Anderson, Paul Hudak	Compilation of Haskell Array Comprehensions for Scientific Computing.	PLDI	1990	DBLP DOI BibTeX RDF
37	Philip Wadler	Comprehending Monads.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
31	Mads Torgersen	Querying in C#: how language integrated query (LINQ) works.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	language-integrated query, query comprehensions, query syntax, strongly typed querying, query language, impedance mismatch
31	Mads Torgersen	Language integrated query: unified querying across data sources and programming languages.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	language-integrated query, query comprehensions, query syntax, strongly typed querying, query language, impedance mismatch
28	Weiwei He 0003, Shah Nazir, Zahid Hussain	Big Data Insights and Comprehensions in Industrial Healthcare: An Overview.	Mob. Inf. Syst.	2021	DBLP DOI BibTeX RDF
28	Billy C. Y. Fu, Zackary P. T. Sin, Peter H. F. Ng, Alice Cheng-Lai	Improving Chinese Reading Comprehensions of Dyslexic Children via VR Reading - A Step Towards Tackling Dyslexia with Top-Down Teaching.	ISVC (1)	2020	DBLP DOI BibTeX RDF
28	Sven-Bodo Scholz, Artjoms Sinkarovs	Tensor comprehensions in SaC.	IFL	2019	DBLP DOI BibTeX RDF
28	Peter M. D. Gray	Comprehensions.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
28	Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen 0001	Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions.	CoRR	2018	DBLP BibTeX RDF
28	Joaquín Díaz-Boïls	Distributive Minimization Comprehensions and the Polynomial Hierarchy.	CoRR	2017	DBLP BibTeX RDF
28	Joaquín Díaz-Boïls	Categorical comprehensions and recursion.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
28	Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart 0001, Hans-Nikolai Vießmann	Recursive Array Comprehensions in a Call-by-Value Language.	IFL	2017	DBLP DOI BibTeX RDF
28	Cezary Kaliszyk, Karol Pak	Isabelle Formalization of Set Theoretic Structures and Set Comprehensions.	MACIS	2017	DBLP DOI BibTeX RDF
28	Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi	Fusing effectful comprehensions.	PLDI	2017	DBLP DOI BibTeX RDF
28	Kazukiyo Inada, Atsuko K. Yamazaki	Verification of Amplitude Enhancement Effects on comprehensions of English speeches and brain functions.	KES	2017	DBLP DOI BibTeX RDF
28	Kentaro Fujimoto	Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory.	Ann. Pure Appl. Log.	2015	DBLP DOI BibTeX RDF
28	Flávio Cruz, Ricardo Rocha 0001	On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities.	PADL	2015	DBLP DOI BibTeX RDF
28	Takuma Ito, Tatsuya Shino, Minoru Kamata	Information Sharing System Based on Situation Comprehensions of Intelligent Vehicles to Improve Drivers' Acceptability for Proactive ADAS.	HCI (5)	2015	DBLP DOI BibTeX RDF
28	Yoann Couillec, Manuel Serrano	Requesting heterogeneous data sources with array comprehensions in hop.js.	DBPL	2015	DBLP DOI BibTeX RDF
28	Edmund Soon Lee Lam, Iliano Cervesato	Optimized Compilation of Multiset Rewriting with Comprehensions.	APLAS	2014	DBLP DOI BibTeX RDF
28	Edmund S. L. Lam, Iliano Cervesato	Reasoning About Set Comprehensions.	SMT	2014	DBLP BibTeX RDF
28	Maximiliano Cristiá, Claudia S. Frydman	Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions.	ABZ	2012	DBLP DOI BibTeX RDF
28	George Giorgidze, Torsten Grust, Nils Schweinsberg, Jeroen Weijers	Bringing back monad comprehensions.	Haskell	2011	DBLP DOI BibTeX RDF
28	Peter M. D. Gray	Comprehensions.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
28	K. Rustan M. Leino, Rosemary Monahan	Reasoning about comprehensions with first-order SMT solvers.	SAC	2009	DBLP DOI BibTeX RDF	Spec#, matching triggers, quantifiers, SMT solvers
28	Daniel Kim Chung Chan, Philip W. Trinder	A processing framework for object comprehensions.	Inf. Softw. Technol.	1997	DBLP DOI BibTeX RDF
28	Torsten Grust	Monoid Comprehensions as a Target for the Translation of OQL.	Grundlagen von Datenbanken	1996	DBLP BibTeX RDF
28	Yves Bekkers, Paul Tarau	Logic Programming with Monads and Comprehensions.	JFPLC	1995	DBLP BibTeX RDF
28	J. R. Otto Jr.	V-Comprehensions and P Space.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
28	Barton C. Massey, Evan Tick	Mode Analysis of Arrays and Array Comprehensions.	ILPS Workshop: Implementation Techniques for Logic Programming Languages	1994	DBLP BibTeX RDF
28	David A. Garza-Salazar, A. P. Wim Böhm	Uniqueness and Completeness Analysis of Array Comprehensions.	SAS	1994	DBLP DOI BibTeX RDF
28	Chris Reade	Terminating Comprehensions.	J. Funct. Program.	1993	DBLP DOI BibTeX RDF
28	Michael L. Heytens, Rishiyur S. Nikhil	List Comprehensions in Agna, A Parallel Persistant Object System.	FPCA	1991	DBLP DOI BibTeX RDF
28	Philip W. Trinder	Comprehensions, a Query Notation for DBPLs.	DBPL	1991	DBLP BibTeX RDF
18	Darren Willis, David J. Pearce 0001, James Noble 0001	Caching and incrementalisation in the java query language.	OOPSLA	2008	DBLP DOI BibTeX RDF	java, querying, incrementalization
18	Fritz Henglein	Generic discrimination: sorting and paritioning unshared data in linear time.	ICFP	2008	DBLP DOI BibTeX RDF	multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
18	Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke	An SMT Approach to Bounded Reachability Analysis of Model Programs.	FORTE	2008	DBLP DOI BibTeX RDF
18	Per Gustafsson, Konstantinos Sagonas	Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang.	PADL	2007	DBLP DOI BibTeX RDF
18	Duncan Coutts, Roman Leshchinskiy, Don Stewart	Stream fusion: from lists to streams to nothing at all.	ICFP	2007	DBLP DOI BibTeX RDF	program fusion, program optimisation, program transformation, functional programming, deforestation
18	Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon	A Better Semantics for XQuery with Side-Effects.	DBPL	2007	DBLP DOI BibTeX RDF
18	Erik Meijer 0001	There is no impedance mismatch: (language integrated query in visual basic 9).	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
18	Burak Emir, Sebastian Maneth, Martin Odersky	Scalable Programming Abstractions for XML Services.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
18	Roberto Cornacchia, Arjen P. de Vries	A Declarative DB-Powered Approach to IR.	ECIR	2006	DBLP DOI BibTeX RDF
18	Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz	With-Loop Fusion for Data Locality and Parallelism.	IFL	2005	DBLP DOI BibTeX RDF
18	Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel	Nepal - Nested Data Parallelism in Haskell.	Euro-Par	2001	DBLP DOI BibTeX RDF
18	Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton	A Query Calculus for Spatio-Temporal Object Databases.	TIME	2001	DBLP DOI BibTeX RDF
18	Mark Staples	Representing WP Semantics in Isabelle/ZF.	TPHOLs	1999	DBLP DOI BibTeX RDF
18	Daan Leijen, Erik Meijer 0001	Domain specific embedded compilers.	DSL	1999	DBLP DOI BibTeX RDF
18	Sven-Bodo Scholz	On defining application-specific high-level array operations by means of shape-invariant programming facilities.	APL	1998	DBLP DOI BibTeX RDF	high-level array operations, meta-level programming, shape-invariant programming, compilation, performance comparison
18	Vladimir Novacek	Data Mining Extension for Object-Oriented Query Language.	SOFSEM	1998	DBLP DOI BibTeX RDF
18	Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong	Comprehension Syntax.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
18	Johan Jeuring, S. Doaitse Swierstra	Bottom-up Grammar Analysis - A Functional Formulation.	ESOP	1994	DBLP DOI BibTeX RDF
18	Eerke A. Boiten	Parsing in ISBES.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	substructures, Cocke-Kasami-Younger, formal specification, parsing, bags, transformational programming
18	Jesper Jørgensen	Generating a Compiler for a Lazy Language by Partial Evaluation.	POPL	1992	DBLP DOI BibTeX RDF	binding time improvements, lazy functional languages, partial evaluation, compiler generation
18	Roland Dietrich, Hendrik C. R. Lock	Exploiting Non-Determinism through Laziness in Guarded Functional Languages.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
18	Günter Hotz	Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen.	Computing	1969	DBLP DOI BibTeX RDF