Search results for "higher-order functions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Robert Bruce Findler, Matthias Felleisen	Contracts for higher-order functions.	ICFP	2002	DBLP DOI BibTeX RDF	predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
2	Frédéric Prost, Chaouki Zerrari	Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.	UC	2009	DBLP DOI BibTeX RDF
2	Naoki Kobayashi	Model-checking higher-order functions.	PPDP	2009	DBLP DOI BibTeX RDF	model checking, program verification, higher-order functions, recursion schemes
2	Ronald T. Kneusel	Extending interactive data language with higher-order functions.	ISSE	2008	DBLP DOI BibTeX RDF	image processing, Functional programming, IDL, Array processing
2	Nobuko Yoshida, Kohei Honda, Martin Berger	Logical Reasoning for Higher-Order Functions with Local State.	FoSSaCS	2007	DBLP DOI BibTeX RDF
2	Kohei Honda, Martin Berger, Nobuko Yoshida	Descriptive and Relative Completeness of Logics for Higher-Order Functions.	ICALP	2006	DBLP DOI BibTeX RDF
2	Pieter W. M. Koopman, Rinus Plasmeijer	Automatic Testing of Higher Order Functions.	APLAS	2006	DBLP DOI BibTeX RDF
2	Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife	Discovering applications of higher order functions through proof planning.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF
2	Martin Berger, Kohei Honda, Nobuko Yoshida	A logical analysis of aliasing in imperative higher-order functions.	ICFP	2005	DBLP DOI BibTeX RDF	functional programming, typing, aliasing, hoare-logics, ?-calculus, pointers, modalities
2	Jürgen Giesl, René Thiemann, Peter Schneider-Kamp	Proving and Disproving Termination of Higher-Order Functions.	FroCos	2005	DBLP DOI BibTeX RDF
2	Kohei Honda, Nobuko Yoshida	A compositional logic for polymorphic higher-order functions.	PPDP	2004	DBLP DOI BibTeX RDF	compositional logics, polymorphim, types, higher-order functions
2	Herbert Kuchen, Jörg Striegnitz	Higher-order functions and partial applications for a C++ skeleton library.	Java Grande	2002	DBLP DOI BibTeX RDF
2	Martin Hofmann	The Strength of Non-size-increasing Computation (Introduction and Summary).	MFCS	2001	DBLP DOI BibTeX RDF	semantics AMS Classification: 03D15, 03C13, computational complexity, 68Q15, higher-order functions, finite model, 68Q55
2	Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller	Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining.	Euro-Par	1999	DBLP DOI BibTeX RDF	parallelization, functional programming, Haskell, skeletons, inlining, higher-order function
2	Luis A. Galán, Cristóbal Pareja, Ricardo Pena	Functional Skeletons Generate Process Topologies in Eden.	PLILP	1996	DBLP DOI BibTeX RDF	parallel programming, Functional programming, concurrent programming, skeletons, higher order functions
2	Andrew M. Pitts, Ian D. B. Stark	Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?	MFCS	1993	DBLP DOI BibTeX RDF
2	Andrei Voronkov	Higher Order Functions in First Order Theory.	ISTCS	1992	DBLP DOI BibTeX RDF
2	Bernd Krieg-Brückner, Donald Sannella	Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
1	Norman Ramsey	Embedding an interpreted language using higher-order functions and types.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
1	James McDermott, Jonathan Byrne, John Mark Swafford, Michael O'Neill, Anthony Brabazon	Higher-order functions in aesthetic EC encodings.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
1	Rodolfo Toledo, Paul Leger, Éric Tanter	AspectScript: expressive aspects for the web.	AOSD	2010	DBLP DOI BibTeX RDF	AspectScript, quantified events, scoping strategies, aspect-oriented programming, web applications, JavaScript, higher-order programming
1	Martin Hofmann 0008, Emanuel Kitzelmann	I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.	PEPM	2010	DBLP DOI BibTeX RDF	higherorder functions, igorii, inductive programming, program schemes, haskell
1	Aquinas Hobor, Robert Dockins, Andrew W. Appel	A theory of indirection via approximation.	POPL	2010	DBLP DOI BibTeX RDF	indirection theory, step-indexed models
1	Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann	Static determination of quantitative resource usage for higher-order programs.	POPL	2010	DBLP DOI BibTeX RDF	resource analysis, functional programming, types
1	Satnam Singh	Declarative data-parallel programming with the accelerator system.	DAMP	2010	DBLP DOI BibTeX RDF	data-parallelsim
1	Pushmeet Kohli, M. Pawan Kumar, Philip H. S. Torr	P³ & Beyond: Move Making Algorithms for Solving Higher Order Functions.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
1	Christos Dimoulas, Riccardo Pucella, Matthias Felleisen	Future contracts.	PPDP	2009	DBLP DOI BibTeX RDF	software reliability, contracts, behavioral specifications, higher-order functions
1	Rishiyur S. Nikhil	Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design).	GPCE	2009	DBLP DOI BibTeX RDF	bluespec systemverilog, bsv, energy efficient computing, fpga, high level synthesis, high performance computing, haskell, hardware accelerators, hardware/software codesign, term rewriting systems, hybrid computing
1	Ryan Newton, Teresa Ko	Experience report: embedded, parallel computer-vision with a functional DSL.	ICFP	2009	DBLP DOI BibTeX RDF	stream processing languages, computer vision
1	Dana N. Xu, Simon L. Peyton Jones, Koen Claessen	Static contract checking for Haskell.	POPL	2009	DBLP DOI BibTeX RDF	contract satisfaction, static contract checking
1	Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki	Kenro: a virtual machine monitor mostly described in Haskell.	SAC	2009	DBLP DOI BibTeX RDF	functional languages, virtual machine monitors
1	Noman Javed, Frédéric Loulergue	OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays.	APPT	2009	DBLP DOI BibTeX RDF
1	Nobuko Yoshida, Kohei Honda, Martin Berger	Logical Reasoning for Higher-Order Functions with Local State.	Logical Methods in Computer Science	2008	DBLP DOI BibTeX RDF
1	Frédéric Prost, Chaouki Zerrari	A logical analysis of entanglement and separability in quantum higher-order functions	CoRR	2008	DBLP BibTeX RDF
1	Nobuko Yoshida, Kohei Honda, Martin Berger	Logical Reasoning for Higher-Order Functions with Local State	CoRR	2008	DBLP BibTeX RDF
1	Franck Binard, Amy P. Felty	Genetic programming with polymorphic types and higher-order functions.	GECCO	2008	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
1	Vadim Guzev	Parallel C#: The Usage of Chords and Higher-order Functions in the Design of Parallel Programming Languages.	PDPTA	2008	DBLP BibTeX RDF
1	Torben Æ. Mogensen	Semi-inversion of functional parameters.	PEPM	2008	DBLP DOI BibTeX RDF	semi-inversion, program transformation, inversion, higher-order functions
1	Alain Frisch, Giuseppe Castagna, Véronique Benzaken	Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.	J. ACM	2008	DBLP DOI BibTeX RDF	negation types, Subtyping, higher-order functions, intersection types, union types
1	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
1	Arthur Charguéraud, François Pottier	Functional translation of a calculus of capabilities.	ICFP	2008	DBLP DOI BibTeX RDF	type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership
1	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	scala, polytypic programming, datatype-generic programming
1	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
1	Torsten Ullrich, Ulrich Krispel, Dieter W. Fellner	Compilation of procedural models.	Web3D	2008	DBLP DOI BibTeX RDF	generative/procedural modeling, model compiler, XML, computer graphics, modeling languages, graphics systems
1	Srikumar Ramalingam, Pushmeet Kohli, Karteek Alahari, Philip H. S. Torr	Exact inference in multi-label CRFs with higher order cliques.	CVPR	2008	DBLP DOI BibTeX RDF
1	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla	An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
1	Hiroshi Unno, Naoki Kobayashi	On-Demand Refinement of Dependent Types.	FLOPS	2008	DBLP DOI BibTeX RDF
1	Martin Berger, Kohei Honda, Nobuko Yoshida	Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.	ICALP	2008	DBLP DOI BibTeX RDF
1	Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal	A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
1	Yann Régis-Gianas, François Pottier	A Hoare Logic for Call-by-Value Functional Programs.	MPC	2008	DBLP DOI BibTeX RDF
1	Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan	Parser Combinators for Ambiguous Left-Recursive Grammars.	PADL	2008	DBLP DOI BibTeX RDF	left recursion, natural-language parsing, functional programming, ambiguity, Parser combinators
1	Guodong Li, Konrad Slind	Trusted Source Translation of a Total Function Language.	TACAS	2008	DBLP DOI BibTeX RDF
1	Joseph M. Morris, Malcolm Tyrrell	Modelling higher-order dual nondeterminacy.	Acta Inf.	2008	DBLP DOI BibTeX RDF
1	Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis	Efficient Intensional Implementation for Lazy Functional Languages.	Mathematics in Computer Science	2008	DBLP DOI BibTeX RDF	Implementation of functional languages, dataflow computation, intensional logic
1	Martin Berger, Kohei Honda, Nobuko Yoshida	A logical analysis of aliasing in imperative higher-order functions.	J. Funct. Program.	2007	DBLP DOI BibTeX RDF
1	Nattawut Sridranop, Ryan Stansifer	Higher-order functional programming and wildcards in java.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	java, generic, higher-order function, wildcards
1	Radha Jagadeesan, Corin Pitcher, James Riely	Open bisimulation for aspects.	AOSD	2007	DBLP DOI BibTeX RDF	open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence
1	Olivier Danvy, J. Michael Spivey	On Barron and Strachey's cartesian product function.	ICFP	2007	DBLP DOI BibTeX RDF	CPL
1	Robert Ennals, David Gay	User-friendly functional programming for web mashups.	ICFP	2007	DBLP DOI BibTeX RDF	end-used programming, web, mashup, browser
1	Jeremy Wazny	Experience report: functional programming in c-rules.	ICFP	2007	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero	Observing intermediate structures in a parallel lazy functional language.	PPDP	2007	DBLP DOI BibTeX RDF	parallel functional programming, semantics, debugging
1	Takaaki Tateishi, Naoshi Tabuchi	Secure Behavior of Web Browsers to Prevent Information Leakages.	APSEC	2007	DBLP DOI BibTeX RDF
1	Xiao Yan Deng, Greg Michaelson, Philip W. Trinder	Automatically Costed Autonomous Mobility.	IAT	2007	DBLP DOI BibTeX RDF
1	Adrián Riesco, Alberto Verdejo	Distributed Applications Implemented in Maude with Parameterized Skeletons.	FMOODS	2007	DBLP DOI BibTeX RDF	distributed applications, parameterization, Maude, Algorithmic skeletons
1	Neil Mitchell, Colin Runciman	A Supercompiler for Core Haskell.	IFL	2007	DBLP DOI BibTeX RDF
1	Sylvain Boulmé	Intuitionistic Refinement Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
1	Issam W. Damaj	Parallel Algorithms Development for Programmable Devices with Application from Cryptography.	International Journal of Parallel Programming	2007	DBLP DOI BibTeX RDF	Parallel algorithms, methodologies, formal models, data encryption, gate array
1	Issam Damaj	Higher-Level Hardware Synthesis of the KASUMI Algorithm.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	parallel algorithms, methodology, formal models, data encryption, gate array
1	Jeremy Gibbons	Design patterns as higher-order datatype-generic programs.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	design patterns, functional programming, generic programming, unfolds, folds, higher-order functions
1	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
1	Richard A. Frost	Realization of natural language interfaces using lazy functional programming.	ACM Comput. Surv.	2006	DBLP DOI BibTeX RDF	Montague grammar, lazy functional programming, computational linguistics, Natural-language interfaces, higher-order functions
1	Eric Kow	GenI: natural language generation in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	realisation, typeclasses, applications, profiling, Haskell, surface, monads, computational linguistics
1	Dana N. Xu	Extended static checking for haskell.	Haskell	2006	DBLP DOI BibTeX RDF	counterexample guided unrolling, pre/postcondition, symbolic simplification
1	Aleksandar Nanevski, Greg Morrisett, Lars Birkedal	Polymorphism and separation in hoare type theory.	ICFP	2006	DBLP DOI BibTeX RDF	type theory, hoare logic, separation logic
1	Stephen Weeks	Whole-program compilation in MLton.	ML	2006	DBLP DOI BibTeX RDF
1	Meng Wang, Kung Chen, Siau-Cheng Khoo	Type-directed weaving of aspects for higher-order functional languages.	PEPM	2006	DBLP DOI BibTeX RDF	type inference, functional language, aspect oriented, higher-order, weaving
1	Vasileios Koutavas, Mitchell Wand	Small bisimulations for reasoning about higher-order imperative programs.	POPL	2006	DBLP DOI BibTeX RDF	higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence
1	Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann	An Integration of HOL and ACL2.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Ofri Sadowsky, Jonathan D. Cohen, Russell H. Taylor	Projected Tetrahedra Revisited: A Barycentric Formulation Applied to Digital Radiograph Reconstruction Using Higher-Order Attenuation Functions.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	DRR, higher-order volumetric functions, Volume rendering, unstructured grids, projected tetrahedra
1	Akihiko Tozawa	XML Type Checking Using High-Level Tree Transducer.	FLOPS	2006	DBLP DOI BibTeX RDF
1	Kamal Aboul-Hosn, Dexter Kozen	Relational Semantics for Higher-Order Programs.	MPC	2006	DBLP DOI BibTeX RDF
1	Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann	Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages.	RTA	2006	DBLP DOI BibTeX RDF
1	Martin Dostál	On Evolving of Recursive Functions using lambda-abstraction and Higher-order Functions.	Logic Journal of the IGPL	2005	DBLP DOI BibTeX RDF
1	Ken Q. Pu, Alberto O. Mendelzon	Typed functional query languages with equational specifications.	CIKM	2005	DBLP DOI BibTeX RDF	functional query languages, type system, OLAP, equational logic
1	Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag	Haskell ready to dazzle the real world.	Haskell	2005	DBLP DOI BibTeX RDF	wxHaskell, bayesian networks, graphical user interface, application, haskell
1	Maribel Fernández, Murdoch Gabbay	Nominal rewriting with name generation: abstraction vs. locality.	PPDP	2005	DBLP DOI BibTeX RDF	?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders
1	Anthony Savidis	More dynamic imperative languages.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	dynamically extensible semantics, polymorphic pattern programming, runtime inheritance, dynamic languages
1	Kohei Honda, Nobuko Yoshida, Martin Berger	An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
1	Ofri Sadowsky, Jonathan D. Cohen, Russell H. Taylor	Rendering Tetrahedral Meshes with Higher-Order Attenuation Functions for Digital Radiograph Reconstruction.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	DRR, higher-order volumetric functions, volume rendering, unstructured grids, projected tetrahedra
1	Jan Schwinghammer	A Typed Semantics of Higher-Order Store and Subtyping.	ICTCS	2005	DBLP DOI BibTeX RDF
1	Edwin Brady, Kevin Hammond	A Dependently Typed Framework for Static Analysis of Program Execution Costs.	IFL	2005	DBLP DOI BibTeX RDF
1	Anthony Savidis	Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming.	RISE	2005	DBLP DOI BibTeX RDF
1	Ana Bove, Venanzio Capretta	Recursive Functions with Higher Order Domains.	TLCA	2005	DBLP DOI BibTeX RDF
1	Kohei Honda	From process logic to program logic.	ICFP	2004	DBLP DOI BibTeX RDF	types, duality, hoare logic, ?-calculus, higher-order functions, mobile processes
1	Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely	µABC: A Minimal Aspect Calculus.	CONCUR	2004	DBLP DOI BibTeX RDF
1	Mahesh Viswanathan, Ramesh Viswanathan	A Higher Order Modal Fixed Point Logic.	CONCUR	2004	DBLP DOI BibTeX RDF
1	Jonathan Moody	Logical Mobility and Locality Types.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch	Observing Functional Logic Computations.	PADL	2004	DBLP DOI BibTeX RDF
1	Venceslas Biri, Sylvain Michelin, Didier Arquès	Dynamic Radiosity using Higher Order Functions Bases and Temporal Coherence.	WSCG	2003	DBLP BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Observational Determinism for Concurrent Program Security.	CSFW	2003	DBLP DOI BibTeX RDF