Search results for "FLOPS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Lunjin Lu, Andy King	Backward Pair Sharing Analysis.	FLOPS	2004	DBLP DOI BibTeX RDF	Pair-Sharing, Abstract interpretation, Backward analysis
1	Carsten Schürmann	Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.	FLOPS	2004	DBLP DOI BibTeX RDF
1	Wolfram Kahl	Basic Pattern Matching Calculi: a Fresh View on Matching Failure.	FLOPS	2004	DBLP DOI BibTeX RDF
1	Miguel García-Díaz, Susana Nieva	Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.	FLOPS	2002	DBLP DOI BibTeX RDF	hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems
1	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Lifting in Quadratic Time.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Kokichi Futatsugi	Formal Methods in CafeOBJ.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Rafael Caballero 0001, Francisco Javier López-Fraguas	Dynamic-Cut with Definitional Trees.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Sergio Antoy, Michael Hanus	Functional Logic Design Patterns.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Yann Loyer, Umberto Straccia	The Well-Founded Semantics in Normal Logic Programs with Uncertainty.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Masahito Hasegawa	Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Mikael Pettersson, Konstantinos Sagonas, Erik Johansson	The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Jan-Georg Smaus	The Head Condition and Polymorphic Recursion.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Narrowing Failure in Functional Logic Programming.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Luís Soares Barbosa, José Nuno Oliveira	Coinductive Interpreters for Process Calculi.	FLOPS	2002	DBLP DOI BibTeX RDF	coinductive types, applications, functional programming
1	Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)	Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings	FLOPS	2002	DBLP DOI BibTeX RDF
1	Klaus Meer	On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.	FLOPS	2002	DBLP DOI BibTeX RDF	algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width
1	António Porto	Structural Abstraction and Application in Logic Programming.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa	Descendants and Head Normalization of Higher-Order Rewrite Systems.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Eijiro Sumii, Hideo Bannai	VM lambda: A Functional Calculusfor Scientific Discovery.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Pascual Julián Iranzo	On the Correctness of the Factoring Transformation.	FLOPS	2002	DBLP DOI BibTeX RDF
1	Jérôme Siméon, Philip Wadler	The Essence of XML (Preliminary Version).	FLOPS	2002	DBLP DOI BibTeX RDF
1	Taro Suzuki, Aart Middeldorp	A Complete Selection Function for Lazy Conditional Narrowing.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Elvira Albert, Michael Hanus, Germán Vidal	A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.	FLOPS	2001	DBLP DOI BibTeX RDF
1	George C. Necula	A Scalable Architecture for Proof-Carrying Code.	FLOPS	2001	DBLP DOI BibTeX RDF
1	César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Incremental Learning of Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF	Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP)
1	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli	An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Maria Teresa Hortalá-González, Eva Ullán	An Abstract Machine Based System for a Lazy Narrowing Calculus.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Olivier Danvy, Morten Rhiger	A Simple Take on Typed Abstract Syntax in Haskell-like Languages.	FLOPS	2001	DBLP DOI BibTeX RDF	Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax
1	Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama	A Simply Typed Context Calculus with First-Class Environments.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Koji Kagawa	Monadic Encapsulation with Stack of Regions.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Gopalan Nadathur	The Metalanguage lambda-Prolog and Its Implementation.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Martin Sulzmann	A General Type Inference Framework for Hindley/Milner Style Systems.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Herbert Kuchen, Kazunori Ueda (eds.)	Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings	FLOPS	2001	DBLP DOI BibTeX RDF
1	Taisuke Sato	Parameterized Logic Programs where Computing Meets Learning.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Pierre Deransart, Jan-Georg Smaus	Well-Typed Logic Programs Are not Wrong.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Giorgio Delzanno	Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Javier Leach, Susana Nieva	A Higher-Order Logic Programming Language with Constraints.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Fairouz Kamareddine, Twan Laan, Rob Nederpelt	Refining the Barendregt Cube Using Parameters.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Olivier Danvy, Lasse R. Nielsen	A Higher-Order Colon Translation.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Vitaly Lagoon, Peter J. Stuckey	A Framework for Analysis of Typed Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Kwanghoon Choi 0001, Hyun-il Lim, Taisook Han	Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine.	FLOPS	2001	DBLP BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Wolfgang Lux	Adding Linear Constraints over Real Numbers to Curry.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Gianluca Amato, Fausto Spoto	Abstract Compilation for Sharing Analysis.	FLOPS	2001	DBLP DOI BibTeX RDF	linear refinement, logic programming, Abstract interpretation, linear logic, domain theory
1	Jeff Polakow, Kwangkeun Yi	Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Aart Middeldorp, Taisuke Sato (eds.)	Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings	FLOPS	1999	DBLP DOI BibTeX RDF
1	Masahiko Sato 0001, Yoshihito Toyama (eds.)	Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998.	FLOPS	1998	DBLP BibTeX RDF
1	Tetsuo Ida, Atsushi Ohori, Masato Takeichi (eds.)	Functional and Logic Programming, Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996.	FLOPS	1997	DBLP BibTeX RDF
1	Masato Takeichi, Tetsuo Ida (eds.)	Functional and Logic Programming, Proceedings of the Fuji International Workshop, Susono, Japan, 17-19 July 1995.	FLOPS	1995	DBLP BibTeX RDF

Publications at "FLOPS"( http://dblp.L3S.de/Venues/FLOPS )