Search results for "functional language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	WoonKiong Tan	A semantic model of a small typed functional language using Object-Z.	APSEC	2000	DBLP DOI BibTeX RDF	typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language
2	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
2	Oleg Lobachev, Rita Loogen	Towards an Implementation of a Computer Algebra System in a Functional Language.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	language and system design, computer algebra, software technology
2	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
2	Rémi Douence, Pascal Fradet	The next 700 Krivine machines.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Krivine machine, Functional language implementations, Compilation, Program transformation, Abstract machines
2	Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa	Aspectual Caml: an aspect-oriented functional language.	ICFP	2005	DBLP DOI BibTeX RDF	pointcut and advice, aspect-oriented programming, objective Caml
2	Daniel Luna, Mikael Pettersson, Konstantinos F. Sagonas	Efficiently compiling a functional language on AMD64: the HiPE experience.	PPDP	2005	DBLP DOI BibTeX RDF	AMD64, functional programming, erlang
2	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio	Testing Speculative Work in a Lazy/Eager Parallel Functional Language.	LCPC	2005	DBLP DOI BibTeX RDF
2	Yasushi Kambayashi, Munehiro Takimoto	A Functional Language for Mobile Agents with Dynamic Extension.	KES	2004	DBLP DOI BibTeX RDF
2	Amanda Clare, Ross D. King	Data Mining the Yeast Genome in a Lazy Functional Language.	PADL	2003	DBLP DOI BibTeX RDF
2	Alberto Paoluzzi	Variable-Free Representation of Manifolds via Transfinite Blending with a Functional Language.	IMA Conference on the Mathematics of Surfaces	2003	DBLP DOI BibTeX RDF
2	Clara Segura, Ricardo Pena	Correctness of Non-determinism Analyses in a Parallel-Functional Language.	IFL	2003	DBLP DOI BibTeX RDF
2	Philip Wadler	XQuery: A Typed Functional Language for Querying XML.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
2	Martijn Vervoort, Marinus J. Plasmeijer	Lazy Dynamic Input/Output in the Lazy Functional Language Clean.	IFL	2002	DBLP DOI BibTeX RDF
2	Martin Erwig, Margaret M. Burnett	Adding Apples and Oranges.	PADL	2002	DBLP DOI BibTeX RDF	First-Order Functional Language, End-User Programming, Spreadsheet, Type Checking, Unit
2	Alan Mycroft, Richard Sharp	A Statically Allocated Parallel Functional Language.	ICALP	2000	DBLP DOI BibTeX RDF
2	Ricardo Pena, Clara Segura	Non-determinism Analysis in a Parallel-Functional Language.	IFL	2000	DBLP DOI BibTeX RDF
2	Rémi Douence, Pascal Fradet	A Systematic Study of Functional Language Implementations.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	compilers, program transformation, functional programming, combinators, abstract machines
2	John Matthews, Byron Cook, John Launchbury	Microprocessor Specification in Hawk. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Microprocessor Verification, Domain-Specific Language, Functional Language, Hardware Verification
2	C. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler	A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.	Euro-Par	1997	DBLP DOI BibTeX RDF
2	Juno Chang, Jonghoon Song, Junghwan Kim, Sangyong Han, Heunghwan Kim	Implementation of an Object-Oriented Functional Language on the Multithreaded Architecture. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF
2	Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper	Programming in the Large: The Algebraic-Functional Language Opal 2alpha.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
2	Yamine Aït Ameur	A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	nonfunctional property evaluation, numerical type, numerical computational accuracy, reverse engineering, reverse engineering, software maintenance, program transformations, program analysis, software reuse, program comprehension, functional language, data representations, program design, numerical programs
2	Cormac Flanagan, Rishiyur S. Nikhil	pHluid: The Design of a Parallel Functional Language Implementation on Workstations.	ICFP	1996	DBLP DOI BibTeX RDF	garbage collection and run-time systems, parallel and distributed implementations, data flow
2	Eva Rose	Linear Time Hierarchies for a Functional Language Machine Model.	ESOP	1996	DBLP DOI BibTeX RDF	selective update, operational semantics, functional languages, structured data, CAM, linear time, complexity hierarchy
2	Rob Noble, Colin Runciman	Gadgets: Lazy Functional Components for Graphical User Interfaces	PLILP	1995	DBLP DOI BibTeX RDF	Gofer, concurrency, processes, functional language, window manager
2	Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder	Interpreter Verification for a Functional Language.	FSTTCS	1994	DBLP DOI BibTeX RDF
2	Luc Moreau	An operational semantics for a parallel functional language with continuations.	PARLE	1992	DBLP DOI BibTeX RDF	metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency
2	Pau S. Chang, Gregory K. Egan	An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL.	PPOPP	1990	DBLP DOI BibTeX RDF	FORTRAN, SISAL
2	Simon L. Peyton Jones	FLIC - a functional language intermediate code.	SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
2	Reinhold Heckmann	A Functional Language for the Specification of Complex Tree Transformations.	ESOP	1988	DBLP DOI BibTeX RDF
2	Nicoletta De Francesco, Gigliola Vaglini	Description of a Tool for Specifying and Prototyping Concurrent Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
2	Levent V. Orman	Functional Development of Database Applications.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	functional development methodology, event-oriented view, observed events, database, semantics, functional programming, database management system, database management systems, functional language
2	David K. Harrison	RUTH: A Functional Language for Real-Time Programming.	PARLE	1987	DBLP DOI BibTeX RDF
2	James A. Davis	A functional language architecture that supports fine-grain parallelism (extended abstract).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
1	Brian McKenna	Roy: A Statically Typed, Functional Language for JavaScript.	IEEE Internet Computing	2012	DBLP DOI BibTeX RDF
1	János Csorba, Zsolt Zombori, Péter Szeredi	Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language	CoRR	2011	DBLP BibTeX RDF
1	Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck	Implementing Equational Constraints in a Functional Language	CoRR	2011	DBLP BibTeX RDF
1	Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine	Translating Nondeterministic Functional Language based on Attribute Grammars into Java	CoRR	2011	DBLP BibTeX RDF
1	Roope Kaivola	Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework.	PADL	2011	DBLP DOI BibTeX RDF
1	Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück	Towards a Reversible Functional Language.	RC	2011	DBLP DOI BibTeX RDF
1	Zsolt Zombori, János Csorba, Péter Szeredi	Static Type Checking for the Q Functional Language in Prolog.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
1	Pascal Coupey, Christophe Fouqueré	A formal framework for a functional language with adaptable components.	SAC	2011	DBLP DOI BibTeX RDF
1	Fernando Castor, João Paulo Oliveira, André L. M. Santos	Software transactional memory vs. locking in a functional language: a controlled experiment.	SPLASH Workshops	2011	DBLP DOI BibTeX RDF
1	Qun Ni, Elisa Bertino	xfACL: an extensible functional language for access control.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Ricardo Peña, Agustin D. Delgado-Muñoz	Size Invariant and Ranking Function Synthesis in a Functional Language.	WFLP	2011	DBLP DOI BibTeX RDF
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Petr Krajca, Vilém Vychodil	Software transactional memory for implicitly parallel functional language.	SAC	2010	DBLP DOI BibTeX RDF	functional programming, scheme, data parallelism, software transactional memory, implicit parallelism
1	Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten	Embedding a web-based workflow management system in a functional language.	LDTA	2010	DBLP DOI BibTeX RDF
1	Thomas van Noort, Peter Achten, Rinus Plasmeijer	Ad-hoc polymorphism and dynamic typing in a statically typed functional language.	ICFP-WGP	2010	DBLP DOI BibTeX RDF
1	Patrick Baillot, Marco Gaboardi, Virgile Mogbil	A PolyTime Functional Language from Light Linear Logic.	ESOP	2010	DBLP DOI BibTeX RDF
1	Juan Chen, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
1	Andrzej Filinski	Monads in action.	POPL	2010	DBLP DOI BibTeX RDF	modular semantics, monads, computational effects
1	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Ádám Sipos, Viktória Zsók	EClean - An Embedded Functional Language.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Richárd Legéndi, László Gulyás, Rajmund Bocsi, Tamás Máhr	Modeling Autonomous Adaptive Agents with Functional Language for Simulations.	EPIA	2009	DBLP DOI BibTeX RDF	El Farol Bar problem, Functional programming, agent-based simulations, multi-formalism
1	Marek Behalek, Petr Saloun	Embedded Process Functional Language.	MEMICS	2009	DBLP BibTeX RDF
1	Ana Bove, Peter Dybjer, Ulf Norell	A Brief Overview of Agda - A Functional Language with Dependent Types.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao	Programming in Manticore, a Heterogenous Parallel Functional Language.	CEFP	2009	DBLP DOI BibTeX RDF
1	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	A Simple Region Inference Algorithm for a First-Order Functional Language.	WFLP	2009	DBLP DOI BibTeX RDF
1	Jan Henry Nyström	Automatic assessment of failure recovery in Erlang applications.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	erlang
1	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
1	Lee Pike, Geoffrey M. Brown, Alwyn Goodloe	Roll your own test bed for embedded real-time protocols: a haskell experience.	Haskell	2009	DBLP DOI BibTeX RDF	physical-layer protocol testing, functional programming, emulation
1	Nick Benton, Chung-Kil Hur	Biorthogonality, step-indexing and compiler correctness.	ICFP	2009	DBLP DOI BibTeX RDF	biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification
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	Leena Unnikrishnan, Scott D. Stoller	Parametric heap usage analysis for functional programs.	ISMM	2009	DBLP DOI BibTeX RDF	live heap space analysis, garbage collection, functional languages, recurrence relations
1	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
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	Hiroshi Unno, Naoki Kobayashi	Dependent type inference with interpolants.	PPDP	2009	DBLP DOI BibTeX RDF	type inference, dependent types
1	Eiko Yoneki, Ioannis Baltopoulos, Jon Crowcroft	D3N: programming distributed computationin pocket switched networks.	MobiHeld	2009	DBLP DOI BibTeX RDF	f#, distributed computation, functional programming, delay tolerant networks, declarative networking
1	Nick Benton, Nicolas Tabareau	Compiling functional types to relational specifications for low level imperative code.	TLDI	2009	DBLP DOI BibTeX RDF	separation logic, proof assistants, compiler verification, relational parametricity, type soundness
1	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
1	Ruhsan Onder, Zeki Bayram	XLambda: A functional programming language with XML syntax.	ISCIS	2009	DBLP DOI BibTeX RDF
1	C.-H. Luke Ong, Nikos Tzevelekos	Functional Reachability.	LICS	2009	DBLP DOI BibTeX RDF
1	Armand Navabi, Suresh Jagannathan	Exceptionally Safe Futures.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Javier de Dios, Ricardo Peña-Marí	A Certified Implementation on Top of the Java Virtual Machine.	FMICS	2009	DBLP DOI BibTeX RDF
1	Paul Tarau	A Groupoid of Isomorphic Data Transformations.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms
1	Makoto Hamana	Initial Algebra Semantics for Cyclic Sharing Structures.	TLCA	2009	DBLP DOI BibTeX RDF
1	Peter Selinger, Benoît Valiron	On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Michael J. Burrell, James H. Andrews, Mark Daley	A Useful Bounded Resource Functional Language.	SOFSEM	2008	DBLP DOI BibTeX RDF
1	Pavel Loupal	On the Semantics of Updates in a Functional Language.	SYRCoDIS	2008	DBLP BibTeX RDF
1	Eelco Dolstra, Andres Löh	NixOS: a purely functional Linux distribution.	ICFP	2008	DBLP DOI BibTeX RDF	NixOS, nix, package management, purely functional deployment model, purely functional language, system configuration management, software deployment
1	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
1	Pablo García-Sánchez, Juan Julián Merelo Guervós, Juan P. Sevilla, Juan Luís Jiménez Laredo, Antonio Miguel Mora, Pedro A. Castillo Valdivieso	Automatic generation of XSLT stylesheets using evolutionary algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	evolutionary computation techniques, XML, XSLT, stylesheets
1	Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira	Comparing libraries for generic programming in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	libraries comparison, datatype-generic programming
1	Matthew Fluet, Mike Rainey, John H. Reppy	A scheduling framework for general-purpose parallel languages.	ICFP	2008	DBLP DOI BibTeX RDF	heterogeneous parallel languages, scheduling, compilers, run-time systems
1	Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw	Implicitly-threaded parallelism in Manticore.	ICFP	2008	DBLP DOI BibTeX RDF	implictly-threaded parallelism, parallel binding, parallel case, data parallelism, exceptions
1	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
1	Mark P. Jones	Experience report: playing the DSL card.	ICFP	2008	DBLP DOI BibTeX RDF	Timber, component configuration, functional programming, domain-specific languages, Haskell
1	Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal	Ynot: dependent types for imperative programs.	ICFP	2008	DBLP DOI BibTeX RDF	type theory, monads, Hoare logic, separation logic
1	Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Clock-directed modular code generation for synchronous data-flow languages.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages
1	Torben Æ. Mogensen	Semi-inversion of functional parameters.	PEPM	2008	DBLP DOI BibTeX RDF	semi-inversion, program transformation, inversion, higher-order functions
1	Manuel Montenegro, Ricardo Pena, Clara Segura	A type system for safe memory management and its proof of correctness.	PPDP	2008	DBLP DOI BibTeX RDF	safe memory deallocation, type systems
1	Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis	Refinement Types for Secure Implementations.	CSF	2008	DBLP DOI BibTeX RDF
1	Nalini Vasudevan, Satnam Singh, Stephen A. Edwards	A deterministic multi-way rendezvous library for haskell.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort	An iTask Case Study: A Conference Management System.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
1	Simon L. Peyton Jones	Harnessing the Multicores: Nested Data Parallelism in Haskell.	APLAS	2008	DBLP DOI BibTeX RDF
1	Pablo García-Sánchez, Juan Julián Merelo Guervós, Juan Luís Jiménez Laredo, Antonio Miguel Mora, Pedro A. Castillo Valdivieso	Improving Evolution of XSLT Stylesheets Using Heuristic Operators.	DCAI	2008	DBLP DOI BibTeX RDF	XML, Evolutionary Algorithms, XSLT, Stylesheets
1	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio	A Debugger for Parallel Haskell Dialects.	ICA3PP	2008	DBLP DOI BibTeX RDF
1	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	An Inference Algorithm for Guaranteeing Safe Destruction.	LOPSTR	2008	DBLP DOI BibTeX RDF	type-based analysis, memory management, type inference