Search results for "type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Frank Tip	Refactoring Using Type Constraints.	SAS	2007	DBLP DOI BibTeX RDF
20	Yalin Zheng, Zheng Qin, Yong Li, Ji Ouyang, Huijuan Xiao	Knowledge Mass and Automation Reasoning System in Type II Topological Logic CT II.	FSKD (1)	2007	DBLP DOI BibTeX RDF
20	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
20	Feng Qian, Laurie J. Hendren	A Study of Type Analysis for Speculative Method Inlining in a JIT Environment.	CC	2005	DBLP DOI BibTeX RDF
20	Neal Glew, Jens Palsberg, Christian Grothoff	Type-Safe Optimisation of Plugin Architectures.	SAS	2005	DBLP DOI BibTeX RDF
20	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	2005	DBLP DOI BibTeX RDF
20	Holger Gast	Explaining ML Type Errors by Data Flows.	IFL	2004	DBLP DOI BibTeX RDF
20	Menglei Tang, Yan-Qing Zhang 0001, Gang Zhang 0002	Type-2 Fuzzy Web Shopping Agents.	Web Intelligence	2004	DBLP DOI BibTeX RDF
20	Catherine Meadows 0001	A Procedure for Verifying Security Against Type Confusion Attacks.	CSFW	2003	DBLP DOI BibTeX RDF
20	George C. Necula, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy code.	POPL	2002	DBLP DOI BibTeX RDF
20	Martin Odersky, Christoph Zenger 0002, Matthias Zenger	Colored local type inference.	POPL	2001	DBLP DOI BibTeX RDF
20	Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps	Debugging via Run-Time Type Checking.	FASE	2001	DBLP DOI BibTeX RDF
20	J. C. Lagarias 0001	Geometric Models for Quasicrystals I. Delone Sets of Finite Type.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
20	Herman Geuvers	Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory.	CSL	1996	DBLP DOI BibTeX RDF
20	Zhong Shao, Andrew W. Appel	A Type-Based Compiler for Standard ML.	PLDI	1995	DBLP DOI BibTeX RDF	Standard ML
20	Fabio Alessi	Type Preorders.	CAAP	1994	DBLP DOI BibTeX RDF
20	John Peterson, Mark P. Jones	Implementing Type Classes.	PLDI	1993	DBLP DOI BibTeX RDF	Haskell, Standard ML
20	Hans-Joachim Goltz	A Constructive Type System Based on Data Terms.	JELIA	1992	DBLP DOI BibTeX RDF
20	John R. Talburt, Donna M. Mooney	An Evaluation of Type-10 Homograph Discrimination at the Semi-colon Level in Roget's International Thesaurus.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF
20	R. Ghosh-Roy, Frank Jensen	Conjunctional type assignment in programming languages.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	ML
20	Satish Thatte	Type Inference with Partial Types.	ICALP	1988	DBLP DOI BibTeX RDF
20	Leonardo Ignacio Martinez Sandoval	Explorations in combinatorial geometry : Distinct circumradii, geometric Hall-type theorems, fractional Turán-type theorems, lattice path matroids and Kneser transversals. (Contributions en géométrie combinatoire : rayons du cercle circonscrit différentes, théorèmes géométriques de type Hall, théorèmes fractionnaires de type Turán, matroïdes chemin du réseau et transversales de Kneser).		2016	RDF
20	Zheng Su, Jiaqiao Hu, Wei Zhu	Multi-step variance minimization in sequential tests.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Type I error, Type II error, Monte Carlo, Importance sampling
20	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
20	Quan-Lin Li, Yu Ying, Yiqiang Q. Zhao	A BMAP/G/1 Retrial Queue with a Server Subject to Breakdowns and Repairs.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Batch Markov arrival processes (BMAP), Markov chains of M/G/1 type, Markov renewal processes of M/G/1 type, Supplementary variable method, Censoring technique, RG-factorization, Reliability, Matrix-analytic method, Retrial queues
20	Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller	Generics-related refactorings in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Java, generics, refactoring, Eclipse, type inference, parameterization, instantiation, type constraints, generic types
20	Christian Skalka	Trace effects and object orientation.	PPDP	2005	DBLP DOI BibTeX RDF	temporal program logic, type and effect, type constraints
20	Quan-Lin Li, Yiqiang Q. Zhao	A MAP/G/1 Queue with Negative Customers.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	queue with negative customers, Markov chains of GI/G/1 type, Markov renewal processes of M/G/1 type, the Markovian arrival process (MAP), the supplementary variable method, the matrix-analytic method, the censoring technique, the RG-factorization, light tail, heavy tail
20	Philip Wadler, Peter Thiemann 0001	The marriage of effects and monads.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	type reconstruction, type, effect, Monad, region
20	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ICFP	2002	DBLP DOI BibTeX RDF	constraints, type inference, overloading, type classes
20	Ming-Yuan Zhu, Xiao-Bai Mo	Mechanical synthesis of a unification algorithm in PowerEpsilon.	COMPSAC	1995	DBLP DOI BibTeX RDF	PowerEpsilon, constructive type theory, proof development system, formal program development system, formal specification, specification, programming, theorem proving, programming theory, type theory, unification algorithm, mechanical synthesis
20	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
20	Tobias Nipkow, Christian Prehofer	Type Checking Type Classes.	POPL	1993	DBLP DOI BibTeX RDF	Haskell
20	Hans-Juergen Boehm	Type Inference in the Presence of Type Abstraction.	PLDI	1989	DBLP DOI BibTeX RDF
20	Matthias Felleisen	Adding types to untyped languages.	TLDI	2010	DBLP DOI BibTeX RDF	software contracts, type systems, scheme
20	David Zook, Emir Pasalic, Beata Sarna-Starosta	Typed Datalog.	PADL	2009	DBLP DOI BibTeX RDF	Meta-compilation, Type System, Datalog, Deductive Databases
20	Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui	Types, structures and theories in NKI.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	natural object, ontology, type, concept, individual
20	Suad Alagic, Mark Royer	Genericity in Java: persistent and database systems implications.	VLDB J.	2008	DBLP DOI BibTeX RDF	Java, Reflection, Transactions, Object-oriented databases, Type systems, Virtual platforms, Object persistence
20	Adriaan Moors, Frank Piessens, Martin Odersky	Generics of a higher kind.	OOPSLA	2008	DBLP DOI BibTeX RDF	higher-kinded types, higher-order genericity, type constructor polymorphism, Scala
20	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
20	Alain Frisch	OCaml + XDuce.	ICFP	2006	DBLP DOI BibTeX RDF	CDuce, XDuce, regular expression types, XML, type inference, OCaml
20	Alaaeddine Fellah, John Mullins	Admissible Interference by Typing for Cryptographic Protocols.	ICICS	2005	DBLP DOI BibTeX RDF	Admissible interference, Type systems, Process Algebra, Cryptographic Protocols, Security Properties
20	Xinming Tan, Yingxu Wang 0001, Cyprian F. Ngolah	Specification of the RTPA Grammar and Its Recognition.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	descriptive mathematics, grammar recognition, LL(k), type checker, software engineering, formal methods, Cognitive informatics, parser, system behaviors, human behaviors, RTPA
20	Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst	Converting java programs to use generic libraries.	OOPSLA	2004	DBLP DOI BibTeX RDF	JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
20	Andrei Sabelfeld, Andrew C. Myers	A Model for Delimited Information Release.	ISSS	2003	DBLP DOI BibTeX RDF	Computer security, information flow, security policies, confidentiality, noninterference, declassification, security-type systems
20	Ferruccio Damiani	Rank 2 intersection types for modules.	PPDP	2003	DBLP DOI BibTeX RDF	type inference, separate compilation, principal typings
20	Atsushi Ohori, Kiyoshi Yamatodani	An interoperable calculus for external object access.	ICFP	2002	DBLP DOI BibTeX RDF	record polymorphism, Java, interoperability, ML, type inference, object-oriented language
20	J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew	From system F to typed assembly language.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion
19	Edward A. Lee, Yuhong Xiong	System-Level Types for Component-Based Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
19	Peter Buneman, Benjamin C. Pierce	Union Types for Semistructured Data.	DBPL	1999	DBLP DOI BibTeX RDF
19	Vasco Brattka, Klaus Weihrauch, Xizhong Zheng	Approaches to Effective Semi-continuity of Real Functions.	COCOON	1998	DBLP DOI BibTeX RDF
19	Juan Chen 0002, 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
19	Jingjing Liu 0007, Nicholas J. Belkin	Personalizing information retrieval for multi-session tasks: the roles of task stage and task type.	SIGIR	2010	DBLP DOI BibTeX RDF	contextual factors in ir, task stage, personalization, task type, dwell time
19	Jun-Hyung Park, Hyun Suk Lee, Ju Seok Jeong, Tae-Jeong Jang	Realization of a vibro-tactile glove type mouse.	VRST	2009	DBLP DOI BibTeX RDF	HID (human interface device), glove type mouse, vibro-tactile display, haptics
19	Serguei A. Mokhov, Joey Paquet, Xin Tong 0002	A type system for hybrid intensional-imperative programming support in GIPSY.	C3S2E	2009	DBLP DOI BibTeX RDF	context, type system, intensional programming, imperative programming, general intensional programming system (GIPSY)
19	Hiroshi Unno 0001, Naoki Kobayashi 0001	Dependent type inference with interpolants.	PPDP	2009	DBLP DOI BibTeX RDF	type inference, dependent types
19	Hicham Chaoui, Wail Gueaieb	Type-2 Fuzzy Logic Control of a Flexible-Joint Manipulator.	J. Intell. Robotic Syst.	2008	DBLP DOI BibTeX RDF	Intelligent control, Robotic manipulator, Uncertain systems, Type-2 fuzzy logic, Flexible joints
19	Futoshi Iwama, Naoki Kobayashi 0001	A New Type System for JVM Lock Primitives.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
19	Michael Backes 0001, Catalin Hritcu, Matteo Maffei	Type-checking zero-knowledge.	CCS	2008	DBLP DOI BibTeX RDF	type systems, language-based security, authorization policies, zero-knowledge protocols
19	Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi	Towards a Type Discipline for Answer Set Programming.	TYPES	2008	DBLP DOI BibTeX RDF	many sorted interpretation, type checking, Answer set programming, grounding
19	Michal Wegiel, Chandra Krintz	XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination.	PLDI	2008	DBLP DOI BibTeX RDF	class loading, managed runtimes, type-safe, parallel, synchronization, garbage collection, shared memory, transparent, interprocess communication
19	Marco Comini, Ferruccio Damiani, Samuel Vrech	On Polymorphic Recursion, Type Systems, and Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF	Type Inference Algorithm, Principal Typing
19	Ying Gao, Dayou Liu, Chengmin Sun, He Liu	A Two-Stage Clustering Algorithm for Multi-type Relational Data.	SNPD	2008	DBLP DOI BibTeX RDF	multi-type relational data, two-stage method, clustering algorithm
19	Zi-Jin Tao, Zheng-Hu Gong, Zhen-Zheng OuYang, Jin-Yi Xu	Two New Push-Pull Balanced Data Dissemination Algorithms for Any-Type Queries in Large-Scale Wireless Sensor Networks.	ISPAN	2008	DBLP DOI BibTeX RDF	push-pull balance, any-type query, wireless sensor networks, data dissemination, hotspot
19	Marina Polishchuk, Ben Liblit, Chloë W. Schulze	Dynamic heap type inference for program understanding and debugging.	POPL	2007	DBLP DOI BibTeX RDF	dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection
19	Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly	System F with type equality coercions.	TLDI	2007	DBLP DOI BibTeX RDF	advanced type features, typed intermediate language
19	Christian Skalka	Type safe dynamic linking for JVM access control.	PPDP	2007	DBLP DOI BibTeX RDF	static type analysis, language-based security, bytecode verification, dynamic linking
19	Nugraha P. Utama, Atsushi Takemoto, Yasuharu Koike, Katsuki Nakamura	Serial Processing of Emotional Type and Intensity: Evidence from an ERP Study.	ICONIP (2)	2007	DBLP DOI BibTeX RDF	P100, N170, emotion type, face, BCI, intensity
19	Hooman Tahayori, Andrea Visconti, Giovanni Degli Antoni	Email Granulation Based On Augmented Interval Type-2 Fuzzy Set Methodologies.	GrC	2007	DBLP DOI BibTeX RDF	distributed- interval type-2 fuzzy set, spam, centroid, general interval
19	Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip	An operational semantics and type safety prooffor multiple inheritance in C++.	OOPSLA	2006	DBLP DOI BibTeX RDF	semantics, C++, type safety, multiple inheritance
19	Kai Liu, Yufeng Shi	Razumikhin-Type Theorems of Infinite Dimensional Stochastic Functional Differential Equations.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	Razumikhin-type theorem, Stochastic functional differential equations in infinite dimensions, Lyapunov function
19	Cormac Flanagan	Hybrid type checking.	POPL	2006	DBLP DOI BibTeX RDF	dynamic checking, type systems, contracts, static checking
19	Ralf Lämmel, Klaus Ostermann	Software extension and integration with type classes.	GPCE	2006	DBLP DOI BibTeX RDF	family polymorphism, framework integration, object adapter, software extension, tyranny of the dominant decomposition, haskell, type classes, software integration, multiple dispatch, expression problem
19	Hiroshi Unno 0001, Naoki Kobayashi 0001, Akinori Yonezawa	Combining type-based analysis and model checking for finding counterexamples against non-interference.	PLAS	2006	DBLP DOI BibTeX RDF	model checking, type system, non-interference
19	Yosihiro Yuse, Atsushi Igarashi	A modal type system for multi-level generating extensions with persistent code.	PPDP	2006	DBLP DOI BibTeX RDF	time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
19	Hong-Dar Lin, Singa Wang Chiu	Computer-Aided Vision System for MURA-Type Defect Inspection in Liquid Crystal Displays.	PSIVT	2006	DBLP DOI BibTeX RDF	MURA-type defects, Hotelling T2 statistics, Ant colony algorithm, Computer vision system, Back propagation network
19	Seyed Mehdi Sadat-Hashemi, Anoshirvan Kazemnejad, Caro Lucas, Kambiz Badie	Predicting the type of pregnancy using artificial neural networks and multinomial logistic regression: a comparison study.	Neural Comput. Appl.	2005	DBLP DOI BibTeX RDF	Multinomial logistic regression, Type of pregnancy, Neural networks, Prediction
19	Robert Harper 0001, Frank Pfenning	On equivalence and canonical forms in the LF type theory.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	type theory, Logical frameworks
19	P. Ensafi, Hamid R. Tizhoosh	Type-2 Fuzzy Image Enhancement.	ICIAR	2005	DBLP DOI BibTeX RDF	Locally adaptive techniques, Fuzzy image enhancement, Type-2 Fuzzy Sets
19	Rami G. Mukhtar, Stephen V. Hanly, Moshe Zukerman, Fraser Cameron	A Model for the Performance Evaluation of Packet Transmissions Using Type-II Hybrid ARQ over a Correlated Error Channel.	Wirel. Networks	2004	DBLP DOI BibTeX RDF	Type-II Hybrid ARQ, incremental redundancy, correlated error channels, packet transmission latency and loss, wireless data networks
19	Corneliu Popeea, Wei-Ngan Chin	A type system for resource protocol verification and its correctness proof.	PEPM	2004	DBLP DOI BibTeX RDF	dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis
19	Daniel B. Dalan	New Extremal Type I Codes of Lengths 40, 42, and 44.	Des. Codes Cryptogr.	2003	DBLP DOI BibTeX RDF	extremal Type I codes
19	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
19	Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Pure patterns type systems.	POPL	2003	DBLP DOI BibTeX RDF	Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
19	Francisco Gutiérrez, Blas C. Ruiz	Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems.	ICALP	2003	DBLP DOI BibTeX RDF	pure type systems, expansion postponement, Track: B, cut elimination, sequent calculi
19	Martin Hirzel, Amer Diwan, Johannes Henkel	On the usefulness of type and liveness accuracy for garbage collection and leak detection.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	liveness accuracy, type accuracy, program analysis, leak detection, Conservative garbage collection
19	Christopher League, Zhong Shao, Valery Trifonov	Type-preserving compilation of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	object encodings, Java, type systems, typed intermediate languages
19	Soonhak Kwon, Heuisu Ryu	Efficient Bit Serial Multiplication Using Optimal Normal Bases of Type II in GF (2m).	ISC	2002	DBLP DOI BibTeX RDF	bit serial multiplication, optimal normal basis of type II, Finite field, dual basis
19	Alexander V. Shafarenko	Coercion as homomorphism: type inference in a system with subtyping and overloading.	PPDP	2002	DBLP DOI BibTeX RDF	type inference, subtyping, overloading, data-parallel programming, array processing
19	Jiawang Nie, Ya-Xiang Yuan	A Predictor-Corrector Algorithm for QSDP Combining Dikin-Type and Newton Centering Steps.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	quadratic term, predictor step, corrector step, Dikin-type step, Newton centering step, potential function, semi-definite programming, central path
19	Ju-Sung Kang, Okyeon Yi, Dowon Hong, Hyun Sook Cho	Pseudorandomness of MISTY-Type Transformations and the Block Cipher KASUMI.	ACISP	2001	DBLP DOI BibTeX RDF	(Super-)Pseudorandom permutation ensemble, MISTY-type transformation, KASUMI, Distinguisher
19	Marc Joye, Jean-Jacques Quisquater	On Rabin-Type Signatures.	IMACC	2001	DBLP DOI BibTeX RDF	Rabin-type systems, signature forgeries, digital signatures, factorization
19	Isak Jonsson, Bo Kågström	Parallel Triangular Sylvester-Type Matrix Equation Solvers for SMP Systems Using Recursive Blocking.	PARA	2000	DBLP DOI BibTeX RDF	Sylvester-type matrix equations, recursion, superscalar, level 3 BLAS, GEMM-based, automatic blocking
19	Stephen N. Freund, John C. Mitchell	The type system for object initializatiion in the Jave bytecode language.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	bytecode languages, object initialization, Java, type checking
19	Thorsten Altenkirch	Extensional Equality in Intensional Type Theory.	LICS	1999	DBLP DOI BibTeX RDF	Type Theory, categorical models
19	Daniel Fridlender	An Interpretation of the Fan Theorem in Type Theory.	TYPES	1998	DBLP DOI BibTeX RDF	fan theorem, inductive bar, type theory
19	Raymond K. Wong 0001, H. Lewis Chau	Method Dispatching and Type Safety for Objects with Multiple Roles.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	objects with roles, type calculus, object-oriented databases
19	Takao Miura, Isamu Shioya	Mining Type Schemes in Databases.	DEXA	1996	DBLP DOI BibTeX RDF	Type Schemes, UNIFY algorithm, Scheme Evolution, Data Mining, Knowledge-Based Systems, Knowledge Acquisition
19	Pascal Fradet, Daniel Le Métayer	Type Checking for a Multiset Rewriting Language.	LOMAPS	1996	DBLP DOI BibTeX RDF	multiset rewriting, verification, invariant, graph grammars, type checking
19	Masayoshi Aritsugi, Akifumi Makinouchi	Design and Implementation of Multiple Type Objects in a Persistent Programming Language.	COMPSAC	1995	DBLP DOI BibTeX RDF	persistent programming languages, object-oriented databases multiple type objects, data models