The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase M/G/1-type (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1948-1958 (19) 1959-1960 (16) 1961-1962 (15) 1963-1964 (20) 1965-1966 (25) 1967-1968 (32) 1969-1970 (22) 1971-1972 (33) 1973 (28) 1974 (37) 1975 (31) 1976 (46) 1977 (62) 1978 (59) 1979 (56) 1980 (77) 1981 (57) 1982 (86) 1983 (120) 1984 (138) 1985 (126) 1986 (167) 1987 (216) 1988 (307) 1989 (257) 1990 (340) 1991 (344) 1992 (360) 1993 (391) 1994 (490) 1995 (519) 1996 (537) 1997 (636) 1998 (760) 1999 (994) 2000 (1194) 2001 (1335) 2002 (1551) 2003 (1705) 2004 (2332) 2005 (2740) 2006 (3111) 2007 (3600) 2008 (3569) 2009 (2800) 2010 (1460) 2011 (1332) 2012 (1398) 2013 (1466) 2014 (1599) 2015 (1634) 2016 (1660) 2017 (1830) 2018 (1959) 2019 (2311) 2020 (2396) 2021 (2496) 2022 (2474) 2023 (2469) 2024 (609)
Publication types (Num. hits)
article(26775) book(46) data(8) incollection(412) inproceedings(30682) phdthesis(504) proceedings(26)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26231 occurrences of 9820 keywords

Results
Found 58454 publication records. Showing 58453 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
88Daniel Leivant Polymorphic Type Inference. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
60Daniel Leivant Structural Semantics for Polymorphic Data Types. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
52Didier Rémy, Boris Yakobowski From ML to MLF: graphic type constraints with efficient type inference. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
51Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
51Todd B. Knoblock, Jakob Rehof Type elaboration and subtype completion for Java bytecode. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language
51Samantha Type Implementation of an optimising object-oriented programming language compiler for embedded applications. Search on Bibsonomy 2001   RDF
51Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier Type invariants for Haskell. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF type families, type functions, haskell, type checking
50Didier Rémy Simple, partial type-inference for System F based on type-containment. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type containment, type reconstruction, polymorphism, type inference, System F, elaboration
49Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller Modular type classes. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type systems, type inference, modules, type classes
49François Pottier From ML type inference to stratified type inference. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Leonid A. Kalinichenko Compositional Specification Calculus for Information Systems Development. Search on Bibsonomy ADBIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development
47Woei Wan Tan, Dongrui Wu Design of Type-Reduction Strategies for Type-2 Fuzzy Logic Systems using Genetic Algorithms. Search on Bibsonomy Advances in Evolutionary Computing for System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Dieter Nazareth Specifying Type Systems. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF polymorphic type system, type inference, qualified types, axiomatic specification
45Wolfgang Jeltsch Generic record combinators with static type checking. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
45Suad Alagic Type-Checking OQL Queries In the ODMG Type Systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ODMG standard, Java, C++, type systems, parametric polymorphism, OQL
45Tom Schrijvers, Maurice Bruynooghe Polymorphic algebraic data type reconstruction. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
44Martin St-Hilaire, André Longtin Comparison of Coding Capabilities of Type I and Type II Neurons. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Type I neuron, Type II neuron, Morris Lecar model, electric fish, bifurcation theory, information theory, noise, neural coding, phase locking
44Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst Practical pluggable types for java. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
43Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
43Didier Rémy MLF for everyone (users, implementers, and designers). Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
43Mike Beaven, Ryan Stansifer Explaining Type Errors In Polimorphic Languages. Search on Bibsonomy LOPLAS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF polymorphic type reconstruction, type errors
41Georg Neis, Derek Dreyer, Andreas Rossberg Non-parametric parametricity. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations
41Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich PolyAML: a polymorphic aspect-oriented functional programming language. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
41Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin, Antonio Rodríguez Díaz Building Fuzzy Inference Systems with a New Interval Type-2 Fuzzy Logic Toolbox. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interval Type-2 Fuzzy Inference Systems, Interval Type-2 Fuzzy Logic Toolbox, Interval Type-2 Membership Functions, Footprint of Uncertainty
41Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin, Luis G. Martínez, S. Escobar, I. Camacho Building Fuzzy Inference Systems with the Interval Type-2 Fuzzy Logic Toolbox. Search on Bibsonomy Analysis and Design of Intelligent Systems using Soft Computing Techniques The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interval Type-2 Fuzzy Inference Systems, Interval Type-2 Fuzzy Logic Toolbox, Interval Type-2 Membership Functions, Footprint of Uncertainty
41Daniel Smith 0003, Robert Cartwright Java type inference is broken: can we fix it? Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
41Geoffrey Washburn, Stephanie Weirich Good advice for type-directed programming aspect-oriented programming and extensible generic functions. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF open extension, type-directed programming, aspect-oriented programming, generic programming, type analysis, expression problem
41Matthias Neubauer, Peter Thiemann 0001 Discriminative sum types locate the source of type errors. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF polymorphism, type inference, type errors
40Satish Chandra 0001, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík Type inference for locality analysis of distributed data structures. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF equality-based constraint system, type inference, unification, x10, partitioned global address space
40Syrine Tlili, Mourad Debbabi Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Type and effect analysis, C language, Type safety, Memory safety
40George Kuan, David MacQueen Efficient type inference using ranked type variables. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algorithm W, compilers, functional programming, type inference, type checking, standard ML
39Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones Associated type synonyms. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF associated types, type functions, type inference, generic programming, type classes
39Alma Riska, Evgenia Smirni, Gianfranco Ciardo An aggregation-based method for the exact analysis of a class of GI/G/1-type processes. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF GI/G/1-type processess, GI/M/1-type processes, M/G/1-type processes, matrix-analytic techniques, stochastic complementation, Markov chains, reliability analysis
39Juan Carlos Guzmán, Patricia Melin, German Prado-Arechiga Optimization for Type-1 and Interval Type-2 Fuzzy Systems for the Classification of Blood Pressure Load Using Genetic Algorithms. Search on Bibsonomy Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
39Dongrui Wu Two Differences Between Interval Type-2 and Type-1 Fuzzy Logic Controllers: Adaptiveness and Novelty. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
39Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers Searching for type-error messages. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF seminal, type-inference, type-checking, objective Caml, error messages
39Bastiaan Heeren, Jurriaan Hage Type Class Directives. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type error messages, domain-specific programming, directives, type classes
38Chieri Saito, Atsushi Igarashi Self type constructors. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MyType, type constructor polymorphism, generics, binary methods
38Derek Dreyer Recursive type generativity. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF generativity, type systems, recursion, abstract data types, effect systems, recursive modules
38Valery Trifonov, Bratin Saha, Zhong Shao Fully reflexive intensional type analysis. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF runtime type dispatch, typed intermediate language, certified code
38Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow Associated types with class. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes
37Atsushi Ohori, Nobuaki Yoshida Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Martin Sulzmann, Meng Wang 0002 Aspect-oriented programming with type classes. Search on Bibsonomy FOAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type class resolution, type-directed weaving
37Adam Chlipala, Leaf Petersen, Robert Harper 0001 Strict bidirectional type checking. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF strict logic, type inference, type theory
37Pablo E. Martínez López, John Hughes Principal type specialisation. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program specialisation, type based transformation, type specialisation, qualified types
36Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann Type checking with open type functions. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type families, type functions, Haskell, type checking
36Christian Wagner 0002, Hani Hagras Evolving Type-2 Fuzzy Logic Controllers for Autonomous Mobile Robots. Search on Bibsonomy Analysis and Design of Intelligent Systems using Soft Computing Techniques The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Type-2 Fuzzy Logic Control, Genetic Algorithms, Autonomous Mobile Robots
36Peter Møller Neergaard, Harry G. Mairson Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF proofnet, complexity, type inference, normalization, intersection types, idempotence
36F. Warren Burton Type Extension Through Polymorphism. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich AspectML: A polymorphic aspect-oriented functional programming language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
36Martin Plümicke Typeless programming in Java 5.0 with wildcards. Search on Bibsonomy PPPJ The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program design and implementation, code generation, type system, type inference, language design
36Martin Plümicke, Jörg Bäuerle Typeless programming in Java 5.0. Search on Bibsonomy PPPJ The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program design and implementation, code generation, type system, type inference, language design
35Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin, Antonio Rodríguez Díaz A Hybrid Learning Algorithm for Interval Type-2 Fuzzy Neural Networks: The Case of Time Series Prediction. Search on Bibsonomy Soft Computing for Hybrid Intelligent Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interval type-2 Fuzzy Neural Networks, Interval Type-2 Fuzzy Neuron, Hybrid Learning Algorithm, Interval Type-2 Fuzzy Systems
35Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno A polymorphic modal type system for lisp-like multi-staged languages. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
35Benjamin S. Lerner, Dan Grossman, Craig Chambers Seminal: searching for ML type-error messages. Search on Bibsonomy ML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF seminal, type-inference, type-checking, objective Caml, error messages
35Bruno C. d. S. Oliveira, Jeremy Gibbons TypeCase: a design pattern for type-indexed functions. Search on Bibsonomy Haskell The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type-indexed functions, generic programming, type classes
34Norman H. Cohen Type-Extension Type Tests Can Be Performed In Constant Time. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF extensible data type, type extension, type test, object-oriented programming, inheritance, display, class, descriptor, membership test
34Hani Hagras Type-2 Fuzzy Logic Controllers: A Way Forward for Fuzzy Systems in Real World Environments. Search on Bibsonomy WCCI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interval Type-2 Fuzzy Logic Controllers, Fuzzy Logic, Uncertainty Handling
34Aaron Tomb, Cormac Flanagan Automatic type inference via partial evaluation. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF applications of declarative programming, logic programming, program analysis, type systems
34Yalin Zheng, Changshui Zhang, Xin Yao 0003 Type-I Topological Logic C1I and Approximate Reasoning. Search on Bibsonomy FSKD (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Emer Bernal, Oscar Castillo 0001, José Soria, Fevrier Valdez Parameter Adaptation in the Imperialist Competitive Algorithm Using Generalized Type-2 Fuzzy Logic. Search on Bibsonomy Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Felizardo Cuevas, Oscar Castillo 0001, Prometeo Cortés-Antonio Omnidirectional Four Wheel Mobile Robot Control with a Type-2 Fuzzy Logic Behavior-Based Strategy. Search on Bibsonomy Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Juan Barraza, Fevrier Valdez, Patricia Melin, Claudia I. González Fireworks Algorithm (FWA) with Adaptation of Parameters Using Interval Type-2 Fuzzy Logic System. Search on Bibsonomy Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Frank Chung-Hoon Rhee, Byung-In Choi Interval Type-2 Fuzzy Membership Function Generation Methods for Representing Sample Data. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Ibrahim Özkan, I. Burhan Türksen A Review of Cluster Validation with an Example of Type-2 Fuzzy Application in R. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Miguel Pagola, Edurne Barrenechea, Javier Fernández 0002, Aranzazu Jurio, Mikel Galar, José Antonio Sanz 0001, Daniel Paternain, Carlos Lopez-Molina, Juan Cerrón, Humberto Bustince Construction of Interval Type-2 Fuzzy Sets From Fuzzy Sets: Methods and Applications. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Christian Wagner 0002, Hani Hagras zSlices Based General Type-2 Fuzzy Sets and Systems. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Qun Ren, Luc Baron, Marek Balazinski, Krzysztof Jemielniak Reliable Tool Life Estimation with Multiple Acoustic Emission Signal Feature Selection and Integration Based on Type-2 Fuzzy Logic. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Masoomeh Moharrer, Hooman Tahayori, Alireza Sadeghian Modeling Complex Concepts with Type-2 Fuzzy Sets: The Case of User Satisfaction of Online Services. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Juan Carlos Figueroa-García Interval Type-2 Fuzzy Markov Chains. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Jerry M. Mendel Interval Type-2 Fuzzy Logic Systems and Perceptual Computers: Their Similarities and Differences. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34John Harding, Carol L. Walker, Elbert A. Walker Type-2 Fuzzy Sets and Bichains. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Janet Aisbett, John T. Rickard Type-2 Fuzzy Sets and Conceptual Spaces. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Simon Coupland, Robert I. John Geometric Type-2 Fuzzy Sets. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Patricia Melin, Oscar Castillo 0001 Type-2 Fuzzy Logic in Image Analysis and Pattern Recognition. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Chang-Shing Lee, Mei-Hui Wang, Chin-Yuan Hsu, Zhi-Wei Chen Type-2 Fuzzy Set and Fuzzy Ontology for Diet Application. Search on Bibsonomy Advances in Type-2 Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Nikos Mylonakis Proof assistance for refinement in type theory. Search on Bibsonomy Workshop on Type-Theoretic Languages: Proof Search and Semantics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Michael Franssen Embedding First-Order Tableaux into a Pure Type System. Search on Bibsonomy Proof Search in Type-Theoretic Languages@CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Bratin Saha, Valery Trifonov, Zhong Shao Intensional analysis of quantified types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code
33Yaochu Jin, Bernhard Sendhoff, Edgar Körner Evolutionary Multi-objective Optimization for Simultaneous Generation of Signal-Type and Symbol-Type Representations. Search on Bibsonomy EMO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Ling Gu, Yan-Qing Zhang 0001 Web shopping expert using new interval type-2 fuzzy reasoning. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Type-2 fuzzy logic sets, Type reduce, Fuzzy logic, Decision support system, Least square method, System optimizations
33Tomoyuki Higuchi, Atsushi Ohori A static type system for JVM access control. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF access control, type system, JVM, type inference, stack inspection
33Jurriaan Hage, Bastiaan Heeren Heuristics for Type Error Discovery and Recovery. Search on Bibsonomy IFL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type inferencing, heuristics, constraints, error recovery, type graph, error messages
33Wook-Shin Han, Kyu-Young Whang, Yang-Sae Moon A Formal Framework for Prefetching Based on the Type-Level Access Pattern in Object-Relational DBMSs. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type-level access patterns, type-level access locality, Prefetching, object-relational DBMSs
33Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller Automated type-based analysis of data races and atomicity. Search on Bibsonomy PPoPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type system, type inference, atomicity, data races
33Tomoyuki Higuchi, Atsushi Ohori A static type system for JVM access control. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF access control, type system, JVM, type inference, stack inspection
33Thom W. Frühwirth Polymorphic Type Checking with Subtypes in Prolog. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
32Marion Scheepers The length of some diagonalization games. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF $omega$-concentrated, point-open type, $omega$-type, strong-fan type, density type, infinite game
32Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken Flow-insensitive type qualifiers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF const, taint, security, static analysis, constraints, types, Type qualifiers
32Yutaka Matsuno, Atsushi Ohori A type system equivalent to static single assignment. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type system, compiler optimization, static single assignment form
32Max Schäfer, Oege de Moor Type inference for datalog with complex type hierarchies. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF type system, datalog, type inference
32Matthew M. Papi, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
32Matthew M. Papi, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
32Jacob Katzenelson, Shlomit S. Pinter, Eugen Schenfeld Type Matching, Type-Graphs, and the Schanuel Conjecture. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Schanuel conjecture, graph hashing, mapping graphs to numbers, type matching, compilers, types, type-graphs
32Dominique Colnet, Luigi Liquori Match-O, A Dialect of Eiffel with Match-Types. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
32Mostafa I. H. Abd-El-Barr, Muhammad Nayyar Hasan New MVL-PLA Structures Based on Current-Mode CMOS Technology. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF MVL-PLA structures, current-mode CMOS technology, PLA structures, min, tsum, constants, r-valued one-variable functions, type-C PLA, type-A PLA, type-B PLA, cyclic generator blocks, programmable logic arrays, programmable logic arrays, CMOS logic circuits, cycle, multivalued logic circuits, multivalued logic circuits, current-mode logic
32Satish Chandra 0001, Thomas W. Reps Physical Type Checking for C. Search on Bibsonomy PASTE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF C
32Peter Aczel On Relating Type Theories and Set Theories. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Peter Dybjer, Anton Setzer Indexed Induction-Recursion. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
31Syrine Tlili, Mourad Debbabi Type and Effect Annotations for Safe Memory Access in C. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Type and Effect Analysis, Type Annotations, Memory Safety, C Programming
Displaying result #1 - #100 of 58453 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license