|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 641 occurrences of 374 keywords
|
|
|
Results
Found 693 publication records. Showing 693 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
Unifying type checking and property checking for low-level code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
assertion checking, low-level code, decision procedure, type checking, smt solver, property checking |
56 | Satish Chandra 0001, Thomas W. Reps |
Physical Type Checking for C. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
C |
51 | Suad Alagic |
Type-Checking OQL Queries In the ODMG Type Systems. |
ACM Trans. Database Syst. |
1999 |
DBLP DOI BibTeX RDF |
ODMG standard, Java, C++, type systems, parametric polymorphism, OQL |
47 | Christopher A. Stone, Robert Harper 0001 |
Extensional equivalence and singleton types. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
equivalence algorithms, logical relations, Singleton types |
46 | Peter Steenkiste, John L. Hennessy |
Tags and Type Checking in Lisp: Hardware and Software Approaches. |
ASPLOS |
1987 |
DBLP DOI BibTeX RDF |
LISP, RISC |
44 | 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 |
43 | Thom W. Frühwirth |
Polymorphic Type Checking with Subtypes in Prolog. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification |
42 | Alan J. Demers, James E. Donahue |
Data Types, Parameters, and Type Checking. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
42 | 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 |
41 | Michal Lentner, Krzysztof Stencel, Kazimierz Subieta |
Semi-strong Static Type Checking of Object-Oriented Query Languages. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
41 | François Fages, Sylvain Soliman |
Type Inference in Systems Biology. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Haibin Shen, Jimin Wang, Lingdi Ping, Kang Sun |
Securing C Programs by Dynamic Type Checking. |
ISPEC |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Gilberto Filé, P. Sottero |
Abstract Interpretation for Type Checking. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
40 | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
Active property checking. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
security, software testing, symbolic execution |
38 | Lutz Prechelt, Walter F. Tichy |
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
quality, productivity, controlled experiment, defects, Type checking |
38 | Lunjin Lu, Andy King |
Backward Type Inference Generalises Type Checking. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
37 | 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 |
37 | H. Becht, John Staples |
Soft Typing of General First-Order Languages. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
soft typing, many-sorted logics, type theory, type checking, parametric polymorphism |
36 | Kim B. Bruce |
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
35 | W. Homer Carlisle |
Type Checking Concurrent I/O. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
process communication, parallel programming, concurrency, traces, type checking, event recognition |
34 | Adam Chlipala, Leaf Petersen, Robert Harper 0001 |
Strict bidirectional type checking. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
strict logic, type inference, type theory |
34 | Viktor Kuncak, Martin C. Rinard |
Existential Heap Abstraction Entailment Is Undecidable. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem |
33 | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
Type checking with open type functions. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type families, type functions, Haskell, type checking |
32 | Edward A. Lee, Yuhong Xiong |
System-Level Types for Component-Based Design. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Benjamin S. Lerner, Dan Grossman, Craig Chambers |
Seminal: searching for ML type-error messages. |
ML |
2006 |
DBLP DOI BibTeX RDF |
seminal, type-inference, type-checking, objective Caml, error messages |
32 | Nabil El Boustani, Jurriaan Hage |
Corrective hints for type incorrect generic Java programs. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
compilers, heuristics, error correcting, type checking, java generics, error reporting |
32 | Gang Chen |
Full integration of subtyping and if-expression. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
if-expression, Java, subtyping, type checking |
32 | 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 |
31 | Farooq Butt |
Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
31 | Charles D. Norton |
The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
31 | Kim B. Bruce, Angela Schuett, Robert van Gent |
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. |
ECOOP |
1995 |
DBLP DOI BibTeX RDF |
design and semantics of object-oriented languages, Type systems |
30 | Sebastian Maneth, Thomas Perst, Helmut Seidl |
Exact XML Type Checking in Polynomial Time. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Jean-Claude Royer |
An Operational Approach to the Semantics of Classes: Application to Type Checking. |
Program. Comput. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Norihisa Suzuki |
Inferring Types in Smalltalk. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
30 | Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen |
Polynomial Size Analysis of First-Order Functions. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
Shapely Functions, Size Analysis, Type Checking, Diophantine equations |
30 | 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 |
30 | Lei Chen, Haiming Chen |
Efficient Type Checking for a Subclass of Regular Expression Types. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Alastair F. Donaldson, Simon J. Gay |
Etch: An Enhanced Type Checking Tool for Promela. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Niklaus Haldiman, Marcus Denker, Oscar Nierstrasz |
Practical, pluggable types. |
ICDL |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Valery Trifonov, Bratin Saha, Zhong Shao |
Fully reflexive intensional type analysis. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
runtime type dispatch, typed intermediate language, certified code |
28 | Kim B. Bruce, Martin Odersky, Philip Wadler |
A Statically Safe Alternative to Virtual Types. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
virtual types, static type checking, Language design, parametric polymorphism |
28 | Andy Schürr |
A New Type Checking Approach for OCL Version 2.0? |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Aaron Tomb, Cormac Flanagan |
Automatic type inference via partial evaluation. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
applications of declarative programming, logic programming, program analysis, type systems |
27 | Robert Harper 0001, Robert Pollack |
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft). |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich |
Dependent types and program equivalence. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
dependent types, program equivalence |
27 | Kenneth L. Knowles, Cormac Flanagan |
Compositional reasoning and decidable checking for dependent contract types. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
refinement types, abstraction, dependent types, compositional reasoning |
27 | 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 |
27 | 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 |
27 | Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano |
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
domain-free type system, undecidability, existential type, CPS-translation |
27 | David Aspinall 0001 |
Type Checking Parametrised Programs and Specifications in ASL+FPC. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Witold Charatonik |
Directional Type Checking for Logic Programs: Beyond Discriminative Types. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
types in logic programming, directional types, tree automata, regular types |
26 | Andreas Abel 0001, Thierry Coquand, Peter Dybjer |
Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu |
XML with Data Values: Typechecking Revisited. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jim Alves-Foss, Deborah A. Frincke |
Formal Grammar for Java. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Edward A. Lee, Yuhong Xiong |
A behavioral type system and its application in Ptolemy II. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping |
25 | Kenneth L. Knowles, Cormac Flanagan |
Type Reconstruction for General Refinement Types. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Holger Gast |
Explaining ML Type Errors by Data Flows. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Ronald T. House |
Thoughts on "Extended Pascal - Illustrative Examples". |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
Pascal |
25 | Nikolaos Tsantalis, Theodoros Chaikalis, Alexander Chatzigeorgiou |
JDeodorant: Identification and Removal of Type-Checking Bad Smells. |
CSMR |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Cormac Flanagan |
Hybrid type checking. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
dynamic checking, type systems, contracts, static checking |
25 | Ilya Sergey, Dave Clarke 0001 |
A correspondence between type checking via reduction and type checking via evaluation. |
Inf. Process. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Ilya Sergey, Dave Clarke 0001 |
From type checking by recursive descent to type checking with an abstract machine. |
LDTA |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Mike Beaven, Ryan Stansifer |
Explaining Type Errors In Polimorphic Languages. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
polymorphic type reconstruction, type errors |
24 | Andreas Abel 0001, Thierry Coquand, Miguel Pagano |
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Xavier Leroy |
Introduction. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Yves Caseau, Laurent Perron |
Attaching Second-Order Types to Methods in an Object-Oriented Language. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Davide Ancona |
An Algebraic Framework for Separate Type-Checking. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
23 | David Broman, Kaj Nyström, Peter Fritzson |
Determining over- and under-constrained systems of equations using structural constraint delta. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
equation-based, over-constrained, under-constrained, modeling, object-oriented, type checking, separate compilation |
23 | Martin Erwig, Margaret M. Burnett |
Adding Apples and Oranges. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
First-Order Functional Language, End-User Programming, Spreadsheet, Type Checking, Unit |
23 | Manuel Serrano |
Wide Classes. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
dynamic inheritance, dynamic type checking, instance modification, Language implementation |
23 | E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull |
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. |
WCRE |
1996 |
DBLP DOI BibTeX RDF |
transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems |
23 | Akihiko Tozawa |
XML Type Checking Using High-Level Tree Transducer. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren |
Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Frédéric Blanqui |
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Lutz Prechelt, Walter F. Tichy |
An Experiment to Assess the Benefits of Inter-Module Type Checking. |
IEEE METRICS |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Flemming M. Damm, Bo Stig Hansen, Hans Bruun |
On Type Checking in VDM and Related Consistency Issues. |
VDM Europe (1) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Paola Inverardi, Simone Martini 0001, Carlo Montangero |
Is Type Checking Practical for System Configuration? |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Smith 0003, Robert Cartwright |
Java type inference is broken: can we fix it? |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types |
23 | Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst |
Practical pluggable types for java. |
ISSTA |
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 |
23 | Yuhong Xiong, Edward A. Lee |
An Extensible Type System for Component-Based Design. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Peter Buneman, Benjamin C. Pierce |
Union Types for Semistructured Data. |
DBPL |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Xinxin Liu 0008, David Walker 0008 |
A Polymorphic Type System for the Polyadic pi-calculus. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Samuel Spiza, Stefan Hanenberg |
Type names without static type checking already improve the usability of APIs (as long as the type names are correct): an empirical study. |
MODULARITY |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Andreas Abel 0001, Thorsten Altenkirch |
A Partial Type Checking Algorithm for Type: Type. |
MSFP@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira |
Modular session types for distributed object-oriented programming. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
non-uniform method availability, object-oriented calculus, typestates, session types |
22 | Michele Bugliesi, Giuseppe Castagna |
Secure safe ambients. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Luigi Liquori |
On Object Extension. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
22 | John Peterson, Mark P. Jones |
Implementing Type Classes. |
PLDI |
1993 |
DBLP DOI BibTeX RDF |
Haskell, Standard ML |
22 | R. Ghosh-Roy, Frank Jensen |
Conjunctional type assignment in programming languages. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
ML |
21 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Meta-compilation, Type System, Datalog, Deductive Databases |
21 | Sriram K. Rajamani, Jakob Rehof |
A Behavioral Module System for the Pi-Calculus. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel |
Type Checking BSI/VDM-SL. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Naoki Kobayashi 0001, C.-H. Luke Ong |
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Catherine Pugin, Rolf Ingold |
Combination of transformation and schema languages described by a complete formal semantics. |
ACM Symposium on Document Engineering |
2007 |
DBLP DOI BibTeX RDF |
static type checking, XML, integration, transformation, schema |
21 | Diomidis Spinellis |
Choosing a Programming Language. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
programming language, domain-specific languages, type checking, declarative languages, choice |
21 | Florent de Dinechin, Sophie Robert |
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations. |
ASAP |
1996 |
DBLP DOI BibTeX RDF |
hierarchical static analysis, structured systems, ALPHA language, polyhedral domains, complex algorithms, parameterized structures, ALPHA programs, type-checking process, single assignment rule, programming environments, program verification, specification languages, Gaussian elimination, affine recurrence equations |
21 | Anthony I. Wasserman |
The Data Management Facilities of PLAIN. |
SIGMOD Conference |
1979 |
DBLP DOI BibTeX RDF |
information systems, abstract data types, relational algebra, relations, database management, type checking, interactive programs, programming language design |
21 | Bratin Saha, Valery Trifonov, Zhong Shao |
Intensional analysis of quantified types. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code |
20 | Daisuke Kikuchi, Naoki Kobayashi 0001 |
Type-Based Automated Verification of Authenticity in Cryptographic Protocols. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Anders Møller, Michael I. Schwartzbach |
The Design Space of Type Checkers for XML Transformation Languages. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 693 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|