Search results for "type-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	François Bourdoncle, Stephan Merz	Type-Checking Higher-Order Polymorphic Multi-Methods.	POPL	1997	DBLP DOI BibTeX RDF	ML
12	Peter G. Kluit, Cornelis Pronk, Rob Verver	Static Type Checking and Method Lookup in Plop!.	JMLC	1997	DBLP DOI BibTeX RDF
12	Apostolos Syropoulos	A Note On Type Checking Linear Functional Languages.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
12	Apostolos Syropoulos	A Note On Type Checking Linaer Functional Languages.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
12	Dennis M. Volpano	Lower Bounds on Type Checking Overloading.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
12	Sophia Drossopoulou, Stephan Karathanos, Dan Yang	Type-Checking Smalltalk.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
12	Steven L. Jenkins, Gary T. Leavens	Polymorphic Type-Checking in Scheme.	Comput. Lang.	1996	DBLP DOI BibTeX RDF
12	Thierry Coquand	An Algorithm for Type-Checking Dependent Types.	Sci. Comput. Program.	1996	DBLP DOI BibTeX RDF
12	Alex Farkas, Alan Dearle, David Hulse	Operating System Support for Inter-Domain Type Checking.	POS	1996	DBLP BibTeX RDF
12	Frank Eliassen, John R. Nicol	A flexible type checking model for stream interface binding.	MMSD	1996	DBLP DOI BibTeX RDF
12	Dennis M. Volpano	Type Checking Coherent Overloading.	Softw. Concepts Tools	1995	DBLP BibTeX RDF
12	Giorgio Ghelli	Divergence of F< Type Checking.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
12	Pascal Brisset	Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language.	ILPS	1994	DBLP BibTeX RDF
12	Nikos Mylonakis, J. Perez Campo	A Type Checking Tool for a Formal Specification Language.	GULP-PRODE (2)	1994	DBLP BibTeX RDF
12	J. B. Wells	Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable	LICS	1994	DBLP DOI BibTeX RDF
12	Daniel Kim Chung Chan, Philip W. Trinder	An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z.	Z User Workshop	1994	DBLP DOI BibTeX RDF
12	Alexander Aiken, T. K. Lakshman	Directional Type Checking of Logic Programs	SAS	1994	DBLP DOI BibTeX RDF
12	Jian Chen, Bohdan Durnota	Type Checking Classes in Object-Z to Promote Quality of Specifications.	Software Quality and Productivity	1994	DBLP BibTeX RDF
12	Roberto Ierusalimschy	A Denotational Approach for Type-Checking in Object-Oriented Programming Languages.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
12	Carl McCrosky, Ken Sailor	A Synthesis of Type-Checking and Parsing.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
12	Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller	Safe and Decidable Type Checking in an Object-Oriented Language.	OOPSLA	1993	DBLP DOI BibTeX RDF
12	Kevin E. Flannery	Lambda-Calculi with Decidable Cappa-Type Checking.	ICCI	1993	DBLP BibTeX RDF
12	T. B. Dinesh	Type-Checking Revisited: Modular Error-Handling.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
12	Philip W. Dart, Justin Zobel	Efficient Run-Time Type Checking of Typed Logic Programs.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
12	Pierre-Louis Curien, Giorgio Ghelli	Coherence of Subsumption, Minimum Typing and Type-Checking in F<=.	Math. Struct. Comput. Sci.	1992	DBLP DOI BibTeX RDF
12	Heidi E. Myers, James M. Purtilo	Interface Type Checking of Large C Applications.	Comput. Lang.	1992	DBLP DOI BibTeX RDF
12	Staffan Bonnier, Jonas Wallgren	Logic Programs with Polymorphic Types: A condition for static type checking.	CTRS	1992	DBLP DOI BibTeX RDF
12	Alan Mycroft	Incremental Polymorphic Type Checking with Update.	LFCS	1992	DBLP DOI BibTeX RDF
12	Robert Harper 0001, Robert Pollack	Type Checking with Universes.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
12	Rakesh Agrawal 0001, Linda G. DeMichiel, Bruce G. Lindsay 0001	Static Type Checking of Multi-Methods.	OOPSLA	1991	DBLP DOI BibTeX RDF
12	Pierre De Boeck, Baudouin Le Charlier	Automatic Construction of Prolog Primitives for Type Checking Analysis.	JTASPEFT/WSA	1991	DBLP BibTeX RDF
12	Gordon D. Plotkin	A Semantics for Type Checking.	TACS	1991	DBLP DOI BibTeX RDF
12	Val Tannen, Peter Buneman, Atsushi Ohori	Static Type-checking in Object-Oriented Databases.	IEEE Data Eng. Bull.	1989	DBLP BibTeX RDF
12	Peter Grogono, Anne Bennett	Polymorphism and type checking in object-oriented languages.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
12	Scott N. Gerard	Adding an authorization dimension to strong type checking.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Modula-2
12	Malcolm P. Atkinson 0001, Peter Buneman, Ronald Morrison	Binding and Type Checking in Database Programming Languages.	Comput. J.	1988	DBLP DOI BibTeX RDF
12	Michael R. Levy	Type Checking in the Large.	CC	1988	DBLP DOI BibTeX RDF
12	Lars-Erik Thorelli	Modules and Type Checking in PL/LL.	OOPSLA	1987	DBLP DOI BibTeX RDF
12	David C. J. Matthews	Static and Dynamic Type Checking.	DBPL	1987	DBLP DOI BibTeX RDF
12	Anthony J. Cowling	Type Checking in Polymorphic Languages.	Comput. J.	1986	DBLP DOI BibTeX RDF
12	Ralph E. Johnson	Type-Checking Smalltalk.	OOPSLA	1986	DBLP DOI BibTeX RDF
12	Axel Poigné	Error Handling as Type Checking.	ADT	1986	DBLP BibTeX RDF
12	Prateek Mishra, Uday S. Reddy	Declaration-Free Type Checking.	POPL	1985	DBLP DOI BibTeX RDF	equational languages, regular trees, solving inequations, type inference
12	Allan Ramsay	Type-Checking in an Untyped Language.	Int. J. Man Mach. Stud.	1984	DBLP DOI BibTeX RDF
12	Ronald T. House	A Proposal for an Extended Form of Type Checking of Expressions.	Comput. J.	1983	DBLP DOI BibTeX RDF
12	Lambert G. L. T. Meertens	Incremental Polymorphic Type Checking in B.	POPL	1983	DBLP DOI BibTeX RDF
12	Hamish I. E. Gunn	Compile Time Type Checking of Structure Field Accessing.	Inf. Process. Lett.	1982	DBLP DOI BibTeX RDF
12	Roberto Barbuti, Alberto Martelli	Static Type Checking for Languages with Parametric Types and Polymorphic Procedures.	Symposium on Programming	1980	DBLP DOI BibTeX RDF
12	Terrence C. Miller	Type Checking in an Imperfect World.	POPL	1979	DBLP DOI BibTeX RDF
12	Richard B. Kieburtz, W. Barabash, C. R. Hill	A Type-Checking Program Linkage System for Pascal.	ICSE	1978	DBLP BibTeX RDF
12	Peter Henderson 0001	An Approach to Compile-Time Type Checking.	IFIP Congress	1977	DBLP BibTeX RDF
12	C. J. Higley	Type Checking in Typeless Language.	Comput. J.	1976	DBLP DOI BibTeX RDF
12	Benjamin M. Brosgol	Some issues in data types and type checking.	Design and Implementation of Programming Languages	1976	DBLP DOI BibTeX RDF
12	H. K. F. Yeung	Type-Checking Systems with Particular Applications to Functional Languages.		1976	RDF
12	Clifford R. Hollander	Mechanical construction of type-checking predicates for extensible data types.	ACM Annual Conference (1)	1974	DBLP DOI BibTeX RDF
12	Henry F. Ledgard	A Model for Type Checking - with an Application to ALGOL 60.	Commun. ACM	1972	DBLP DOI BibTeX RDF
12	Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds	XMI2USE: A Tool for Transforming XMI to USE Specifications.	ER Workshops	2009	DBLP DOI BibTeX RDF	MDA, Model Transformation, OCL, USE, Modeling Tool, XMI
12	Paul A. Bailes, Colin J. M. Kemp	Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.	COMPSAC	2003	DBLP DOI BibTeX RDF
11	Kohei Honda 0001, Nobuko Yoshida, Marco Carbone	Multiparty asynchronous session types.	POPL	2008	DBLP DOI BibTeX RDF	multiparty, communications, causality, choreography, structured programming, session types, mobile processes
11	Ana Bove, Peter Dybjer	Dependent Types at Work.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
11	Peter Müller 0001, Arsenii Rudich	Ownership transfer in universe types.	OOPSLA	2007	DBLP DOI BibTeX RDF	universe types, aliasing, uniqueness, ownership transfer
11	Shan Shan Huang, David Zook, Yannis Smaragdakis	Morphing: Safely Shaping a Class in the Image of Others.	ECOOP	2007	DBLP DOI BibTeX RDF
11	Cong-Cong Xing	An algorithm for computing links.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
11	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Type Processing by Constraint Reasoning.	APLAS	2006	DBLP DOI BibTeX RDF
11	Lingxiao Jiang, Zhendong Su 0001	Osprey: a practical type system for validating dimensional unit correctness of C programs.	ICSE	2006	DBLP DOI BibTeX RDF	measurement units, type systems, Gaussian elimination, dimensional analysis, constraint-based analysis
11	Ken Q. Pu, Alberto O. Mendelzon	Typed functional query languages with equational specifications.	CIKM	2005	DBLP DOI BibTeX RDF	functional query languages, type system, OLAP, equational logic
11	Juan Chen, David Tarditi	A simple typed intermediate language for object-oriented languages.	POPL	2005	DBLP DOI BibTeX RDF	class and object encoding, typed intermediate language
11	Nathaniel Nystrom, Stephen Chong, Andrew C. Myers	Scalable extensibility via nested inheritance.	OOPSLA	2004	DBLP DOI BibTeX RDF	nested classes, inheritance, object-oriented programming languages, virtual classes
11	François Bry, Stephanie Spranger	Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages.	PPSWR	2004	DBLP DOI BibTeX RDF
11	Daniele Gorla, Rosario Pugliese	Resource Access and Mobility Control with Dynamic Privileges Acquisition.	ICALP	2003	DBLP DOI BibTeX RDF
11	Alain Frisch, Giuseppe Castagna, Véronique Benzaken	Semantic Subtyping.	LICS	2002	DBLP DOI BibTeX RDF
11	Andrew D. Gordon 0001, Don Syme	Typing a multi-language intermediate code.	POPL	2001	DBLP DOI BibTeX RDF
11	Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen	What Are Polymorphically-Typed Ambients?	ESOP	2001	DBLP DOI BibTeX RDF
11	Yanbing Li, Miriam Leeser	HML, a novel hardware description language and its translation to VHDL.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
11	Kohei Honda 0001, Vasco Thudichum Vasconcelos, Nobuko Yoshida	Secure Information Flow as Typed Process Behaviour.	ESOP	2000	DBLP DOI BibTeX RDF
11	Marinus J. Plasmeijer, Marko C. J. D. van Eekelen	Term Graph Rewriting and Mobile Expressions in Functional Languages.	AGTIVE	1999	DBLP DOI BibTeX RDF
11	Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle	FACADE: A Typed Intermediate Language Dedicated to Smart Cards.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
11	Gilles Barthe	The Semi-Full Closure of Pure Type Systems.	MFCS	1998	DBLP DOI BibTeX RDF
11	Geoffrey Smith 0001, Dennis M. Volpano	Polymorphic typing of Variables and References.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	variables, assignment, references
11	David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper 0001, Peter Lee 0001	TIL: a type-directed, optimizing compiler for ML (with retrospective)	Best of PLDI	1996	DBLP DOI BibTeX RDF
11	Erik Barendsen, Sjaak Smetsers	Uniqueness Type Inference	PLILP	1995	DBLP DOI BibTeX RDF
11	Mario Coppo, Paola Giannini	A Complete Type Inference Algorithm for Simple Intersection Types.	CAAP	1992	DBLP DOI BibTeX RDF
11	Mark A. Sheldon, David K. Gifford	Static Dependent Types for First Class Modules.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	LISP
11	Atsushi Ohori, Peter Buneman, Val Tannen	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
11	Pierre Jouvelot, David K. Gifford	The FX-87 Interpreter.	ICCL	1988	DBLP DOI BibTeX RDF
11	Mitchell Wand	Embedding Type Structure in Semantics.	POPL	1985	DBLP DOI BibTeX RDF
11	Lawrence A. Rowe	Data Abstraction From a Programming Language Viewpoint.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
10	Richard Dapoigny, Patrick Barlatier	Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.	ER	2009	DBLP DOI BibTeX RDF
10	Jaakko Järvi, John Freeman	Lambda functions for C++0x.	SAC	2008	DBLP DOI BibTeX RDF	lambda functions, C++, closures, STL
10	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	abc : An Extensible AspectJ Compiler.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
10	Nigamanth Sridhar	Dynamic instantiation-checking components.	SAC	2006	DBLP DOI BibTeX RDF
10	Hiroshi Ishikawa 0003	A Specification Construction Unit-Based Editor for Z.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
10	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	abc: an extensible AspectJ compiler.	AOSD	2005	DBLP DOI BibTeX RDF
10	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa	A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.	VMCAI	2002	DBLP DOI BibTeX RDF
10	D. Scott Alexander, Marianne Shaw, Scott Nettles, Jonathan M. Smith	Active Bridging.	SIGCOMM	1997	DBLP DOI BibTeX RDF
10	Daniel Jackson 0001	Aspect: Detecting Bugs with Abstract Dependences.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	dataflow dependences, partial verification, partial specification
10	Colin O'Halloran, Chris T. Sennett	Security Through Type Analysis.	ESORICS	1994	DBLP DOI BibTeX RDF	secure computer systems, Types, formal techniques, security evaluation
10	Robert Harper 0001, Furio Honsell, Gordon D. Plotkin	A Framework for Defining Logics.	J. ACM	1993	DBLP DOI BibTeX RDF	proof checking, interactive theorem proving, typed lambda calculus, formal systems
10	Chris Fickert, Thomas A. Sudkamp	Unification based FP interpreters.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	FP
10	Margaret Montenyohl, Mitchell Wand	Correct Flow Analysis in Continuation Semantics.	POPL	1988	DBLP DOI BibTeX RDF