Search results for "polymorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Patrick Baillot, Kazushige Terui	A Feasible Algorithm for Typing in Elementary Affine Logic.	TLCA	2005	DBLP DOI BibTeX RDF
9	Jaiprakash T. Lallchandani, Rajib Mall	Computation of Dynamic Slices for Object-Oriented Concurrent Programs.	APSEC	2005	DBLP DOI BibTeX RDF
9	Geoffrey Washburn, Stephanie Weirich	Generalizing Parametricity Using Information-flow.	LICS	2005	DBLP DOI BibTeX RDF
9	Haruo Hosoya	Type Systems for XML.	APLAS	2005	DBLP DOI BibTeX RDF
9	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
9	François Pottier	From ML type inference to stratified type inference.	ICFP	2005	DBLP DOI BibTeX RDF
9	Guoren Wang, Mengchi Liu	Extending XML with Nonmonotonic Multiple Inheritance.	DASFAA	2005	DBLP DOI BibTeX RDF	XML schema languages, nonmonotonic inheritance, element hierarchy, XML
9	Donnie Qi, Judith A. Blake, James A. Kadin, Joel E. Richardson, Martin Ringwald, Janan T. Eppig, Carol J. Bult	Data Integration in the Mouse Genome Informatics (MGI) Database.	CSB Workshops	2005	DBLP DOI BibTeX RDF
9	Jedidiah R. Crandall, Shyhtsun Felix Wu, Frederic T. Chong	Experiences Using Minos as a Tool for Capturing and Analyzing Novel Worms for Unknown Vulnerabilities.	DIMVA	2005	DBLP DOI BibTeX RDF
9	Andrea Lani, Tiago Quintino, Dries Kimpe, Herman Deconinck, Stefan Vandewalle, Stefaan Poedts	The COOLFluiD Framework: Design Solutions for High Performance Object Oriented Scientific Computing Software.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
9	Christian Skalka	Trace effects and object orientation.	PPDP	2005	DBLP DOI BibTeX RDF	temporal program logic, type and effect, type constraints
9	David Crowther, Djuradj Babich, Peter J. Clarke	A Class Abstraction Technique to Support the Analysis of Java Programs During Testing.	SERA	2005	DBLP DOI BibTeX RDF
9	Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Programming with TOY(FD).	CP	2005	DBLP DOI BibTeX RDF
9	Arthur M. Farley	Population Structure and Artificial Evolution.	Artificial Evolution	2005	DBLP DOI BibTeX RDF	population structure, genetic algorithm, graphs, population dynamics
9	Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell	Verifying haskell programs using constructive type theory.	Haskell	2005	DBLP DOI BibTeX RDF	GHC core, monadic translation, verification, haskell, type theory, partiality
9	Ugo Dal Lago, Martin Hofmann 0001	Quantitative Models and Implicit Complexity.	FSTTCS	2005	DBLP DOI BibTeX RDF
9	Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel	Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.	CASSIS	2005	DBLP DOI BibTeX RDF
9	Meena Jha, Piyush Maheshwari	Reusing Code for Modernization of Legacy Systems.	STEP	2005	DBLP DOI BibTeX RDF
9	John K. Reid	An overview of Fortran 2003.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
9	Tim Sheard	Languages of the future.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
9	Karthikeyan Sankaralingam, Ramadass Nagarajan, Haiming Liu 0001, Changkyu Kim, Jaehyuk Huh 0001, Nitya Ranganathan, Doug Burger, Stephen W. Keckler, Robert G. McDonald, Charles R. Moore	TRIPS: A polymorphous architecture for exploiting ILP, TLP, and DLP.	ACM Trans. Archit. Code Optim.	2004	DBLP DOI BibTeX RDF	scalable and high-performance computing, Computer architecture, configurable computing
9	A. M. Gorelik	Object-Oriented Programming in Modern Fortran.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
9	Erik Arisholm, Lionel C. Briand, Audun Føyen	Dynamic Coupling Measurement for Object-Oriented Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
9	C. Barry Jay	The pattern calculus.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming
9	Edward A. Lee, Stephen Neuendorffer	Classes and subclasses in actor-oriented design.	MEMOCODE	2004	DBLP DOI BibTeX RDF
9	Pedro A. Reche, Ellis L. Reinherz	Definition of MHC Supertypes Through Clustering of MHC Peptide Binding Repertoires.	ICARIS	2004	DBLP DOI BibTeX RDF
9	Tim Sheard	Languages of the future.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	equality constrained types, formal reasoning systems, staged languages, static constraint management, formal methods
9	Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride	Constructing Polymorphic Programs with Quotient Types.	MPC	2004	DBLP DOI BibTeX RDF
9	Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter	Adding wildcards to the Java programming language.	SAC	2004	DBLP DOI BibTeX RDF	genericity, wildcards, parameterized types
9	Francesco Bruschi, Massimo Bombana	A Design Methodology for the Exploitation of High Level Communication Synthesis.	DATE	2004	DBLP DOI BibTeX RDF
9	Nico Bannow, Karsten Haug	Evaluation of an Object-Oriented Hardware Design Methodology for Automotive Applications.	DATE	2004	DBLP DOI BibTeX RDF
9	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
9	Andrei A. Bulatov	A Graph of a Relational Structure and Constraint Satisfaction Problems.	LICS	2004	DBLP DOI BibTeX RDF
9	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
9	Stéphane Ducasse, Michele Lanza, Roland Bertuli	High-Level Polymetric Views of Condensed Run-time Information.	CSMR	2004	DBLP DOI BibTeX RDF	run-time information, reverse engineering, object-oriented programming, program understanding, software visualization
9	Iulian Ober, Susanne Graf, Ileana Ober	Validation of UML Models via a Mapping to Communicating Extended Timed Automata.	SPIN	2004	DBLP DOI BibTeX RDF
9	Neelam Soundarajan, Stephen Fridella	Incremental Reasoning for Object Oriented Systems.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF	Incremental reasoning, Behavior of polymorphic methods, Incremental design
9	Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin	A Relational Model for Object-Oriented Designs.	APLAS	2004	DBLP DOI BibTeX RDF	UTP, Semantics, Object Orientation, Refinement
9	Marc Conrad, Tim French 0001	Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs.	ITiCSE	2004	DBLP DOI BibTeX RDF	education, object oriented programming, computer algebra, mathematics
9	Jaakko Järvi, Andrew Lumsdaine, Douglas P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp	Generic Programming and High-Performance Libraries.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
9	Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli	A Generative Approach to the Implementation of Language Bindings for the Document Object Model.	GPCE	2004	DBLP DOI BibTeX RDF
9	Awais Rashid, Nicholas A. Leidenfrost	Supporting Flexible Object Database Evolution with Aspects.	GPCE	2004	DBLP DOI BibTeX RDF
9	Phil Ventura, Bina Ramamurthy	Wanted: CS1 students. no experience required.	SIGCSE	2004	DBLP DOI BibTeX RDF	predictors of success, prior programming experience, object-oriented programming, CS1, curriculum, object oriented-design, objects-first
9	Peishun Liu, Jianbo Wang, Dake He	Worm detection using CPN.	SMC (5)	2004	DBLP DOI BibTeX RDF
9	Bhushan Bauskar, Boleslaw Mikolajczak	Modeling inheritance anomaly in concurrent systems using colored Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
9	Russell Schwartz	Algorithms for Association Study Design Using a Generalized Model of Haplotype Conservation.	CSB	2004	DBLP DOI BibTeX RDF
9	John G. Michopoulos, Panagiota E. Tsompanopoulou, Elias N. Houstis, Anupam Joshi	Agent-Based Simulation of Data-Driven Fire Propagation Dynamics.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
9	Faye F. Liu, Jidong Wang, Tharam S. Dillon	An Object-Oriented Approach on Web Information Representation and Derivation.	EEE	2004	DBLP DOI BibTeX RDF
9	Kohei Honda 0001, Nobuko Yoshida	A compositional logic for polymorphic higher-order functions.	PPDP	2004	DBLP DOI BibTeX RDF	compositional logics, polymorphim, types, higher-order functions
9	Robert Steele, Yuri Ventsov, Sri Madhisetty, Laurie Benkovich	A Two-tier Architecture for Automated Mobile Applications.	ITCC (2)	2004	DBLP DOI BibTeX RDF
9	Saurabh Sinha, Alessandro Orso, Mary Jean Harrold	Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow.	ICSE	2004	DBLP DOI BibTeX RDF
9	Holger Schwender	Modifying Microarray Analysis Methods for Categorical Data - SAM and PAM for SNPs.	GfKl	2004	DBLP DOI BibTeX RDF
9	Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge	A survey of trace exploration tools and techniques.	CASCON	2004	DBLP BibTeX RDF
9	Mok Pak Lun, Anthony S. Fong, Gary K. W. Hau	Object-oriented processor requirements with instruction analysis of Java programs.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF
9	Karthikeyan Sankaralingam, Ramadass Nagarajan, Haiming Liu 0001, Changkyu Kim, Jaehyuk Huh 0001, Doug Burger, Stephen W. Keckler, Charles R. Moore	Exploiting ILP, TLP, and DLP with the Polymorphous TRIPS Architecture.	IEEE Micro	2003	DBLP DOI BibTeX RDF
9	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
9	Raimund Dachselt, Enrico Rukzio	Behavior3D: an XML-based framework for 3D graphics behavior.	Web3D	2003	DBLP DOI BibTeX RDF	Contigra, behavior language, dynamic grammar, animation, XML-Schema, Extensible 3D (X3D), SMIL, object behaviors
9	Kim B. Bruce	Bending without Breaking: Making Software More Flexible: Extended Abstract.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
9	W. Eric Wong, J. Jenny Li	Redesigning Legacy Systems into the Object-Oriented Paradigm.	ISORC	2003	DBLP DOI BibTeX RDF	OO redesign, procedure/variable call graph, structure distance, code partition, feature visualization, execution slice, structural pattern
9	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.	ECRTS	2003	DBLP DOI BibTeX RDF
9	Kui Zhang, Fengzhu Sun, Michael S. Waterman, Ting Chen 0006	Dynamic programming algorithms for haplotype block partitioning: applications to human chromosome 21 haplotype data.	RECOMB	2003	DBLP DOI BibTeX RDF	local maximal haplotypes, tag SNPs, clustering, dynamic programming, haplotype block
9	Andrew G. Clark	Haplotype phase inference.	RECOMB	2003	DBLP DOI BibTeX RDF
9	Jorn Bettin, Jeff Hoare	Time Conscious Objects.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	domain-driven development, model driven architecture (MDA), time, domain-specific languages, auditability, versioning, logging, temporal, undo, redo
9	Bruno Dufour, Karel Driesen, Laurie J. Hendren, Clark Verbrugge	Dynamic metrics for java.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, optimization, software metrics, program analysis, profiling, execution traces, dynamic metrics
9	Carl Alphonce, Phil Ventura	Using graphics to support the teaching of fundamental object-oriented principles in CS1.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	NGP, Java, object-orientation, CS1, graphics
9	Siew Teck Kiong, Wang Yin Chai	An Object-Oriented Approach for Transformation of Spatial Data from Relational Database to Object-Oriented Database.	ICADL	2003	DBLP DOI BibTeX RDF
9	Mok Pak Lun, Anthony S. Fong, Gary K. W. Hau	Object-oriented processor requirements with instruction analysis of Java programs.	ISICT	2003	DBLP BibTeX RDF
9	Kaiman Lo, Pak Lun Mok, Wing Shing Yu, Anthony S. Fong	Hardware support for user-access control on an object-oriented processor.	ISICT	2003	DBLP BibTeX RDF
9	Andrei A. Bulatov, Víctor Dalmau	Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem.	FOCS	2003	DBLP DOI BibTeX RDF
9	Andreas Abel 0001, Ralph Matthes, Tarmo Uustalu	Generalized Iteration and Coiteration for Higher-Order Nested Datatypes.	FoSSaCS	2003	DBLP DOI BibTeX RDF
9	Simon L. Peyton Jones, Ralf Lämmel	Scrap Your Boilerplate.	APLAS	2003	DBLP DOI BibTeX RDF
9	Tae-Dong Lee, Bom-Jae Jeon, Chang-Sung Jeong, Sang-Yong Choi	RISA: Object-Oriented Modeling and Simulation of Real-Time Distributed System for Air Defense.	OOIS	2003	DBLP DOI BibTeX RDF
9	Guoren Wang, Mengchi Liu	Extending XML Schema with Nonmonotonic Inheritance.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
9	Patrick Lam 0001, Martin C. Rinard	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.	ECOOP	2003	DBLP DOI BibTeX RDF
9	Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger	A Nominal Theory of Objects with Dependent Types.	ECOOP	2003	DBLP DOI BibTeX RDF
9	István Zólyomi, Zoltán Porkoláb, Tamás Kozsik	An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming.	GPCE	2003	DBLP DOI BibTeX RDF
9	Hong Zhu 0002, David E. Lightfoot	Caste: A Step beyond Object Orientation.	JMLC	2003	DBLP DOI BibTeX RDF
9	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer	CCured in the real world.	PLDI	2003	DBLP DOI BibTeX RDF	compatibility with library code, run-time type information, C, type safety, memory safety
9	Mark Utting, Shaochun Wang	Object Orientation without Extending Z.	ZB	2003	DBLP DOI BibTeX RDF
9	Yusuke Sakabe, Masakazu Soshi, Atsuko Miyaji	Java Obfuscation with a Theoretical Basis for Building Secure Mobile Agents.	Communications and Multimedia Security	2003	DBLP DOI BibTeX RDF	security, computational complexity, mobile agents, static analysis, obfuscation
9	Andrew B. Kahng, Ion I. Mandoiu, Sherief Reda, Xu Xu 0001, Alexander Zelikovsky	Evaluation of Placement Techniques for DNA Probe Array Layout.	ICCAD	2003	DBLP DOI BibTeX RDF
9	Fang-Rong Hsu, J. F. Chen	Aligning ESTs to Genome Using Multi-Layer Unique Makers.	CSB	2003	DBLP DOI BibTeX RDF
9	Ralf Lämmel, Simon L. Peyton Jones	Scrap your boilerplate: a practical design pattern for generic programming.	TLDI	2003	DBLP DOI BibTeX RDF	rank-2 types, type cast, generic programming, traversal
9	Dan Grossman	Type-safe multithreading in cyclone.	TLDI	2003	DBLP DOI BibTeX RDF	types, data races, cyclone
9	David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin	Soft Constraints: Complexity and Multimorphisms.	CP	2003	DBLP DOI BibTeX RDF
9	Richard Souvenir, Jeremy Buhler, Gary D. Stormo, Weixiong Zhang	Selecting Degenerate Multiplex PCR Primers.	WABI	2003	DBLP DOI BibTeX RDF
9	Yonatan Aumann, Efrat Manisterski, Zohar Yakhini	Designing Optimally Multiplexed SNP Genotyping Assays.	WABI	2003	DBLP DOI BibTeX RDF
9	Karthikeyan Sankaralingam, Ramadass Nagarajan, Haiming Liu 0001, Changkyu Kim, Jaehyuk Huh 0001, Doug Burger, Stephen W. Keckler, Charles R. Moore	Exploiting ILP, TLP and DLP with the Polymorphous TRIPS Architecture.	ISCA	2003	DBLP DOI BibTeX RDF
9	Frank Feiks, David Hemer	Specification Matching of Object-Oriented Components.	SEFM	2003	DBLP DOI BibTeX RDF	OO components, retrieval, specification matching
9	Dominic Duggan	Object type constructors.	Acta Informatica	2002	DBLP DOI BibTeX RDF
9	Kathleen Fisher, Benjamin C. Pierce	Guest editorial.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF
9	Erik Arisholm	Dynamic Coupling Measures for Object-Oriented Software.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
9	Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001	Hybrid applications over XML: integrating the procedural and declarative approaches.	WIDM	2002	DBLP DOI BibTeX RDF	XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration
9	Pablo E. Martínez López, John Hughes	Principal type specialisation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program specialisation, type based transformation, type specialisation, qualified types
9	Anupriya Ankolekar, Frank Huch, Katia P. Sycara	Concurrent Execution Semantics of DAML-S with Subtypes.	ISWC	2002	DBLP DOI BibTeX RDF	Languages and Infrastructure, Ontologies, Agents, Services
9	Andrew G. Clark, Emmanouil T. Dermitzakis, Stylianos E. Antonarakis	Trisomic Phase Inference.	Computational Methods for SNPs and Haplotype Inference	2002	DBLP DOI BibTeX RDF
9	Tianhua Niu, Xin Lu, Hosung Kang, Zhaohui S. Qin, Jun S. Liu	Haplotype Inference and Its Application in Linkage Disequilibrium Mapping.	Computational Methods for SNPs and Haplotype Inference	2002	DBLP DOI BibTeX RDF
9	Herbert Kuchen, Jörg Striegnitz	Higher-order functions and partial applications for a C++ skeleton library.	Java Grande	2002	DBLP DOI BibTeX RDF
9	Lutz Schröder, Till Mossakowski	HASCASL: Towards Integrated Specification and Development of Functional Programs.	AMAST	2002	DBLP DOI BibTeX RDF
9	Gagan Agrawal, Jinqian Li, Qi Su	Evaluating a Demand Driven Technique for Call Graph Construction.	CC	2002	DBLP DOI BibTeX RDF