Search results for "typechecking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu	Typechecking XML views of relational databases.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	typechecking, XML, Complexity, relational databases, logic
102	Dan Suciu	The XML Typechecking Problem.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
94	Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner	Deep typechecking and refactoring.	OOPSLA	2008	DBLP DOI BibTeX RDF	JPA query analysis, cross language refactoring, cross language typechecking
79	Jerzy Marcinkowski, Piotr Wieczorek	Modulo Constraints and the Complexity of Typechecking XML Views.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Typechecking, XML, Complexity, Relational databases, Logic
79	Todd D. Millstein, Colin Bleckner, Craig Chambers	Modular typechecking for hierarchically extensible datatypes and functions.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Extensible datatypes, extensible functions, modular typechecking
79	Todd D. Millstein, Mark Reay, Craig Chambers	Relaxed MultiJava: balancing extensibility and modular typechecking.	OOPSLA	2003	DBLP DOI BibTeX RDF	class loader, external methods, relaxed MultiJava, multimethods, modular typechecking
79	Todd D. Millstein, Colin Bleckner, Craig Chambers	Modular typechecking for hierarchically extensible datatypes and functions.	ICFP	2002	DBLP DOI BibTeX RDF	extensible datatypes, extensible functions, modular typechecking
71	Alain Frisch, Haruo Hosoya	Towards Practical Typechecking for Macro Tree Transducers.	DBPL	2007	DBLP DOI BibTeX RDF
71	Wim Martens, Frank Neven	Frontiers of Tractability for Typechecking Simple XML Transformations. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
71	Wim Martens, Frank Neven	Typechecking Top-Down Uniform Unranked Tree Transducers.	ICDT	2003	DBLP DOI BibTeX RDF
71	Tova Milo, Dan Suciu, Victor Vianu	Typechecking for XML Transformers.	PODS	2000	DBLP DOI BibTeX RDF
68	Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay	Session Types for Functional Multithreading.	CONCUR	2004	DBLP DOI BibTeX RDF	static typechecking, specification of communication protocols, concurrent programming, Session types
56	Piotr Wieczorek	Complexity of Typechecking XML Views of Relational Databases.	ICDT	2007	DBLP DOI BibTeX RDF
53	Florent Jacquemard, Michaël Rusinowitch	Rewrite-based verification of XML updates.	PPDP	2010	DBLP DOI BibTeX RDF	hedge automata, static typechecking, xml access control policies, xml updates, term rewriting
53	Todd D. Millstein, Christopher Frost 0001, Jason Ryder, Alessandro Warth	Expressive and modular predicate dispatch for Java.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	dynamic dispatch, Predicate dispatch, modular typechecking
53	Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers	MultiJava: Design rationale, compiler implementation, and applications.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
48	Craig Chambers, Gary T. Leavens	Typechecking and Modules for Multimethods.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	static typechecking, inheritance, subtyping, encapsulation, multimethods
46	Haiming Chen, Lei Chen	Inclusion Test Algorithms for One-Unambiguous Regular Expressions.	ICTAC	2008	DBLP DOI BibTeX RDF	One-unambiguous regular expression, algorithm, inclusion
46	James Cheney	Regular Expression Subtyping for XML Query and Update Languages.	ESOP	2008	DBLP DOI BibTeX RDF
46	Christopher A. Stone, Robert Harper 0001	Deciding Type Equivalence with Singleton Kinds.	POPL	2000	DBLP DOI BibTeX RDF
41	Jana Dunfield	Refined typechecking with Stardust.	PLPV	2007	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
38	Brian Chin, Shane Markstrum, Todd D. Millstein	Semantic type qualifiers.	PLDI	2005	DBLP DOI BibTeX RDF	extensible typechecking, type qualifiers, type soundness
38	Tim Miller 0001, Leo Freitas, Petra Malik, Mark Utting	CZT Support for Z Extensions.	IFM	2005	DBLP DOI BibTeX RDF	Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ
38	Todd D. Millstein	Practical predicate dispatch.	OOPSLA	2004	DBLP DOI BibTeX RDF	dynamic dispatch, predicate dispatch, modular typechecking
38	John M. Rushby, Sam Owre, Natarajan Shankar	Subtypes for Specifications: Predicate Subtyping in PVS.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	typechecking, Formal methods, consistency, type systems, specification languages, subtypes, PVS
30	Michael Benedikt, James Cheney	Semantics, Types and Effects for XML Updates.	DBPL	2009	DBLP DOI BibTeX RDF
30	Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis	Refinement Types for Secure Implementations.	CSF	2008	DBLP DOI BibTeX RDF
30	Joost Engelfriet, Hendrik Jan Hoogeboom, Bart Samwel	XML transformation by tree-walking transducers with invisible pebbles.	PODS	2007	DBLP DOI BibTeX RDF	tree transducer, XML, pebble
30	Michel de Rougemont, Adrien Vieilleribière	Approximate Data Exchange.	ICDT	2007	DBLP DOI BibTeX RDF
30	Simon J. Gay, Malcolm Hole	Subtyping for session types in the pi calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
30	Thierry Coquand, Randy Pollack, Makoto Takeyama	A Logical Framework with Dependently Typed Records.	TLCA	2003	DBLP DOI BibTeX RDF
30	Ferruccio Damiani	Rank 2 intersection types for modules.	PPDP	2003	DBLP DOI BibTeX RDF	type inference, separate compilation, principal typings
30	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
30	Davide Ancona, Giovanni Lagorio, Elena Zucca	A Formal Framework for Java Separate Compilation.	ECOOP	2002	DBLP DOI BibTeX RDF
30	Peter Buneman, Atsushi Ohori	Polymorphism and Type Inference in Database Programming.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	generalized relational algebra, record calculus, object-oriented databases, inheritance, polymorphism, type inference
30	Myra Van Inwegen, Elsa L. Gunter	HOL-ML.	HUG	1993	DBLP DOI BibTeX RDF
26	A. Laura Voinea, Ornela Dardha, Simon J. Gay	Typechecking Java Protocols with [St]Mungo.	FORTE	2020	DBLP DOI BibTeX RDF
26	Jana Dunfield, Neelakantan R. Krishnaswami	Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
26	Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren	XML Typechecking.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
26	Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay	Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
26	Kazuhiro Abe, Keisuke Nakano 0001	Towards Practical Typechecking for Macro Forest Transducers.	J. Inf. Process.	2017	DBLP DOI BibTeX RDF
26	Anthony Canino, Yu David Liu	Proactive and adaptive energy-aware programming with mixed typechecking.	PLDI	2017	DBLP DOI BibTeX RDF
26	Jana Dunfield, Neelakantan R. Krishnaswami	Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types.	CoRR	2016	DBLP BibTeX RDF
26	Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay	Typechecking protocols with Mungo and StMungo.	PPDP	2016	DBLP DOI BibTeX RDF
26	Ronan Saillard	Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice. (Vérification de typage pour le lambda-Pi-Calcul Modulo : théorie et pratique).		2015	RDF
26	Jana Dunfield, Neelakantan R. Krishnaswami	Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.	CoRR	2013	DBLP BibTeX RDF
26	Jana Dunfield, Neelakantan R. Krishnaswami	Complete and easy bidirectional typechecking for higher-rank polymorphism.	ICFP	2013	DBLP DOI BibTeX RDF
26	Jana Dunfield	Annotations for Intersection Typechecking.	ITRS	2012	DBLP DOI BibTeX RDF
26	Jana Dunfield	Untangling Typechecking of Intersections and Unions	ITRS	2010	DBLP DOI BibTeX RDF
26	Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts	Typechecking Higher-Order Security Libraries.	APLAS	2010	DBLP DOI BibTeX RDF
26	Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren	XML Typechecking.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
26	Joost Engelfriet	The time complexity of typechecking tree-walking tree transducers.	Acta Informatica	2009	DBLP DOI BibTeX RDF
26	Wim Martens, Frank Neven, Marc Gyssens	Typechecking top-down XML transformations: Fixed input or output schemas.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
26	Gavin M. Bierman, Matthew J. Parkinson, James Noble 0001	UpgradeJ: Incremental Typechecking for Class Upgrades.	ECOOP	2008	DBLP DOI BibTeX RDF
26	Wim Martens, Frank Neven	Frontiers of tractability for typechecking simple XML transformations.	J. Comput. Syst. Sci.	2007	DBLP DOI BibTeX RDF
26	Alain Frisch, Haruo Hosoya	Towards Practical Typechecking for Macro Tree Transducers	CoRR	2007	DBLP BibTeX RDF
26	Simon J. Gay, Rajagopal Nagarajan	Types and typechecking for Communicating Quantum Processes.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
26	Wim Martens, Frank Neven, Marc Gyssens	On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas	CoRR	2006	DBLP BibTeX RDF
26	Wim Martens, Frank Neven	On the complexity of typechecking top-down XML transformations.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
26	Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter	Typechecking Safe Process Synchronization.	FGUC	2004	DBLP DOI BibTeX RDF
26	Jana Dunfield, Frank Pfenning	Tridirectional typechecking.	POPL	2004	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
26	Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu	XML with data values: typechecking revisited.	J. Comput. Syst. Sci.	2003	DBLP DOI BibTeX RDF
26	Tova Milo, Dan Suciu, Victor Vianu	Typechecking for XML transformers.	J. Comput. Syst. Sci.	2003	DBLP DOI BibTeX RDF
26	Antti-Juhani Kaijanaho	On Typechecking B.	SPLST	2003	DBLP BibTeX RDF
26	Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu	Typechecking XML Views of Relational Databases.	LICS	2001	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	Dan Suciu	Typechecking for Semistructured Data.	DBPL	2001	DBLP DOI BibTeX RDF
26	Emanuele Panizzi, Bernardo Pastorelli	Multimethods and separate static typechecking in a language with C++-like object model	CoRR	2000	DBLP BibTeX RDF
26	Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King 0001	Typechecking Z.	ZB	2000	DBLP DOI BibTeX RDF
26	Eric Violard	Typechecking of PEI Expressions.	Euro-Par	1997	DBLP DOI BibTeX RDF	Data Parallelism and automatic parallelization, Parallel computation, Type inference, Semantics of programming languages
26	Craig Chambers, Gary T. Leavens	Typechecking and Modules for Multi-Methods.	OOPSLA	1994	DBLP DOI BibTeX RDF
26	Gilad Bracha, David Griswold	Strongtalk: Typechecking Smalltalk in a Production Environment.	OOPSLA	1993	DBLP DOI BibTeX RDF
26	Emmanuel Chailloux	A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages.	IWMM	1992	DBLP DOI BibTeX RDF
26	Didier Rémy	Typechecking Records and Variants in a Natural Extension of ML.	POPL	1989	DBLP DOI BibTeX RDF	ML
26	Luca Cardelli	Basic Polymorphic Typechecking.	Sci. Comput. Program.	1987	DBLP DOI BibTeX RDF
26	Luca Cardelli	Typechecking Dependent Types and Subtypes.	Foundations of Logic and Functional Programming	1986	DBLP DOI BibTeX RDF
26	Nancy McCracken	The Typechecking of Programs with Implicit Type Structure.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
23	Sonia Fagorzi, Elena Zucca	A Framework for Type Safe Exchange of Mobile Code.	TGC	2006	DBLP DOI BibTeX RDF	parametric calculus, static and dynamic typechecking, subtyping, mobile code
23	Alessandro Warth, Milan Stanojevic, Todd D. Millstein	Statically scoped object adaptation with expanders.	OOPSLA	2006	DBLP DOI BibTeX RDF	object adaptation, expanders, modular typechecking
23	Roberto M. Amadio, Luca Cardelli	Subtyping Recursive Types.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions
15	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001	Modular verification of security protocol code by typing.	POPL	2010	DBLP DOI BibTeX RDF	f7, refinement type
15	Donna Malayeri, Jonathan Aldrich	CZ: multiple inheritance without diamonds.	OOPSLA	2009	DBLP DOI BibTeX RDF	diamond problem, modularity, multiple inheritance, multimethods
15	Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli	Reliable Evidence: Auditability by Typing.	ESORICS	2009	DBLP DOI BibTeX RDF
15	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on Windows Vista.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
15	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on windows vista.	PLAS	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
15	Ewan D. Tempero, Gavin M. Bierman, James Noble 0001, Matthew J. Parkinson	From Java To UpgradeJ: An Empirical Study.	HotSWUp	2008	DBLP DOI BibTeX RDF
15	Donna Malayeri	Combining structural subtyping and external dispatch.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	by-name subtyping, external dispatch, structural subtyping
15	Donna Malayeri, Jonathan Aldrich	Combining structural subtyping and external dispatch.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	by-name subtyping, external dispatch, structural subtyping
15	Audrey Tang	Perl 6: reconciling the irreconcilable.	POPL	2007	DBLP DOI BibTeX RDF
15	Thorsten Altenkirch, Conor McBride, Wouter Swierstra	Observational equality, now!	PLPV	2007	DBLP DOI BibTeX RDF	type theory, equality
15	Derek Dreyer, Matthias Blume	Principal Type Schemes for Modular Programs.	ESOP	2007	DBLP DOI BibTeX RDF
15	Derek Dreyer	A type system for recursive modules.	ICFP	2007	DBLP DOI BibTeX RDF	type systems, recursion, abstract data types, modules
15	James McKinna	Why dependent types matter.	POPL	2006	DBLP DOI BibTeX RDF
15	Corin Pitcher, James Riely	Dynamic Policy Discovery with Remote Attestation.	FoSSaCS	2006	DBLP DOI BibTeX RDF	code-identity based access control, policy establishment, Next Generation Secure Computing Base, ?-calculus, key establishment, remote attestation
15	Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg	Inference of User-Defined Type Qualifiers and Qualifier Rules.	ESOP	2006	DBLP DOI BibTeX RDF
15	John M. Rushby	Tutorial: Automated Formal Methods with PVS, SAL, and Yices.	SEFM	2006	DBLP DOI BibTeX RDF
15	Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll	An overview of JML tools and applications.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Assertion checking, Java, Formal specification, Program verification, Design by Contract
15	Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou	A type system for certified binaries.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	proof-preserving compilation, typed intermediate languages, Certified code
15	Haruo Hosoya, Alain Frisch, Giuseppe Castagna	Parametric polymorphism for XML.	POPL	2005	DBLP DOI BibTeX RDF	XML, polymorphism, subtyping, tree automata
15	Petra Malik, Mark Utting	CZT: A Framework for Z Tools.	ZB	2005	DBLP DOI BibTeX RDF