Search results for "type-checking"

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