Search results for "typechecking"

Found 116 publication records. Showing 116 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Haruo Hosoya, Benjamin C. Pierce	XDuce: A statically typed XML processing language.	ACM Trans. Internet Techn.	2003	DBLP DOI BibTeX RDF	XML, Type systems, subtyping, tree automata
15	Haruo Hosoya, Makoto Murata	Boolean Operations for Attribute-Element Constraints.	CIAA	2003	DBLP DOI BibTeX RDF
15	Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin	Language Support for Connector Abstractions.	ECOOP	2003	DBLP DOI BibTeX RDF
15	Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou	A type system for certified binaries.	POPL	2002	DBLP DOI BibTeX RDF
15	Karl Crary, Joseph Vanderwaart	An expressive, scalable type theory for certified code.	ICFP	2002	DBLP DOI BibTeX RDF
15	Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright	Class Refinement as Semantics of Correct Object Substitutability.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing
15	Michael W. Hicks, Stephanie Weirich, Karl Crary	Safe and Flexible Dynamic Linking of Native Code.	Types in Compilation	2000	DBLP DOI BibTeX RDF
15	Todd D. Millstein, Craig Chambers	Modular Statically Typed Multimethods.	ECOOP	1999	DBLP DOI BibTeX RDF
15	Douglas J. Howe	Interactive Theorem Proving Using Type Theory.	CSL	1999	DBLP DOI BibTeX RDF
15	Peter Buneman, Benjamin C. Pierce	Union Types for Semistructured Data.	DBPL	1999	DBLP DOI BibTeX RDF
15	Vassily Litvinov	Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System.	OOPSLA	1998	DBLP DOI BibTeX RDF
15	Bernard Berthomieu, Thierry Le Sergent	Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS.	ESOP	1994	DBLP DOI BibTeX RDF
15	Benjamin C. Pierce	Bounded Quantification is Undecidable.	POPL	1992	DBLP DOI BibTeX RDF
15	John C. Reynolds	Syntactic Control of Inference, Part 2.	ICALP	1989	DBLP DOI BibTeX RDF
15	Luca Cardelli, John C. Mitchell	Operations on Records.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
15	Paul W. Abrahams	Some sad remarks about string handling in C.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C

Displaying result #101 - #116 of 116 (100 per page; Change: )
Pages: [<<][1][2]