Search results for "type"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu	Type Checking Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal model, Choreography, Type checking, WS-CDL
23	Martin Sulzmann	Extracting programs from type class proofs.	PPDP	2006	DBLP DOI BibTeX RDF	proofs are programs principle, overloading, type classes
23	Robin Abraham, Martin Erwig	Type inference for spreadsheets.	PPDP	2006	DBLP DOI BibTeX RDF	type inference, templates, end-user software engineering
23	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
23	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	2006	DBLP DOI BibTeX RDF	representation types, type-indexed programming, GADT, datatype-generic programming
23	Yafen Li, Wuu Yang, Ching-Wei Huang	Preventing type flaw attacks on security protocols with a simplified tagging scheme.	ISICT	2004	DBLP DOI BibTeX RDF	type flaw, network security, tagging, security protocol, strand space
23	Sébastien Carlier, J. B. Wells	Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.	PPDP	2004	DBLP DOI BibTeX RDF	expansion variables, type inference, lambda-calculus, intersection types
23	Frank Tip, T. B. Dinesh	A slicing-based approach for locating type errors.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	semantics-based tool generation, abstract interpretation, program slicing, type-checking, static semantics
23	I. Guilfanov	A Simple Type System for Program Reengineering.	WCRE	2001	DBLP DOI BibTeX RDF	type system, decompilation, disassembly
23	Giorgio Terracina, Domenico Ursino	A Study on the Interaction Between Interscheme Property Extraction and Type Conflict Resolution.	IDEAS	2000	DBLP DOI BibTeX RDF	interscheme property extraction, type conflict resolution, synonymies, homonymies, semi-automatic approach, computation termination, semantics, distributed databases, transformations, heterogeneous databases, polynomial complexity, iterative computation
23	Michel Leclère	Reasoning with Type Definitions.	ICCS	1997	DBLP DOI BibTeX RDF	type definitions, atomic form, logical interpretation, projection, contraction, expansion
23	Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler	Type Classes in Haskell.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	functional programming, Haskell, Haskell, types, type classes
23	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
23	Gerard Ellis, Fritz Lehmann	Exploiting the Induced Order on Type-Labeled Graphs for Fast Knowledge Retrieval.	ICCS	1994	DBLP DOI BibTeX RDF	type lattice, bit string, skeleton product, fret product, order theory, information retrieval, encoding, knowledge base, deductive database, conceptual graphs, poset, graph database, subsumption, subgraph isomorphism
23	Yuncai Liu, Thomas S. Huang	Vehicle-Type Motion Estimation From Multi-Frame Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	vehicle type motion estimation, multiframe images, forward translation, constant screw motion, motion estimation, image sequences, image sequences, linear algorithm
22	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF
22	Jens Teubner	Scalable XQuery type matching.	EDBT	2008	DBLP DOI BibTeX RDF
22	Özge Uncu, I. Burhan Türksen	Discrete Interval Type 2 Fuzzy System Models Using Uncertainty in Learning Parameters.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
22	Frank Chung-Hoon Rhee, Byung-In Choi	Interval Type-2 Fuzzy Membership Function Design and its Application to Radial Basis Function Neural Networks.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
22	Naoki Kobayashi 0001	A New Type System for Deadlock-Free Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
22	Alexei Kopylov	Dependent Intersection: A New Way of Defining Records in Type Theory.	LICS	2003	DBLP DOI BibTeX RDF
22	Christopher A. Stone, Robert Harper 0001	Deciding Type Equivalence with Singleton Kinds.	POPL	2000	DBLP DOI BibTeX RDF
22	Karl Crary, Stephanie Weirich	Flexible Type Analysis.	ICFP	1999	DBLP DOI BibTeX RDF
22	You-Chin Fuh, Prateek Mishra	Type Inference with Subtypes.	ESOP	1988	DBLP DOI BibTeX RDF
22	Alma Isabel Martinez, Oscar Castillo 0001, Mario García Valdez	Comparative Study of Type-1 and Type-2 Fuzzy Systems Optimized by Hierarchical Genetic Algorithms.	Soft Computing for Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Mamdani Fuzzy Inference System, Sugeno Fuzzy Inference System, Interval Type-2 Fuzzy Inference System, Hierarchical Genetic Algorithms
22	Tapan P. Bagchi	Models for software defects and testing strategies.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	SW testing, imperfect inspection, type I and type II errors, software engineering, defect modeling
22	Benoît Montagu, Didier Rémy	Modeling abstract types in modules with open existential types.	POPL	2009	DBLP DOI BibTeX RDF	linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
22	Martin Plümicke	Intersection types in Java.	PPPJ	2008	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
22	Makoto Tatsuta	Types for Hereditary Permutators.	LICS	2008	DBLP DOI BibTeX RDF	hereditary permutator, infinite lambda-calculus, stream type, intersection type
22	Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani	Typing communicating component assemblages.	GPCE	2008	DBLP DOI BibTeX RDF	assemblage error, component types, process types, type interference, components, type system, communication systems
22	Mark P. Jones, Iavor S. Diatchki	Language and program design for functional dependencies.	Haskell	2008	DBLP DOI BibTeX RDF	type functions, relational databases, haskell, type inference, functional dependencies, qualified types
22	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	An Inference Algorithm for Guaranteeing Safe Destruction.	LOPSTR	2008	DBLP DOI BibTeX RDF	type-based analysis, memory management, type inference
22	Urszula Wybraniec-Skardowska	Meaning and Interpretation. I.	Stud Logica	2007	DBLP DOI BibTeX RDF	Token-type distinction, token-syntax, type-syntax, denotation, synonymy unambiguity, ambiguity, meaning, referring
22	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization and concretization.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
22	Martín Abadi, Cormac Flanagan, Stephen N. Freund	Types for safe locking: Static race detection for Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type system, Concurrent programs, type inference, race conditions
22	Keiko Nakata 0001, Jacques Garrigue	Recursive modules for programming.	ICFP	2006	DBLP DOI BibTeX RDF	applicative functors, the expression problem, type systems, type inference, recursive modules
22	Walid Taha, Michael Florentin Nielsen	Environment classifiers.	POPL	2003	DBLP DOI BibTeX RDF	type systems, modal logic, type safety, linear temporal logic, multi-stage programming
22	Giorgio Ghelli	Complexity of Kernel Fun Subtype Checking.	ICFP	1996	DBLP DOI BibTeX RDF	polymorphism, subtyping, type theory, type checking
22	John T. Rickard, Janet Aisbett, Greg Gibbon	Fuzzy Subsethood for Fuzzy Sets of Type-2 and Generalized Type- n.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
22	Denisse Hidalgo, Oscar Castillo 0001, Patricia Melin	Type-1 and Type-2 Fuzzy Inference Systems as Integration Methods in Modular Neural Networks for Multimodal Biometry and Its Optimization with Genetic Algorithms.	Soft Computing for Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF
22	Gerardo M. Mendez	Interval Type-1 Non-singleton Type-2 TSK Fuzzy Logic Systems Using the Hybrid Training Method RLS-BP.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
22	Shang-Ming Zhou, Robert I. John, Francisco Chiclana, Jonathan M. Garibaldi	New Type-2 Rule Ranking Indices for Designing Parsimonious Interval Type-2 Fuzzy Logic Systems.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
22	Gerardo M. Mendez, María de los Angeles Hernandez M.	Interval Type-1 Non-Singleton Type-2 TSK Fuzzy Logic Systems Using the Hybrid Training Method RLS-BP.	FOCI	2007	DBLP DOI BibTeX RDF
22	Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey	Principal Type Inference for GHC-Style Multi-parameter Type Classes.	APLAS	2006	DBLP DOI BibTeX RDF
22	Martin Giese	A Calculus for Type Predicates and Type Coercion.	TABLEAUX	2005	DBLP DOI BibTeX RDF
22	Hideo Wada, K. Ishil, Masakazu Fukagawa, H. Murayama, Shun Kawabe	High-speed processing schemes for summation type and iteration type vector instructions on Hitachi supercomputer S-820 system.	ICS	1988	DBLP DOI BibTeX RDF
22	Hiroshi Yoshida, Katsuhisa Horimoto, Hirokazu Anai	Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Lindenmayer system with interactions, cell-type diversity, quantifier elimination, algebraic approach
22	Tetsuo Kamina, Tetsuo Tamai	Lightweight dependent classes.	GPCE	2008	DBLP DOI BibTeX RDF	class-based languages, dependent classes, mutually recursive extensions, generics, type safety
22	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	Boxy types: inference for higher-rank types and impredicativity.	ICFP	2006	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
22	Koji Kagawa	Polymorphic variants in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	polymorphic variants, Haskell, extensibility, type classes
22	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
22	Olha Shkaravska	Types with semantics: soundness proof assistant.	MERLIN	2005	DBLP DOI BibTeX RDF	type system, assertion, automated theorem proving, program logic
22	David Walker 0001, Karl Crary, J. Gregory Morrisett	Typed memory management via static capabilities.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	type-directed compilation, typed intermediate languages, certified code, region-based memory management
21	Julien Demouth, Olivier Devillers, Marc Glisse, Xavier Goaoc	Helly-type theorems for approximate covering.	SCG	2008	DBLP DOI BibTeX RDF	3d visibility, approximate covering, helly-type theorems, lp-type problems
21	Roxana Jiménez Conteras, Marley Maria Bernardes Rebuzzi Vellasco, Ricardo Tanscheit	Hierarchical Type-2 Neuro-Fuzzy BSP Model.	HIS	2008	DBLP DOI BibTeX RDF	Type-2 fuzzy inference systems, interval type-2 fuzzy sets, hierarchical neuro-fuzzy models, uncertainties
21	Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapron	Parallel computable higher type functionals (Extended Abstract)	FOCS	1993	DBLP DOI BibTeX RDF	recursion-theoretic characterisations, parallel computable higher type functionals, parallel complexity classes, higher type classes, machine-theoretic characterisations, proof-theoretic characterisations
21	Kyungsook Y. Lee, Hyunsoo Yoon	Indirect Star-Type Networks for Large Multiprocessor Systems.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	star network II, large multiprocessor systems, indirect star-type networks, star networks I, star-delta network, star-delta network, unfolding scheme, recursive property, destination tag routing scheme, indirect cube-type networks, performance evaluation, performance, multiprocessor interconnection networks, n-cube
21	Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller	A foundation for flow-based program matching: using temporal logic and model checking.	POPL	2009	DBLP DOI BibTeX RDF	program matching, model checking, program transformation, ctl, bug finding
21	Farooq Butt	Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
21	Charles D. Norton	The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
21	Michael Hanus	Parametric Order-Sorted Types in Logic Programming.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
21	Jeroen Keijzers, Elke den Ouden, Yuan Lu	Usability benchmark study of commercially available smart phones: cell phone type platform, PDA type platform and PC type platform.	Mobile HCI	2008	DBLP DOI BibTeX RDF	design, user interface, usability evaluation, smart phone
21	Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster	Mixing type checking and symbolic execution.	PLDI	2010	DBLP DOI BibTeX RDF	mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms
21	Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama	Type relaxed weaving.	AOSD	2010	DBLP DOI BibTeX RDF	around advice, aspect-oriented programming, type safety
21	Mosé Galluzzo, Bartolomeo Cosenza	Control of a Non-isothermal CSTR by Type-2 Fuzzy Logic Controllers.	WILF	2009	DBLP DOI BibTeX RDF	Type-2 fuzzy logic controller, Non-isothermal CSTR, Bifurcation, Non-linear system
21	Irfan Ahmed 0001, Kyung-suk Lhee, Hyunjung Shin, Manpyo Hong	On Improving the Accuracy and Performance of Content-Based File Type Identification.	ACISP	2009	DBLP DOI BibTeX RDF	file type identification, byte frequency distribution, cluster analysis, Mahalanobis distance, cosine similarity, linear discriminant
21	Martin Hofmann 0001, Dulma Rodriguez	Efficient Type-Checking for Amortised Heap-Space Analysis.	CSL	2009	DBLP DOI BibTeX RDF	Resource analysis, Semantics, OOP, Type systems
21	Zofia Kostrzycka, Marek Zaionc	Asymptotic Densities in Logic and Type Theory.	Stud Logica	2008	DBLP DOI BibTeX RDF	asymptotic density of tautologies, probabilistic methods in logic and type theory, propositional logic
21	Gwenaël Delaval, Alain Girault, Marc Pouzet	A type system for the automatic distribution of higher-order synchronous dataflow programs.	LCTES	2008	DBLP DOI BibTeX RDF	distribution, functional programming, type systems, synchronous programming
21	Tachio Terauchi	A Type System for Observational Determinism.	CSF	2008	DBLP DOI BibTeX RDF	Security, Linear Programming, Programming Language, Type System
21	Daan Leijen	HMF: simple type inference for first-class polymorphism.	ICFP	2008	DBLP DOI BibTeX RDF	first-class polymorphism, type inference
21	Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis	Type-preserving compilation for large-scale optimizing object-oriented compilers.	PLDI	2008	DBLP DOI BibTeX RDF	object-oriented compilers, type-preserving compilation
21	Li-Wei Lee, Shyi-Ming Chen	Fuzzy Interpolative Reasoning Using Interval Type-2 Fuzzy Sets.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Fuzzy interpolative reasoning, interval type-2 fuzzy sets, ranking values
21	Jan Van den Bussche, Stijn Vansummeren	Polymorphic type inference for the named nested relational calculus.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	named nested relational calculus, typability, complexity, Type inference
21	Bart Sautois, Stephen R. Soffe, Wen-Chang Li, Alan Roberts	Role of type-specific neuron properties in a spinal cord motor network.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Tadpole model, Type-specificity, NMDA, CPG, Swimming
21	Patrick Eugster	Type-based publish/subscribe: Concepts and experiences.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Java, distribution, Abstraction, generics, reflection, publish/subscribe, type
21	Long Thanh Ngo, Long The Pham, Phuong Hoang Nguyen, Kaoru Hirota	On Approximate Representation of Type-2 Fuzzy Sets Using Triangulated Irregular Network.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Delaunay algorithm, type-2 fuzzy sets, TIN
21	Chris Andreae, James Noble 0001, Shane Markstrum, Todd D. Millstein	A framework for implementing pluggable type systems.	OOPSLA	2006	DBLP DOI BibTeX RDF	JavaCOP, pluggable type systems
21	Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn	Simple unification-based type inference for GADTs.	ICFP	2006	DBLP DOI BibTeX RDF	type inference, generalized algebraic data types
21	Wolfgang Fallot-Burghardt, Morten Fjeld, C. Speirs, S. Ziegenspeck, Helmut Krueger, Thomas Läubli	Touch&Type: a novel pointing device for notebook computers.	NordiCHI	2006	DBLP DOI BibTeX RDF	Touch&Type™, touch pad, touch sensitive area, input device, keyboard, comparative study, notebook computer
21	Lingxiao Jiang, Zhendong Su 0001	Osprey: a practical type system for validating dimensional unit correctness of C programs.	ICSE	2006	DBLP DOI BibTeX RDF	measurement units, type systems, Gaussian elimination, dimensional analysis, constraint-based analysis
21	Swaroop Sridhar, Jonathan S. Shapiro	Type inference for unboxed types and first class mutability.	PLOS	2006	DBLP DOI BibTeX RDF	BitC, polymorphism, type inference, mutability
21	Healfdene Goguen	A syntactic approach to eta equality in type theory.	POPL	2005	DBLP DOI BibTeX RDF	beta-eta equality, decidability, type checking, logical frameworks
21	Cong-Cong Xing, Boumediene Belkhouche	The movable point problem and its resolution in object type graphs.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	type, object-oriented languages, subtyping
21	Tobias Lindahl, Konstantinos Sagonas	TypEr: a type annotator of Erlang code.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, principal typings, constraint-based type inference
21	Lawrence C. Paulson	Organizing Numerical Theories Using Axiomatic Type Classes.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle
21	Manish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August	Facilitating reuse in hardware models with enhanced type inference.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	component overloading, polymorphism, type inference, component reuse, liberty simulation environment (LSE)
21	Danny Dubé, Marc Feeley	A demand-driven adaptive type analysis.	ICFP	2002	DBLP DOI BibTeX RDF	static analysis, type analysis, demand-driven analysis
21	Alma Riska, Evgenia Smirni	M/G/1-Type Markov Processes: A Tutorial.	Performance	2002	DBLP DOI BibTeX RDF	M/G/1-type processes, Markov chains, matrix analytic method
21	Amie L. Souter, Lori L. Pollock	Type Infeasible Call Chains.	SCAM	2001	DBLP DOI BibTeX RDF	Call chains, Type Infeasibility
21	Benjamin C. Pierce, David N. Turner	Local type inference.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	polymorphism, type inference, subtyping
21	Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger	How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?	TOOLS (32)	1999	DBLP DOI BibTeX RDF	pragmatical class methods, static type safety, language design, covariance, binary methods
21	Martin Müller, Susumu Nishimura	Type Inference for First-Class Messages with Feature Constraints.	ASIAN	1998	DBLP DOI BibTeX RDF	first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference
21	P. Greve, J. Hoffman, R. E. Smith	Using Type Enforcement to Assure a Configurable Guard.	ACSAC	1997	DBLP DOI BibTeX RDF	type enforcement, configurable guard, guard systems, administrator configurable guard, input channel, connected output channel, assured processes, assurance arguments, operational guards, pipeline, electronic mail, electronic mail, trusted components
20	Chia-Feng Juang, Yu-Wei Tsao	A Type-2 Self-Organizing Neural Fuzzy System and Its FPGA Implementation.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
20	Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu	A Rewriting Logic Approach to Type Inference.	WADT	2008	DBLP DOI BibTeX RDF
20	Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati	A type system for preventing data races and deadlocks in the java virtual machine language: 1.	LCTES	2007	DBLP DOI BibTeX RDF	SafeJava, deadlocks, data races, ownership types
20	Christopher Lynch, Hani Hagras, Victor Callaghan	Parallel Type-2 Fuzzy Logic Co-Processors for Engine Management.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
20	Nesrine Baklouti, Adel M. Alimi	Motion Planning in Dynamic and Unknown Environment Using an Interval Type-2 TSK Fuzzy Logic Controller.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
20	Kenneth L. Knowles, Cormac Flanagan	Type Reconstruction for General Refinement Types.	ESOP	2007	DBLP DOI BibTeX RDF