Search results for "type-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Lena Magnusson	An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification.	TYPES	1995	DBLP DOI BibTeX RDF
20	Zhiqiang Ren	Combining type checking with model checking for system verification		2017	RDF
20	Zhiqiang Ren, Hongwei Xi	Combining type-checking with model-checking for system verification.	MEMOCODE	2016	DBLP DOI BibTeX RDF
20	Ryosuke Sato 0001, Kazuyuki Asada, Naoki Kobayashi 0001	Refinement Type Checking via Assertion Checking.	J. Inf. Process.	2015	DBLP DOI BibTeX RDF
19	Michael R. Levy	Type checking, separate compilation and reusability.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
19	Jens Palsberg, Di Ma	A Typed Interrupt Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF
19	Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
19	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
19	Frank Tip	Refactoring Using Type Constraints.	SAS	2007	DBLP DOI BibTeX RDF
19	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	2005	DBLP DOI BibTeX RDF
19	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
18	James Sasitorn, Robert Cartwright	Component nextgen: a sound and expressive component framework for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	custom class loader, first-class generics, java implementation, components, signatures, modules
18	Shan Shan Huang, David Zook, Yannis Smaragdakis	cJ: enhancing java with safe type conditions.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, meta-programming, language extensions
18	Juan Chen	Decidable subclassing-bounded quantification.	TLDI	2005	DBLP DOI BibTeX RDF	bounded quantification, class and object encoding, decidability, typed intermediate language
18	François Bry, Wlodzimierz Drabent, Jan Maluszynski	On Subtyping of Tree-Structured Data: A Polynomial Approach.	PPSWR	2004	DBLP DOI BibTeX RDF
18	Arjen van Weelden, Rinus Plasmeijer	A Functional Shell That Dynamically Combines Compiled Code.	IFL	2003	DBLP DOI BibTeX RDF
18	John C. Mitchell	Representation Independence and Data Abstraction.	POPL	1986	DBLP DOI BibTeX RDF
18	Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani	Linear inclusion for XML regular expression types.	CIKM	2009	DBLP DOI BibTeX RDF	type inclusion, XML
18	Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek	Algorithm specialization in generic programming: challenges of constrained generics in C++.	PLDI	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, specialization, parametric polymorphism
18	Dominic Duggan	Cryptographic Types.	CSFW	2002	DBLP DOI BibTeX RDF
18	Arthur I. Baars, S. Doaitse Swierstra	Typing dynamic typing.	ICFP	2002	DBLP DOI BibTeX RDF	Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing
18	Alan J. Demers, James E. Donahue, Glenn Skinner	Data Types as Values: Polymorphism, Type-Checking, Encapsulation.	POPL	1978	DBLP DOI BibTeX RDF
17	Aron Zwaan, Hendrik van Antwerpen, Eelco Visser	Incremental type-checking for free: using scope graphs to derive incremental type-checkers.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
17	Benno van den Berg, Martijn den Besten	Quadratic type checking for objective type theory.	CoRR	2021	DBLP BibTeX RDF
17	Justus Adam, Stephen Kell	Type checking beyond type checkers, via slice & run.	TAPAS@SPLASH	2020	DBLP DOI BibTeX RDF
17	Edlira Kuci	Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking.		2020	RDF
17	Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini	A co-contextual formulation of type rules and its application to incremental type checking.	OOPSLA	2015	DBLP DOI BibTeX RDF
17	Daniel Fridlender, Miguel Pagano	A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation.	TLCA	2013	DBLP DOI BibTeX RDF
17	Daniel Deutch, Tova Milo	Type inference and type checking for queries over execution traces.	VLDB J.	2012	DBLP DOI BibTeX RDF
17	Andreas Abel 0001, Thierry Coquand, Miguel Pagano	A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Koji Nakazawa, Makoto Tatsuta	Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems.	Chic. J. Theor. Comput. Sci.	2010	DBLP BibTeX RDF
17	Alastair F. Donaldson, Simon J. Gay	Type inference and strong static type checking for Promela.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
17	Weiyu Miao, Jeremy G. Siek	Incremental type-checking for type-reflective metaprograms.	GPCE	2010	DBLP DOI BibTeX RDF
17	Daniel Deutch, Tova Milo	Type inference and type checking for queries on execution traces. (PDF / PS)	Proc. VLDB Endow.	2008	DBLP DOI BibTeX RDF
17	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
17	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
17	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
17	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
17	Akihiko Tozawa	Type Checking For Functional XML Programming Without Type Annotation.	PLAN-X	2006	DBLP BibTeX RDF
17	Stijn Vansummeren	Well-definedness, semantic type-checking and type inference for database query languages		2005	RDF
17	Luigi Liquori, Benjamin Wack	The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].	WRLA	2004	DBLP DOI BibTeX RDF
17	Dominic Duggan, John Ophel	Type-checking multi-parameter type classes.	J. Funct. Program.	2002	DBLP DOI BibTeX RDF
17	Gilles Barthe	Type-checking injective pure type systems.	J. Funct. Program.	1999	DBLP DOI BibTeX RDF
17	Tobias Nipkow, Christian Prehofer	Type Checking Type Classes.	POPL	1993	DBLP DOI BibTeX RDF	Haskell
17	Justin O. Graver	Type checking and type inference for object-oriented programming languages		1989	RDF
17	Takuya Katayama	Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
17	David Greenfieldboyce, Jeffrey S. Foster	Type qualifier inference for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability
17	George Kuan, David MacQueen, Robert Bruce Findler	A Rewriting Semantics for Type Inference.	ESOP	2007	DBLP DOI BibTeX RDF
17	Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea	A flow-based approach for variant parametric types.	OOPSLA	2006	DBLP DOI BibTeX RDF	variant parametric types, constraints, genericity, subtyping, flow analysis
17	James McKinna	Why dependent types matter.	POPL	2006	DBLP DOI BibTeX RDF
17	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
17	Olha Shkaravska	Types with semantics: soundness proof assistant.	MERLIN	2005	DBLP DOI BibTeX RDF	type system, assertion, automated theorem proving, program logic
17	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
17	Rinus Plasmeijer, Arjen van Weelden	A Functional Shell That Operates on Typed and Compiled Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
17	Mark Shields, Erik Meijer 0001	Type-indexed rows.	POPL	2001	DBLP DOI BibTeX RDF	XML, SGML
17	Douglas J. Howe	A Type Annotation Scheme for Nuprl.	TPHOLs	1998	DBLP DOI BibTeX RDF
17	Ryan Stansifer	Type Inference with Subtypes.	POPL	1988	DBLP DOI BibTeX RDF
17	Tsung-Min Kuo, Prateek Mishra	On Strictness and its Analysis.	POPL	1987	DBLP DOI BibTeX RDF	ML
16	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
16	Sylvain Salvati	Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear lambda-Calculus.	RTA	2006	DBLP DOI BibTeX RDF
16	Mark-Oliver Stehr, José Meseguer 0001	Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
16	Hongwei Xi	Facilitating Program Verification with Dependent Types.	SEFM	2003	DBLP DOI BibTeX RDF
16	Rowan Davies, Frank Pfenning	Intersection types and computational effects.	ICFP	2000	DBLP DOI BibTeX RDF	UML
16	Leslie Lamport, Lawrence C. Paulson	Should your specification language be typed.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	specification, types, set theory
16	Alexander Borgida	Type Systems for Querying Class Hierarchies with Non-strict Inheritance.	PODS	1989	DBLP DOI BibTeX RDF
16	Hans-Juergen Boehm	Type Inference in the Presence of Type Abstraction.	PLDI	1989	DBLP DOI BibTeX RDF
16	John C. Mitchell	Coercion and Type Inference.	POPL	1984	DBLP DOI BibTeX RDF
16	Dario Colazzo, Giorgio Ghelli, Carlo Sartiani	Efficient asymmetric inclusion between regular expression types.	ICDT	2009	DBLP DOI BibTeX RDF	language inclusion, XML, regular expressions
16	Stephen G. Perelgut, James R. Cordy	Turing Plus: a comparison with C and Pascal.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C, Pascal, TURING
16	Diomidis Spinellis	Software Tracks.	IEEE Softw.	2010	DBLP DOI BibTeX RDF	railroad track metaphor, architecture, domain-specific languages, software process, type checking
16	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
16	Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier	Type invariants for Haskell.	PLPV	2009	DBLP DOI BibTeX RDF	type families, type functions, haskell, type checking
16	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
16	Susanne Graf	OMEGA: correct development of real time and embedded systems.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Support for object oriented, Component-based system design, Model checking, UML, Embedded systems, Real time, Theorem proving, Type-checking, Model-based
16	Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede	A type system for static typing of a domain-specific language.	FPGA	2008	DBLP DOI BibTeX RDF	static type checking, FPGA, type system
16	Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi	Towards a Type Discipline for Answer Set Programming.	TYPES	2008	DBLP DOI BibTeX RDF	many sorted interpretation, type checking, Answer set programming, grounding
16	Azamatbek Mametjanov	Types and program transformations.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	transformations, types, type-checking
16	George Kuan, David MacQueen	Efficient type inference using ranked type variables.	ML	2007	DBLP DOI BibTeX RDF	algorithm W, compilers, functional programming, type inference, type checking, standard ML
16	Pierre Genevès, Nabil Layaïda, Alan Schmitt	Efficient static analysis of XML paths and types.	PLDI	2007	DBLP DOI BibTeX RDF	satisfiability, modal logic, XPath, type checking
16	Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers	Searching for type-error messages.	PLDI	2007	DBLP DOI BibTeX RDF	seminal, type-inference, type-checking, objective Caml, error messages
16	Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl	An Information Flow Verifier for Small Embedded Systems.	WISTP	2007	DBLP DOI BibTeX RDF	class loading, information flow, confidentiality, type checking
16	Diomidis Spinellis	Bug Busters.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	Lint, annotations, tools, errors, type checking, bugs
16	Yuri Leontiev, M. Tamer Özsu, Duane Szafron	On type systems for object-oriented database programming languages.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	OODB, OODBPL, object-oriented database programming language, typing, type checking
16	Sotiris Skevoulis, Maria Falidas	Integrating formal methods tools into undergraduate computer science curriculum.	ITiCSE	2002	DBLP DOI BibTeX RDF	formal methods tools, verification, type checking, Z language, formal design
16	Lerina Aversano, Massimiliano Di Penta, Ira D. Baxter	Handling Preprocessor-Conditioned Declarations.	SCAM	2002	DBLP DOI BibTeX RDF	Preprocessor code analysis, multi-platform software, type-checking, symbol table
16	Andrew C. Myers, Barbara Liskov	Protecting privacy using the decentralized label model.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	principals, integrity, policies, lattice, confidentiality, roles, type checking, information flow controls, declassification, end-to-end, downgrading
16	Stephen N. Freund, John C. Mitchell	The type system for object initializatiion in the Jave bytecode language.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	bytecode languages, object initialization, Java, type checking
16	Franz Puntigam, Christof Peter	Changeable Interfaces and Promised Messages for Concurrent Components.	SAC	1999	DBLP DOI BibTeX RDF	static type checking, interfaces, subtyping
16	Elisa Bertino, Elena Ferrari, Giovanna Guerrini	Navigational Accesses in a Temporal Object Model.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	Temporal object-oriented data models, navigational data accesses, static analysis and type checking, temporal query languages
16	Matt Kaufmann, J Strother Moore	An Industrial Strength Theorem Prover for a Logic Based on Common Lisp.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	total functions, microcode verification, floating point division, Formal verification, digital signal processing, type checking, computational logic, automatic theorem proving, partial functions
16	Savi Maharaj, Juan Bicarregui	On the Verification of VDM Specification and Refinement with PVS.	ASE	1997	DBLP DOI BibTeX RDF	VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules
16	Giorgio Ghelli	Complexity of Kernel Fun Subtype Checking.	ICFP	1996	DBLP DOI BibTeX RDF	polymorphism, subtyping, type theory, type checking
16	Catherine Dubois, François Rouaix, Pierre Weis	Generic Polymorphism.	POPL	1995	DBLP DOI BibTeX RDF	debugging, genericity, dynamics, ML, ML, polymorphism, functional language, type checking, Caml, ad-hoc polymorphism
16	D. A. Thomas, Bernard Pagurek, Raymond J. A. Buhr	Validation Algorithms for Pointer Values in DBTG DataBases.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	database utilities, validation, database integrity, type checking
15	Naoki Kobayashi 0001, Naoshi Tabuchi, Hiroshi Unno 0001	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
15	Xinming Tan, Yingxu Wang 0001, Cyprian F. Ngolah	Specification of the RTPA Grammar and Its Recognition.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	descriptive mathematics, grammar recognition, LL(k), type checker, software engineering, formal methods, Cognitive informatics, parser, system behaviors, human behaviors, RTPA
15	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
15	Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger	A Nominal Theory of Objects with Dependent Types.	ECOOP	2003	DBLP DOI BibTeX RDF
15	Karl Crary, Joseph Vanderwaart	An expressive, scalable type theory for certified code.	ICFP	2002	DBLP DOI BibTeX RDF
15	Pascal Zimmer	Subtyping and Typing Algorithms for Mobile Ambients.	FoSSaCS	2000	DBLP DOI BibTeX RDF