Search results for "polymorphic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Ken-etsu Fujita	Galois Embedding from Polymorphic Types into Existential Types.	TLCA	2005	DBLP DOI BibTeX RDF
32	Alan Jeffrey, Julian Rathke	Full Abstraction for Polymorphic Pi-Calculus.	FoSSaCS	2005	DBLP DOI BibTeX RDF
32	João Costa Seco, Luís Caires	Subtyping First-Class Polymorphic Components.	ESOP	2005	DBLP DOI BibTeX RDF
32	Ayodele Thomas, Kunle Olukotun	An Application Analysis Framework For Polymorphic Chip Multiprocessors.	IPDPS	2005	DBLP DOI BibTeX RDF
32	Udo Payer, Peter Teufl, Stefan Kraxberger, Mario Lamberger	Massive Data Mining for Polymorphic Code Detection.	MMM-ACNS	2005	DBLP DOI BibTeX RDF
32	Derek Messie, Jae C. Oh	Polymorphic self-* agents for stigmergic fault mitigation in large-scale real-time embedded systems.	AAMAS	2005	DBLP DOI BibTeX RDF	self-* agents, multi-agent systems, game theory, polymorphism, SWARM, stigmergy
32	Simon Helsen, Peter Thiemann 0001	Polymorphic specialization for ML.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	regions, program specialization, Binding-time analysis
32	Jianyun Xu, Andrew H. Sung, Patrick Chavez, Srinivas Mukkamala	Polymorphic Malicious Executable Scanner by API Sequence Analysis.	HIS	2004	DBLP DOI BibTeX RDF
32	Pedro B. Vasconcelos, Kevin Hammond	Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.	IFL	2003	DBLP DOI BibTeX RDF
32	Marcin Benke	Predicative Polymorphic Subtyping.	MFCS	1998	DBLP DOI BibTeX RDF
32	Ken-etsu Fujita	Polymorphic Call-by-Value Calculus Based on Classical Proofs.	AISC	1998	DBLP DOI BibTeX RDF
32	Martin Emms	Models for Polymorphic Lambek Calculus.	LACL	1996	DBLP DOI BibTeX RDF
32	Jacques Garrigue, Hassan Aït-Kaci	The Typed Polymorphic Label-Selective lambda-Calculus.	POPL	1994	DBLP DOI BibTeX RDF
32	Julian Seward	Polymorphic Strictness Analysis using Frontiers.	PEPM	1993	DBLP DOI BibTeX RDF
32	Urs Hölzle, Craig Chambers, David M. Ungar	Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches.	ECOOP	1991	DBLP DOI BibTeX RDF
32	Hans Leiß	Polymorphic Constructs in Natural and Programming Languages.	JELIA	1990	DBLP DOI BibTeX RDF
32	Kenji Horiuchi, Tadashi Kanamori	Polymorphic Type Inference in Prolog by Abstract Interpretation.	LP	1987	DBLP DOI BibTeX RDF
28	Adam Crha, Richard Ruzicka, Václav Simek	Synthesis Methodology of Polymorphic Circuits Using Polymorphic NAND/NOR Gates.	UKSim	2015	DBLP DOI BibTeX RDF
28	Wenjian Luo, Zhikuan Zhang, Xiaoping Wang	Designing polymorphic circuits with polymorphic gates: a general design approach.	IET Circuits Devices Syst.	2007	DBLP DOI BibTeX RDF
28	Dirk Dussart, Fritz Henglein, Christian Mossin	Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time	SAS	1995	DBLP DOI BibTeX RDF
27	Ashkan Sami, Babak Yadegari, Hossein Rahimi, Naser Peiravian, Sattar Hashemi, Ali Hamzeh	Malware detection based on mining API calls.	SAC	2010	DBLP DOI BibTeX RDF	API call, polymorphic/metamorphic malware, portable executable (PE), public dataset, frequent pattern mining, malware detection
27	Ricardo Villamarín-Salomón, José Carlos Brustoloni	Using reinforcement to strengthen users' secure behaviors.	CHI	2010	DBLP DOI BibTeX RDF	audited dialogs, context-sensitive guidance, observational learning, operant conditioning, polymorphic dialogs, security-reinforcing application, social learning theory, vicarious learning, vicarious security reinforcement
27	Miad Faezipour, Mehrdad Nourani, Rina Panigrahy	A hardware platform for efficient worm outbreak detection.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	shared counters, worm outbreak, hashing, false positive, Network Intrusion Detection System, false negative, polymorphic worm
27	Alexander Fell, Mythri Alle, Keshavan Varadarajan, Prasenjit Biswas, Saptarsi Das, Jugantor Chetia, S. K. Nandy 0001, Ranjani Narayan	Streaming FFT on REDEFINE-v2: an application-architecture design space exploration.	CASES	2009	DBLP DOI BibTeX RDF	application synthesis, custom instruction extension, dataflow software pipeline, honeycomb, polymorphic asic, runtime reconfiguration, router, NOC
27	Andrew Kennedy	Types for units-of-measure in f#: invited talk.	ML	2008	DBLP DOI BibTeX RDF	dimension types, polymorphic type inference, ml
27	François Bertault, Peter Eades	Graph Library Design.	SCCC	2000	DBLP DOI BibTeX RDF	graph library design, dynamic graph typing, safe polymorphic algorithms, object-oriented programming, graphs, graph algorithms, object oriented design, extensibility, diagrams, diagrams, software libraries, software performance
27	Flemming Nielson, Hanne Riis Nielson	Type and Effect Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF	Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
27	Kouki Nakanishi, Takashi Arano, Makoto Imase	A metric for evaluating class library interfaces and its application to library upgrades.	ICSM	1995	DBLP DOI BibTeX RDF	class library interface evaluation metric, library upgrades, polymorphic operations, approximating equation, word frequency, InterViews C++ class library, abstract classes, metric value, specialized-functional extension classes, data structures, object-oriented programming, software maintenance, software metrics, generalization, natural language, object-oriented languages, abstract data types, libraries, software libraries, specialization, Zipf's law
27	Mike Beaven, Ryan Stansifer	Explaining Type Errors In Polimorphic Languages.	LOPLAS	1993	DBLP DOI BibTeX RDF	polymorphic type reconstruction, type errors
26	Ieng-Fat Lam, Wei-Cheng Xiao, Szu-Chi Wang, Kuan-Ta Chen	Counteracting Phishing Page Polymorphism: An Image Layout Analysis Approach.	ISA	2009	DBLP DOI BibTeX RDF
26	Jacques Garrigue	Private Row Types: Abstracting the Unnamed.	APLAS	2006	DBLP DOI BibTeX RDF
26	Haruo Hosoya, Alain Frisch, Giuseppe Castagna	Parametric polymorphism for XML.	POPL	2005	DBLP DOI BibTeX RDF	XML, polymorphism, subtyping, tree automata
26	Yong Tang 0004, Shigang Chen	Defending against Internet worms: a signature-based approach.	INFOCOM	2005	DBLP DOI BibTeX RDF
26	Matthew Collinson, David J. Pym, Edmund Robinson	On Bunched Polymorphism.	CSL	2005	DBLP DOI BibTeX RDF
26	Hayo Thielecke	Answer Type Polymorphism in Call-by-Name Continuation Passing.	ESOP	2004	DBLP DOI BibTeX RDF
26	Bratin Saha, Valery Trifonov, Zhong Shao	Intensional analysis of quantified types.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code
26	Tao Li 0006, Ravi Bhargava, Lizy Kurian John	Rehashable BTB: An Adaptive Branch Target Buffer to Improve the Target Predictability of Java Code.	HiPC	2002	DBLP DOI BibTeX RDF
26	Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof	Reuse of Results in Termination Analysis of Typed Logic Programs.	SAS	2002	DBLP DOI BibTeX RDF
26	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard	Boolean Constraints for Binding-Time Analysis.	PADO	2001	DBLP DOI BibTeX RDF
26	Oliver Lewis, Mike Mannion, Barry Keepence	Performance Concerns of Polymorphism in Modelling Domain Variability in Real-Time Systems.	ECBS	1999	DBLP DOI BibTeX RDF
26	Peter Buneman, Atsushi Ohori	Polymorphism and Type Inference in Database Programming.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	generalized relational algebra, record calculus, object-oriented databases, inheritance, polymorphism, type inference
26	Jin Song Dong	Living with Free Type and Class Union.	APSEC	1995	DBLP DOI BibTeX RDF
26	Xavier Leroy	Polymorphism by Name for References and Continuations.	POPL	1993	DBLP DOI BibTeX RDF	ML
26	Christoph Beierle	Types, Modules and Databases in the Logic Programming Language PROTOS-L.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
26	R. Ghosh-Roy, Frank Jensen	Conjunctional type assignment in programming languages.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	ML
26	John C. Mitchell, Robert Harper 0001	The Essence of ML. (long version: TOPLAS 15(2): 211-252 (1993))	POPL	1988	DBLP DOI BibTeX RDF	ML
26	You-Chin Fuh, Prateek Mishra	Type Inference with Subtypes.	ESOP	1988	DBLP DOI BibTeX RDF
26	Robert Cartwright	Types as Intervals.	POPL	1985	DBLP DOI BibTeX RDF
23	Grégoire Jacob, Eric Filiol, Hervé Debar	Functional polymorphic engines: formalisation, implementation and use cases.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
23	Hyunchul Park 0001, Yongjun Park 0001, Scott A. Mahlke	Polymorphic pipeline array: a flexible multicore accelerator with virtualized execution for mobile multimedia applications.	MICRO	2009	DBLP DOI BibTeX RDF	programmable accelerator, virtualization, software pipelining
23	Luís Dominguez	Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus.	LICS	2009	DBLP DOI BibTeX RDF
23	Tiark Rompf, Ingo Maier, Martin Odersky	Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform.	ICFP	2009	DBLP DOI BibTeX RDF	control effects, selective CPS transform, program transformation, delimited continuations
23	Hirotoshi Yasuoka, Tachio Terauchi	Polymorphic Fractional Capabilities.	SAS	2009	DBLP DOI BibTeX RDF
23	Adarsha Rao, Mythri Alle, Sainath V, Reyaz Shaik, Rajashekhar Chowhan, Sreeramula Sankaraiah, Sravanthi Mantha, S. K. Nandy 0001, Ranjani Narayan	An Input Triggered Polymorphic ASIC for H.264 Decoding.	ASAP	2009	DBLP DOI BibTeX RDF
23	Eijiro Sumii	A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References.	CSL	2009	DBLP DOI BibTeX RDF
23	Walid S. Saba	Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions.	KI	2008	DBLP DOI BibTeX RDF
23	Amit Pande, Joseph Zambreno	Polymorphic wavelet architectures using reconfigurable hardware.	FPL	2008	DBLP DOI BibTeX RDF
23	Lunjin Lu	Inferring precise polymorphic type dependencies in logic programs.	PPDP	2008	DBLP DOI BibTeX RDF	type dependency, logic programs, abstract interpretation, type inference
23	Joseph Nimmy, C. Ramesh Reddy, Keshavan Varadarajan, Mythri Alle, Alexander Fell, S. K. Nandy 0001, Ranjani Narayan	RECONNECT: A NoC for polymorphic ASICs using a low overhead single cycle router.	ASAP	2008	DBLP DOI BibTeX RDF
23	Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi	Relationally-parametric polymorphic contracts.	DLS	2007	DBLP DOI BibTeX RDF	contracts, polymorphism, parametricity
23	Theodor Richardson, Chin-Tser Huang	Containing Hitlist-Based Worms with Polymorphic Signatures.	ICCCN	2007	DBLP DOI BibTeX RDF
23	Zhichun Li, Lanjia Wang, Yan Chen 0004, Zhi Fu	Network-based and Attack-resilient Length Signature Generation for Zero-day Polymorphic Worms.	ICNP	2007	DBLP DOI BibTeX RDF
23	Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet	A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects.	CP	2007	DBLP DOI BibTeX RDF
23	Asia Slowinska, Herbert Bos	The Age of Data: Pinpointing Guilty Bytes in Polymorphic Buffer Overflows on Heap or Stack.	ACSAC	2007	DBLP DOI BibTeX RDF	attack analysis, honeypots, intrusion detection and prevention
23	Tachio Terauchi, Alex Aiken	On Typability for Rank-2 Intersection Types with Polymorphic Recursion.	LICS	2006	DBLP DOI BibTeX RDF
23	Rasmus Ejlers Møgelberg	Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism.	ICALP (2)	2006	DBLP DOI BibTeX RDF
23	Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos	Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.	TYPES	2006	DBLP DOI BibTeX RDF
23	Stamatis Vassiliadis, Georgi Kuzmanov, Stephan Wong, Elena Moscu Panainte, Georgi Gaydadjiev, Koen Bertels, Dmitry Cheresiz	PISC: Polymorphic Instruction Set Computers.	ARC	2006	DBLP DOI BibTeX RDF
23	Waldemar Wieczerzycki	Polymorphic Agent Clusters - The Concept to Design Multi-agent Environments Supporting Business Activities.	HoloMAS	2005	DBLP DOI BibTeX RDF
23	Ferruccio Damiani	Rank-2 Intersection and Polymorphic Recursion.	TLCA	2005	DBLP DOI BibTeX RDF
23	Gilles Barthe, Benjamin Grégoire, Fernando Pastawski	Practical Inference for Type-Based Termination in a Polymorphic Setting.	TLCA	2005	DBLP DOI BibTeX RDF
23	Paul-André Melliès, Jerome Vouillon	Recursive Polymorphic Types and Parametricity in an Operational Framework.	LICS	2005	DBLP DOI BibTeX RDF
23	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
23	Andrea Taylor, Zoltan Foley-Fisher, Carol Strohecker	Polymorphic letters: transforming pen movements to extend written expression.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	constructionist learning, expressive typography, pen-based interface, multimodal communication
23	Christopher Krügel, Engin Kirda, Darren Mutz, William K. Robertson, Giovanni Vigna	Polymorphic Worm Detection Using Structural Information of Executables.	RAID	2005	DBLP DOI BibTeX RDF
23	Derek Messie, Jae C. Oh	SWARMs of Self-Organizing Polymorphic Agents.	HIS	2005	DBLP DOI BibTeX RDF
23	Derek Messie	Polymorphic self-* agents using game theory for large-scale complex systems.	AAMAS	2005	DBLP DOI BibTeX RDF	self-* agents, multi-agent systems, game theory, polymorphism, SWARM, stigmergy
23	Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride	Constructing Polymorphic Programs with Quotient Types.	MPC	2004	DBLP DOI BibTeX RDF
23	Archana Pasupulati, Jason Coit, Karl N. Levitt, Shyhtsun Felix Wu, S. H. Li, J. C. Kuo, K. P. Fan	Buttercup: on network-based detection of polymorphic buffer overflow vulnerabilities.	NOMS (1)	2004	DBLP DOI BibTeX RDF
23	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization.	POPL	2004	DBLP DOI BibTeX RDF	type preservation, polymorphism, defunctionalization, closure conversion
23	Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech	PolyTOIL: A type-safe polymorphic object-oriented language.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	hash type, Matching
23	Marcin Zalewski, Sibylle Schupp	A Polymorphic Radix- n Framework for Fast Fourier Transforms.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
23	Rogardt Heldal, John Hughes 0001	Binding-Time Analysis for Polymorphic Types.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
23	Ping Gao, Robert Esser	Polymorphic CSP Type Checking.	ACSC	2001	DBLP DOI BibTeX RDF
23	Adrian Stoica, Ricardo Salem Zebulum, Didier Keymeulen	Polymorphic Electronics.	ICES	2001	DBLP DOI BibTeX RDF
23	Peter W. O'Hearn, John C. Reynolds	From Algol to polymorphic linear lambda-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	local state, linear logic, parametric polymorphism, logical relations
23	Samson Abramsky, Marina Lenisa	Axiomatizing Fully Complete Models for ML Polymorphic Types.	MFCS	2000	DBLP DOI BibTeX RDF
23	Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke	Region Analysis and the Polymorphic Lambda Calculus.	LICS	1999	DBLP DOI BibTeX RDF	semantics, program analysis, garbage collection, memory management, polymorphism
23	Steffen van Bakel, Franco Barbanera, Maribel Fernández	Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule.	TYPES	1999	DBLP DOI BibTeX RDF
23	Roger T. Alexander, A. Jefferson Offutt	Analysis Techniques for Testing Polymorphic Relationships.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
23	Oukseh Lee, Kwangkeun Yi	Proofs about a Folklore Let-Polymorphic Type Inference Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	type inference algorithm, type error
23	Dominic Duggan	A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.	Types in Compilation	1998	DBLP DOI BibTeX RDF
23	Jacek Chrzaszcz	Polymorphic Subtyping Without Distributivity.	MFCS	1998	DBLP DOI BibTeX RDF
23	Johan Nordlander	Pragmatic Subtyping in Polymorphic Languages.	ICFP	1998	DBLP DOI BibTeX RDF
23	Puri Arenas-Sánchez, Mario Rodríguez-Artalejo	A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.	TAPSOFT	1997	DBLP DOI BibTeX RDF
23	Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas	Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types.	ALP	1996	DBLP DOI BibTeX RDF
23	Jerzy Tiuryn	A Sequent Calculus for Subtyping Polymorphic Types.	MFCS	1996	DBLP DOI BibTeX RDF
23	Kim B. Bruce, Angela Schuett, Robert van Gent	PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language.	ECOOP	1995	DBLP DOI BibTeX RDF	design and semantics of object-oriented languages, Type systems
23	Jerzy Tiuryn	Equational Axiomatization of Bicoercibility for Polymorphic Types.	FSTTCS	1995	DBLP DOI BibTeX RDF
23	Fritz Henglein, Christian Mossin	Polymorphic Binding-Time Analysis.	ESOP	1994	DBLP DOI BibTeX RDF