Search results for "Polymorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Florian Haftmann, Makarius Wenzel	Local Theory Specifications in Isabelle/Isar.	TYPES	2008	DBLP DOI BibTeX RDF
9	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
9	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
9	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	scala, polytypic programming, datatype-generic programming
9	Didier Rémy, Boris Yakobowski	From ML to MLF: graphic type constraints with efficient type inference.	ICFP	2008	DBLP DOI BibTeX RDF	type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
9	Jean-Christophe Filliâtre	A functional implementation of the garsia--wachs algorithm: (functional pearl).	ML	2008	DBLP DOI BibTeX RDF	garsia-wachs algorithm, optimum binary trees, applicative programming, zipper
9	Soledad Espezúa Llerena, Carlos Dias Maciel	Exploratory Visualization of RFLP-PCR Genomic Data Using Multidimensional Scaling.	SIBGRAPI	2008	DBLP DOI BibTeX RDF
9	Hiroshi Unno 0001, Naoki Kobayashi 0001	On-Demand Refinement of Dependent Types.	FLOPS	2008	DBLP DOI BibTeX RDF
9	Roberto Colella, Annarita D'Addabbo, Anna Latiano, Orazio Palmieri, Vito Annese, Nicola Ancona	Prediction of Crohn's Disease by Profiles of Single Nucleotide Polymorphisms.	KES (3)	2008	DBLP DOI BibTeX RDF	SNP data, Logistic regression
9	Guodong Li, Konrad Slind	Trusted Source Translation of a Total Function Language.	TACAS	2008	DBLP DOI BibTeX RDF
9	Salvador Lucas, José Meseguer 0001	Order-sorted dependency pairs.	PPDP	2008	DBLP DOI BibTeX RDF	program analysis, termination, term rewriting
9	Dhundy Bastola, Sarfraz H. Chandio, Peter Iwen, Steven H. Hinrichs, Hesham H. Ali	RFLP-WAVE Analysis for Rapid Identification of Medically Important Fungi.	HICSS	2008	DBLP DOI BibTeX RDF
9	Yongtao Hu, Liang Chen, Ming Xu 0001, Ning Zheng 0001, Yanhua Guo	Unknown Malicious Executables Detection Based on Run-Time Behavior.	FSKD (4)	2008	DBLP DOI BibTeX RDF
9	María Eugenia Castro, Alfonso Niño, Camelia Muñoz-Caro	Accurate Numerical Computation of Rovibrational G Matrices in Molecules of Arbitrary Size.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	G matrix, Kinetic operator, Numerical differentiation, Richardson extrapolation
9	Margaret J. Eppstein, Paul Haake	Very large scale ReliefF for genome-wide association analysis.	CIBCB	2008	DBLP DOI BibTeX RDF
9	Nico Pfeifer, Oliver Kohlbacher	Multiple Instance Learning Allows MHC Class II Epitope Predictions Across Alleles.	WABI	2008	DBLP DOI BibTeX RDF
9	Bo Liu 0064, Huiguang Li, Tihua Wu, Qingbin Zhang	Hybrid Ant Colony Algorithm and Its Application on Function Optimization.	ISICA	2008	DBLP DOI BibTeX RDF	Binary ant colony algorithm (BACA), Population based incremental learning (PBIL), function optimization, probability model
9	Gilles Barthe, Benjamin Grégoire, Colin Riba	Type-Based Termination with Sized Products.	CSL	2008	DBLP DOI BibTeX RDF
9	Minzhu Xie, Jianxin Wang 0001, Jianer Chen	A Practical Exact Algorithm for the Individual Haplotyping Problem MEC/GI.	COCOON	2008	DBLP DOI BibTeX RDF
9	Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu 0005	STILL: Exploit Code Detection via Static Taint and Initialization Analyses.	ACSAC	2008	DBLP DOI BibTeX RDF
9	Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh	Construction of concrete verification models from C++.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, C++, pointers, equivalence checking, dynamic memory allocation
9	Benjamin M. Brosgol	A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.	Ada-Europe	2008	DBLP DOI BibTeX RDF
9	Jim Steel, Jean-Marc Jézéquel	On model typing.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	MDA, Model transformation, Type systems, Metamodelling, Typing, MOF
9	Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos	Network-level polymorphic shellcode detection using emulation.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF
9	Martin Sulzmann, Kenny Zhuo Ming Lu	XHaskell - Adding Regular Expression Types to Haskell.	IFL	2007	DBLP DOI BibTeX RDF
9	Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer	Analyzing network traffic to detect self-decrypting exploit code.	AsiaCCS	2007	DBLP DOI BibTeX RDF	exploit code, static analysis, emulation, detection, polymorphic, decryption
9	Changwei Liu, Sid Stamm	Fighting unicode-obfuscated spam.	eCrime Researchers Summit	2007	DBLP DOI BibTeX RDF	SpamAssassin, deobfuscated emails, obfuscated emails, spam emails, unicode characters
9	Erik Corona, Benjamin J. Raphael, Eleazar Eskin	Identification of Deletion Polymorphisms from Haplotypes.	RECOMB	2007	DBLP DOI BibTeX RDF
9	Donna Malayeri	Combining structural subtyping and external dispatch.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	by-name subtyping, external dispatch, structural subtyping
9	Brigitte Pientka	Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF.	TPHOLs	2007	DBLP DOI BibTeX RDF
9	Gaofeng Huang, Peter Jeavons 0001	A Geometrical Model for the SNP Motif Identification Problem.	BIBE	2007	DBLP DOI BibTeX RDF
9	Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard	Tractability and learnability arising from algebras with few subpowers.	LICS	2007	DBLP DOI BibTeX RDF
9	Daniel K. Lee, Karl Crary, Robert Harper 0001	Towards a mechanized metatheory of standard ML.	POPL	2007	DBLP DOI BibTeX RDF	language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety
9	Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
9	Stefan Monnier	The swiss coercion.	PLPV	2007	DBLP DOI BibTeX RDF	type based security, formal methods, compilation, coercions
9	Saangyong Uhmn, Dong Hoi Kim, Sung Won Cho, Jae Youn Cheong, Jin Kim	Chronic Hepatitis Classification Using SNP Data and Data Mining Techniques.	FBIT	2007	DBLP DOI BibTeX RDF
9	Paolo Missier, Suzanne M. Embury, Cornelia Hedeler, Robert Mark Greenwood, Joanne Pennock, Andy Brass	Accelerating Disease Gene Identification Through Integrated SNP Data Analysis.	DILS	2007	DBLP DOI BibTeX RDF
9	Alta van der Merwe, Paula Kotzé, Aurona Gerber	Generic process model structures: towards a standard notation for abstract representations.	SAICSIT	2007	DBLP DOI BibTeX RDF	process model repositories, reusable process models
9	Jurriaan Hage, Stefan Holdermans, Arie Middelkoop	A generic usage analysis with subeffect qualifiers.	ICFP	2007	DBLP DOI BibTeX RDF	uniqueness typing, type and effect systems, qualified types, sharing analysis
9	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
9	Steven Robbins	A Java execution simulator.	SIGCSE	2007	DBLP DOI BibTeX RDF	simulation, tracing, Java programming
9	Roberta Spinelli, Ingrid Cifola, Stefano Ferrero, Luca Beltrame, Paolo Mocarelli, Cristina Battaglia	Assessment of Common Regions and Specific Footprints of DNA Copy Number Aberrations Across Multiple Affymetrix SNP Mapping Arrays.	WILF	2007	DBLP DOI BibTeX RDF	copy number, SNP mapping array, aberration, SNP
9	Scott F. Smith 0001, Mark Thober	Improving usability of information flow security in java.	PLAS	2007	DBLP DOI BibTeX RDF	java, security policies, type inference, declassification, information flow security
9	Arno Fritsch, Katja Ickstadt	Comparing Logic Regression Based Methods for Identifying SNP Interactions.	BIRD	2007	DBLP DOI BibTeX RDF
9	Kathleen Fisher	Typing ad hoc data.	TLDI	2007	DBLP DOI BibTeX RDF	ad hoc data, domain-specific languages, dependent types, data description languages
9	Dong Hoi Kim, Saangyong Uhmn, Young Woong Ko, Sung Won Cho, Jae Youn Cheong, Jin Kim	Chronic Hepatitis and Cirrhosis Classification Using SNP Data, Decision Tree and Decision Rule.	ICCSA (3)	2007	DBLP DOI BibTeX RDF
9	Dave Clarke 0001, Sophia Drossopoulou, James Noble 0001, Tobias Wrigstad	Tribe: a simple virtual class calculus.	AOSD	2007	DBLP DOI BibTeX RDF	subtyping, virtual classes
9	Hyung Moo Kim, Jae Soo Yoo	Recursive Algorithm of River and Basin Data Model based on Composite Design Pattern.	ISI	2007	DBLP DOI BibTeX RDF
9	Loredana M. Genovese, Filippo Geraci, Marco Pellegrini 0001	A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage.	WABI	2007	DBLP DOI BibTeX RDF
9	Weidong Mao, Shannon Kelly	An Optimum Random Forest Model for Prediction of Genetic Susceptibility to Complex Diseases.	PAKDD	2007	DBLP DOI BibTeX RDF	association study, complex diseases, prediction, random forest, risk factor, susceptibility
9	Hsiang-Lun Huang, Tzong-Jye Liu, Kuong-Ho Chen, Chyi-Ren Dow, Lih-Chyau Wuu	A polymorphic shellcode detection mechanism in the network.	Infoscale	2007	DBLP DOI BibTeX RDF	polymorphic shellcode, intrusion detection system, buffer overflow
9	Manuel Bodirsky, Hubie Chen	Qualitative Temporal and Spatial Reasoning Revisited.	CSL	2007	DBLP DOI BibTeX RDF
9	Yuan-Jin Tseng, Chin-Chih Chang, Judy C. R. Tseng	Modeling and Implementation of Object-Oriented E-Commerce Platform.	CEC/EEE	2007	DBLP DOI BibTeX RDF
9	Luis Rueda 0001, Omar Uyarte, Sofia Valenzuela, Jaime Rodriguez	Processing Random Amplified Polymorphysm DNA Images Using the Radon Transform and Mathematical Morphology.	ICIAR	2007	DBLP DOI BibTeX RDF
9	A. Engwirda	Sustainable polymorphic colonial robotics and large scale off-world construction.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Robot colonies, Self-reliance, Self-sustainability, Graceful degradation
9	Andrew B. Kahng, Ion I. Mandoiu, Sherief Reda, Xu Xu 0001, Alexander Zelikovsky	Computer-Aided Optimization of DNA Array Design and Manufacturing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
9	Iulian Ober, Susanne Graf, Ileana Ober	Validating timed UML models by simulation and verification.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, UML, Real-time, Object oriented, Observer, Timed automata
9	Haris Vikalo, Babak Hassibi, Arjang Hassibi	A statistical model for microarrays, optimal estimation algorithms, and limits of performance.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
9	Atsushi Igarashi, Mirko Viroli	Variant parametric types: A flexible subtyping scheme for generics.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Generic classes, Java, subtyping, language design, variance, language semantics
9	Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda	Designing algorithm-oriented generic library on .NET framework.	ECBS	2006	DBLP DOI BibTeX RDF
9	Nadya Kuzmina, Ruben Gamboa	Dynamic constraint detection for polymorphic behavior.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	automatic specification recovery, class invariants, object constraints, dynamic invariant detection
9	Marco A. Wehrmeister, Carlos Eduardo Pereira, Leandro Buss Becker	Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java.	DATE	2006	DBLP DOI BibTeX RDF
9	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
9	Erik Ernst, Klaus Ostermann, William R. Cook	A virtual class calculus.	POPL	2006	DBLP DOI BibTeX RDF	soundness, virtual classes
9	Lajos Nagy, Ryan Stansifer	Polymorphic type inference for the relational algebra in the functional database programming language neon.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
9	Jacques Garrigue	Private Row Types: Abstracting the Unnamed.	APLAS	2006	DBLP DOI BibTeX RDF
9	Amal J. Ahmed 0001	Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.	ESOP	2006	DBLP DOI BibTeX RDF
9	Oliver Pell, Wayne Luk	Compiling Higher-Order Polymorphic Hardware Descriptions Into Parametrised VHDL Libraries with Flexible Placement Information.	FPL	2006	DBLP DOI BibTeX RDF
9	Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn	Programming with heterogeneous structures: manipulating XML data using bondi.	ACSC	2006	DBLP BibTeX RDF	heterogeneous data structure, pattern calculus, functional programming, XML processing
9	Yi Yu, Man Lo Kai, Anthony S. Fong	A Performance Analysis of an Object-Oriented Processor.	ITNG	2006	DBLP DOI BibTeX RDF	operand descriptor, Java, performance, Object-oriented programming, bytecode
9	Matthias Blume, Umut A. Acar, Wonseok Chae	Extensible programming with first-class cases.	ICFP	2006	DBLP DOI BibTeX RDF	first-class cases, duality, records, sums
9	Björn Bringert, Aarne Ranta	A pattern for almost compositional functions.	ICFP	2006	DBLP DOI BibTeX RDF	dependent type theory, java, haskell, abstract syntax, traversal, visitor pattern
9	Adriaan Moors, Frank Piessens, Wouter Joosen	An object-oriented approach to datatype-generic programming.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	datatype-genericity, scala, polytypic programming
9	Oliver Pell, Wayne Luk	Generating Parametrised Hardware Libraries from Higher-Order Descriptions.	FCCM	2006	DBLP DOI BibTeX RDF
9	Manuel Bodirsky, Jan Kára	The Complexity of Equality Constraint Languages.	CSR	2006	DBLP DOI BibTeX RDF	Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science
9	Stephen Weeks	Whole-program compilation in MLton.	ML	2006	DBLP DOI BibTeX RDF
9	Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur	SCOOP - Concurrency Made Easy.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
9	Willem de Bruijn, Asia Slowinska, Kees van Reeuwijk, Tomás Hrubý, Li Xu, Herbert Bos	SafeCard: A Gigabit IPS on the Network Card.	RAID	2006	DBLP DOI BibTeX RDF
9	Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida	Bounded Session Types for Object Oriented Languages.	FMCO	2006	DBLP DOI BibTeX RDF
9	Suad Alagic, Mark Royer, David Briggs	Verification Theories for XML Schema.	BNCOD	2006	DBLP DOI BibTeX RDF
9	Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos	Network-Level Polymorphic Shellcode Detection Using Emulation.	DIMVA	2006	DBLP DOI BibTeX RDF
9	Ion I. Mandoiu, Claudia Prajescu	High-Throughput SNP Genotyping by SBE/SBH.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
9	Dumitru Brinza, Alexander Zelikovsky	Phasing of 2-SNP Genotypes Based on Non-random Mating Model.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
9	Xinbiao Zhou, Hongyan Li 0002, Haibin Liu, Meimei Li, Lv-an Tang, Yu Fan, Zijing Hu	Monitoring Abnormal Patterns with Complex Semantics over ICU Data Streams.	IWICPAS	2006	DBLP DOI BibTeX RDF
9	Viswanathan Kodaganallur	Missing the Forest for the Trees - Object Technology's Second Hiatus.	HICSS	2006	DBLP DOI BibTeX RDF
9	Andreas Abel 0001	Semi-continuous Sized Types and Termination.	CSL	2006	DBLP DOI BibTeX RDF
9	Deling Ren, Martin Erwig	A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.	Haskell	2006	DBLP DOI BibTeX RDF	traversal strategy, generic programming
9	Adrian D. Thurston, James R. Cordy	Evolving TXL.	SCAM	2006	DBLP DOI BibTeX RDF
9	Ádám Balogh, Zoltán Csörnyei	SysObjC: C extension for development of object-oriented operating systems.	PLOS	2006	DBLP DOI BibTeX RDF	low-level programming, predicate classes, C, C, system programming, predicate dispatching
9	Justin Ma, John Dunagan, Helen J. Wang, Stefan Savage, Geoffrey M. Voelker	Finding diversity in remote code injection exploits.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	binary emulation, malware classification, worms, phylogeny, bots
9	Yin Liu, Ana L. Milanova	Static analysis for dynamic coupling measures.	CASCON	2006	DBLP DOI BibTeX RDF
9	Maziar Goudarzi, Shaahin Hessabi	The ODYSSEY Tool-Set for System-Level Synthesis of Object-Oriented Models.	SAMOS	2005	DBLP DOI BibTeX RDF
9	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
9	Gopalan Nadathur, Xiaochu Qi	Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.	LPAR	2005	DBLP DOI BibTeX RDF
9	Takashige Oroguchi, Tomofumi Inoue, Isao Tomabechi, Yoshio Tago, Toru Makino	Development of New Method of Primer Design Based on Genomewide for SNP Typing under Problem Solving Environment on Grid.	e-Science	2005	DBLP DOI BibTeX RDF
9	Jim Steel, Jean-Marc Jézéquel	Model Typing for Improving Reuse in Model-Driven Engineering.	MoDELS	2005	DBLP DOI BibTeX RDF
9	Vineet Bafna, Vikas Bansal 0001	Improved Recombination Lower Bounds for Haplotype Data.	RECOMB	2005	DBLP DOI BibTeX RDF
9	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
9	Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic	Mechanized Metatheory for the Masses: The PoplMark Challenge.	TPHOLs	2005	DBLP DOI BibTeX RDF
9	Steven Alexander Spoon, Olin Shivers	Dynamic data polyvariance using source-tagged classes.	DLS	2005	DBLP DOI BibTeX RDF