Search results for "type checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	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
3	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
3	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
3	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
3	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
2	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
2	Andreas Abel, Thierry Coquand, Miguel Pagano	A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance.	TLCA	2009	DBLP DOI BibTeX RDF
2	Martin Hofmann, Dulma Rodriguez	Efficient Type-Checking for Amortised Heap-Space Analysis.	CSL	2009	DBLP DOI BibTeX RDF	Resource analysis, Semantics, OOP, Type systems
2	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
2	Lei Chen, Haiming Chen	Efficient Type Checking for a Subclass of Regular Expression Types.	ICYCS	2008	DBLP DOI BibTeX RDF
2	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
2	Nikolaos Tsantalis, Theodoros Chaikalis, Alexander Chatzigeorgiou	JDeodorant: Identification and Removal of Type-Checking Bad Smells.	CSMR	2008	DBLP DOI BibTeX RDF
2	Sebastian Maneth, Thomas Perst, Helmut Seidl	Exact XML Type Checking in Polynomial Time.	ICDT	2007	DBLP DOI BibTeX RDF
2	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
2	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
2	Haibin Shen, Jimin Wang, Lingdi Ping, Kang Sun	Securing C Programs by Dynamic Type Checking.	ISPEC	2006	DBLP DOI BibTeX RDF
2	Cormac Flanagan	Hybrid type checking.	POPL	2006	DBLP DOI BibTeX RDF	dynamic checking, type systems, contracts, static checking
2	Akihiko Tozawa	XML Type Checking Using High-Level Tree Transducer.	FLOPS	2006	DBLP DOI BibTeX RDF
2	Michal Lentner, Krzysztof Stencel, Kazimierz Subieta	Semi-strong Static Type Checking of Object-Oriented Query Languages.	SOFSEM	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	Diomidis Spinellis	Choosing a Programming Language.	IEEE Software	2006	DBLP DOI BibTeX RDF	programming language, domain-specific languages, type checking, declarative languages, choice
2	Alastair F. Donaldson, Simon J. Gay	Etch: An Enhanced Type Checking Tool for Promela.	SPIN	2005	DBLP DOI BibTeX RDF
2	Adam Chlipala, Leaf Petersen, Robert Harper	Strict bidirectional type checking.	TLDI	2005	DBLP DOI BibTeX RDF	strict logic, type inference, type theory
2	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
2	Frédéric Blanqui	Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations.	CSL	2005	DBLP DOI BibTeX RDF
2	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
2	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
2	Jean-Claude Royer	An Operational Approach to the Semantics of Classes: Application to Type Checking.	Programming and Computer Software	2002	DBLP DOI BibTeX RDF
2	David Aspinall	Type Checking Parametrised Programs and Specifications in ASL+FPC.	WADT	2002	DBLP DOI BibTeX RDF
2	Lunjin Lu, Andy King	Backward Type Inference Generalises Type Checking.	SAS	2002	DBLP DOI BibTeX RDF
2	Andy Schürr	A New Type Checking Approach for OCL Version 2.0?	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
2	Gang Chen	Full integration of subtyping and if-expression.	PPDP	2002	DBLP DOI BibTeX RDF	if-expression, Java, subtyping, type checking
2	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
2	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
2	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
2	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
2	Satish Chandra, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
2	Manuel Serrano	Wide Classes.	ECOOP	1999	DBLP DOI BibTeX RDF	dynamic inheritance, dynamic type checking, instance modification, Language implementation
2	Davide Ancona	An Algebraic Framework for Separate Type-Checking.	WADT	1998	DBLP DOI BibTeX RDF
2	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
2	Lutz Prechelt, Walter F. Tichy	An Experiment to Assess the Benefits of Inter-Module Type Checking.	IEEE METRICS	1996	DBLP DOI BibTeX RDF
2	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
2	E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. (PDF / PS)	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
2	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
2	Kim B. Bruce	Safe Type Checking in a Statically-Typed Object-Oriented Programming Language.	POPL	1993	DBLP DOI BibTeX RDF
2	Gilberto Filé, P. Sottero	Abstract Interpretation for Type Checking.	PLILP	1991	DBLP DOI BibTeX RDF
2	Flemming M. Damm, Bo Stig Hansen, Hans Bruun	On Type Checking in VDM and Related Consistency Issues.	VDM Europe	1991	DBLP DOI BibTeX RDF
2	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
2	Robert Harper, Robert Pollack	Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft).	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
2	Paola Inverardi, Simone Martini, Carlo Montangero	Is Type Checking Practical for System Configuration?	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
2	Peter Steenkiste, John L. Hennessy	Tags and Type Checking in Lisp: Hardware and Software Approaches.	ASPLOS	1987	DBLP DOI BibTeX RDF	LISP, RISC
2	Michael R. Levy	Type checking, separate compilation and reusability.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
2	Alan J. Demers, James E. Donahue	Data Types, Parameters, and Type Checking.	POPL	1980	DBLP DOI BibTeX RDF
2	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
2	Alan J. Demers, James E. Donahue, Glenn Skinner	Data Types as Values: Polymorphism, Type-Checking, Encapsulation.	POPL	1978	DBLP DOI BibTeX RDF
1	Ilya Sergey, Dave Clarke	A correspondence between type checking via reduction and type checking via evaluation.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
1	Daniel Deutch, Tova Milo	Type inference and type checking for queries over execution traces.	VLDB J.	2012	DBLP DOI BibTeX RDF
1	Dirk Kleeblatt	On a Strongly Normalizing STG Machine with an Application to Dependent Type Checking.		2011	RDF
1	Zoltán Ujhelyi, Ákos Horváth, Dániel Varró	Static Type Checking of Model Transformation Programs.	ECEASST	2011	DBLP BibTeX RDF
1	Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano	Type checking and typability in domain-free lambda calculi.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Andreas Abel, Thorsten Altenkirch	A Partial Type Checking Algorithm for Type: Type.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Marco Giunti	A type checking algorithm for qualified session types	WWV	2011	DBLP DOI BibTeX RDF
1	Andreas Abel, Thierry Coquand, Miguel Pagano	A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Catherine Meadows	Type Checking and Security.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva	Type Checking Cryptography Implementations.	FSEN	2011	DBLP DOI BibTeX RDF
1	Zsolt Zombori, János Csorba, Péter Szeredi	Static Type Checking for the Q Functional Language in Prolog.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
1	Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani	Compositional type-checking for delta-oriented programming.	AOSD	2011	DBLP DOI BibTeX RDF
1	Ilya Sergey, Dave Clarke	From type checking by recursive descent to type checking with an abstract machine.	LDTA	2011	DBLP DOI BibTeX RDF
1	Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.	Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Owen Anderson, Emily Fortuna, Luis Ceze, Susan Eggers	Checked Load: Architectural support for JavaScript type-checking on mobile processors.	HPCA	2011	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Simon J. Gay	Type inference and strong static type checking for Promela.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1	Koji Nakazawa, Makoto Tatsuta	Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems.	Chicago J. Theor. Comput. Sci.	2010	DBLP BibTeX RDF
1	Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini	Using abstract interpretation to add type checking for interfaces in Java bytecode verification.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Kenneth L. Knowles, Cormac Flanagan	Hybrid type checking.	ACM Trans. Program. Lang. Syst.	2010	DBLP DOI BibTeX RDF
1	Jiawei Ou, Fabio Pellacini	SafeGI: Type Checking to Improve Correctness in Rendering System Implementation.	Comput. Graph. Forum	2010	DBLP DOI BibTeX RDF
1	Zoltán Ujhelyi	Static Type Checking of Model Transformation Programs.	ICGT	2010	DBLP DOI BibTeX RDF
1	Andy Kenner, Christian Kästner, Steffen Haase, Thomas Leich	TypeChef: toward type checking #ifdef variability in C.	FOSD	2010	DBLP DOI BibTeX RDF
1	Weiyu Miao, Jeremy G. Siek	Incremental type-checking for type-reflective metaprograms.	GPCE	2010	DBLP DOI BibTeX RDF
1	Wolfgang Jeltsch	Generic record combinators with static type checking.	PPDP	2010	DBLP DOI BibTeX RDF	closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
1	Diomidis Spinellis	Software Tracks.	IEEE Software	2010	DBLP DOI BibTeX RDF	railroad track metaphor, architecture, domain-specific languages, software process, type checking
1	Michael Benedikt	Analysis of declarative updates: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
1	Ryan Wisnesky, Mauricio A. Hernández, Lucian Popa	Mapping polymorphism.	ICDT	2010	DBLP DOI BibTeX RDF	Clio, nested relational model, schema mapping
1	Jeremy G. Siek	General purpose languages should be metalanguages.	PEPM	2010	DBLP DOI BibTeX RDF	domain-specific embedded languages, reflection, metaprogramming, multi-stage programming
1	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
1	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
1	Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich	Dependent types and program equivalence.	POPL	2010	DBLP DOI BibTeX RDF	dependent types, program equivalence
1	Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno	Higher-order multi-parameter tree transducers and recursion schemes for program verification.	POPL	2010	DBLP DOI BibTeX RDF	higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
1	Zachary Snow, David Baelde, Gopalan Nadathur	A meta-programming approach to realizing dependently typed logic programming.	PPDP	2010	DBLP DOI BibTeX RDF	dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks
1	Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer	Implementing software product lines using traits.	SAC	2010	DBLP DOI BibTeX RDF	type system, software product line, feature model, trait, featherweight java
1	Marcin Zalewski, Sibylle Schupp	A Semantic Definition of Separate Type Checking in C++ with Concepts.	Journal of Object Technology	2009	DBLP DOI BibTeX RDF
1	Tomas By	Graphical, type-checking dependency tree editor.	IMCSIT	2009	DBLP DOI BibTeX RDF
1	M. G. J. van den Brand, A. P. van der Meer, Alexander Serebrenik	Type Checking Evolving Languages with MSOS.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
1	Yuki Kato, Koji Nakazawa	Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.	WFLP	2009	DBLP DOI BibTeX RDF
1	Everardo Bárcenas, Pierre Genevès, Nabil Layaïda	On the analysis of queries with counting constraints.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	counting constraints, modal logics, xpath, xml, type checking
1	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
1	Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier	Type invariants for Haskell.	PLPV	2009	DBLP DOI BibTeX RDF	type families, type functions, haskell, type checking
1	Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani	Linear inclusion for XML regular expression types.	CIKM	2009	DBLP DOI BibTeX RDF	type inclusion, XML