Search results for "type-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Michael Ernst	Lightweight software verification with pluggable type-checking.	CIbSE	2015	DBLP BibTeX RDF
12	Stef M. M. Joosten, Sebastiaan J. C. Joosten	Type Checking by Domain Analysis in Ampersand.	RAMiCS	2015	DBLP DOI BibTeX RDF
12	Edlira Kuci, Sebastian Erdweg, Mira Mezini	Toward incremental type checking for Java.	SPLASH (Companion Volume)	2015	DBLP DOI BibTeX RDF
12	Juan Edi, Andrés Viso, Eduardo Bonelli	Efficient Type Checking for Path Polymorphism.	TYPES	2015	DBLP DOI BibTeX RDF
12	Dimitrios Kouzapas, Anna Philippou	Type Checking Privacy Policies in the π-calculus.	FORTE	2015	DBLP DOI BibTeX RDF
12	Kevin van der Pol, Thomas Noll 0001	Security Type Checking for MILS-AADL Specifications.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
12	Eleni Kokkinofta, Anna Philippou	Type Checking Purpose-Based Privacy Policies in the π-Calculus.	WS-FM	2015	DBLP DOI BibTeX RDF
12	Marko van Dooren, Bart Jacobs 0002, Wouter Joosen	Modular type checking of anchored exception declarations.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
12	Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu	Really Natural Linear Indexed Type Checking.	IFL	2014	DBLP DOI BibTeX RDF
12	Cédric Bastin, Vlad Ureche, Martin Odersky	ScalaDyno: making name resolution and type checking fault-tolerant.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
12	Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida	Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.	FORTE	2014	DBLP DOI BibTeX RDF
12	Takayuki Muranushi, Richard A. Eisenberg	Experience report: type-checking polymorphic units for astrophysics research in Haskell.	Haskell	2014	DBLP DOI BibTeX RDF
12	Marco Giunti	Algorithmic type checking for a pi-calculus with name matching and session types.	J. Log. Algebraic Methods Program.	2013	DBLP DOI BibTeX RDF
12	Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer	Compositional type checking of delta-oriented software product lines.	Acta Informatica	2013	DBLP DOI BibTeX RDF
12	Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani	Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
12	Gabriel Ciobanu, Ross Horne, Vladimiro Sassone	Local Type Checking for Linked Data Consumers.	WWV	2013	DBLP DOI BibTeX RDF
12	Neville Grech, Julian Rathke, Bernd Fischer 0002	Preemptive Type Checking in Dynamically Typed Languages.	ICTAC	2013	DBLP DOI BibTeX RDF
12	Sergiy S. Kolesnikov, Alexander von Rhein, Claus Hunsen, Sven Apel	A comparison of product-based, feature-based, and family-based type checking.	GPCE	2013	DBLP DOI BibTeX RDF
12	Michele Bugliesi, Stefano Calzavara, Alvise Spanò	Lintent: Towards Security Type-Checking of Android Applications.	FMOODS/FORTE	2013	DBLP DOI BibTeX RDF
12	Neville Grech	Pre-emptive type checking in dynamically typed programs.		2013	RDF
12	Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake	Type checking annotation-based product lines.	ACM Trans. Softw. Eng. Methodol.	2012	DBLP DOI BibTeX RDF
12	Sebastian Maneth, Sylvia Friese, Helmut Seidl	Type Checking of Tree Walking Transducers.	Modern Applications of Automata Theory	2012	DBLP DOI BibTeX RDF
12	Cyrus Omar	Active type-checking and translation.	SPLASH	2012	DBLP DOI BibTeX RDF
12	Mário de Sousa	Data-type checking of IEC61131-3 ST and IL applications.	ETFA	2012	DBLP DOI BibTeX RDF
12	Catherine Meadows 0001	Type Checking and Security.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
12	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
12	Zoltán Ujhelyi, Ákos Horváth 0001, Dániel Varró	Static Type Checking of Model Transformation Programs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
12	Marco Giunti	A type checking algorithm for qualified session types	WWV	2011	DBLP DOI BibTeX RDF
12	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
12	Owen Anderson, Emily Fortuna, Luis Ceze, Susan J. Eggers	Checked Load: Architectural support for JavaScript type-checking on mobile processors.	HPCA	2011	DBLP DOI BibTeX RDF
12	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
12	Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva 0001	Type Checking Cryptography Implementations.	FSEN	2011	DBLP DOI BibTeX RDF
12	Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani	Compositional type-checking for delta-oriented programming.	AOSD	2011	DBLP DOI BibTeX RDF
12	Sylvia Friese	On normalization and type checking for tree transducers.		2011	RDF
12	Dirk Kleeblatt	On a Strongly Normalizing STG Machine with an Application to Dependent Type Checking.		2011	RDF
12	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
12	Kenneth L. Knowles, Cormac Flanagan	Hybrid type checking.	ACM Trans. Program. Lang. Syst.	2010	DBLP DOI BibTeX RDF
12	Jiawei Ou, Fabio Pellacini	SafeGI: Type Checking to Improve Correctness in Rendering System Implementation.	Comput. Graph. Forum	2010	DBLP DOI BibTeX RDF
12	Andy Kenner, Christian Kästner, Steffen Haase, Thomas Leich	TypeChef: toward type checking #ifdef variability in C.	FOSD	2010	DBLP DOI BibTeX RDF
12	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
12	Zoltán Ujhelyi	Static Type Checking of Model Transformation Programs.	ICGT	2010	DBLP DOI BibTeX RDF
12	Marcin Zalewski, Sibylle Schupp	A Semantic Definition of Separate Type Checking in C++ with Concepts.	J. Object Technol.	2009	DBLP DOI BibTeX RDF
12	Tamás Vajk, Gergely Mezei, Tihamer Levendovszky	Incremental Type Checking in OCL Compilers.	ECBS-EERC	2009	DBLP DOI BibTeX RDF
12	Tomas By	Graphical, type-checking dependency tree editor.	IMCSIT	2009	DBLP DOI BibTeX RDF
12	Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik	Type Checking Evolving Languages with MSOS.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
12	Yuki Kato, Koji Nakazawa	Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.	WFLP	2009	DBLP DOI BibTeX RDF
12	Koji Nakazawa, Makoto Tatsuta	Type Checking and Inference for Polymorphic and Existential Types.	CATS	2009	DBLP BibTeX RDF
12	Kheiredine Derouiche	Semantic type checking in scientific workflows.		2009	RDF
12	James Chapman 0001	Type checking and normalisation.		2009	RDF
12	Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan	Mechanisms for improved covariant type-checking.	Comput. Lang. Syst. Struct.	2008	DBLP DOI BibTeX RDF
12	Karl Azab, Karl-Heinz Pennemann	Type Checking C++ Template Instantiation by Graph Programs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2008	DBLP DOI BibTeX RDF
12	Michael Backes 0001, Catalin Hritcu, Matteo Maffei	Type-checking zero-knowledge.	CCS	2008	DBLP DOI BibTeX RDF	type systems, language-based security, authorization policies, zero-knowledge protocols
12	Christian Kästner, Sven Apel	Type-Checking Software Product Lines - A Formal Approach.	ASE	2008	DBLP DOI BibTeX RDF
12	Sebastian Maneth, Keisuke Nakano 0001	XML Type Checking for Macro Tree Transducers with Holes.	PLAN-X	2008	DBLP BibTeX RDF
12	Dick Crouch, Tracy Holloway King	Type-checking in Formally Non-typed Systems.	SETQALNLP	2008	DBLP BibTeX RDF
12	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-definedness and semantic type-checking for the nested relational calculus.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
12	Francisco Ortin, Daniel Zapico Palacio, Juan Manuel Cueva Lovelle	Design Patterns for Teaching Type Checking in a Compiler Construction Course.	IEEE Trans. Educ.	2007	DBLP DOI BibTeX RDF
12	Stefan Schlobach, David Ahn, Maarten de Rijke, Valentin Jijkoun	Data-driven type checking in open domain question answering.	J. Appl. Log.	2007	DBLP DOI BibTeX RDF
12	Miguel Garcia	Rules for type-checking of parametric polymorphism in EMF generics.	Software Engineering (Workshops)	2007	DBLP BibTeX RDF
12	Thomas Perst	Type checking XML transformations. (PDF / PS)		2007	RDF
12	Sebastian Maneth, Thomas Perst, Helmut Seidl	Exact XML Type Checking in Polynomial Time.	Universität Trier, Mathematik/Informatik, Forschungsbericht	2006	RDF
12	Manuela Xavier, Ana Cavalcanti 0001, Augusto Sampaio	Type Checking Circus Specifications.	SBMF	2006	DBLP DOI BibTeX RDF
12	Sonia Fagorzi, Elena Zucca	A Calculus of Components with Dynamic Type-Checking.	FACS	2006	DBLP DOI BibTeX RDF
12	Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara	Type checking a multithreaded functional language with session types.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
12	Edward D. Willink	Model Instantiation and Type Checking in UMLX.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2006	DBLP DOI BibTeX RDF
12	Frédéric Blanqui	Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations	CoRR	2006	DBLP BibTeX RDF
12	Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky	A Core Calculus for Scala Type Checking.	MFCS	2006	DBLP DOI BibTeX RDF
12	Christian Kirkegaard, Anders Møller	Type Checking with XML Schema in XACT.	PLAN-X	2006	DBLP BibTeX RDF
12	Stephanie Spranger	Calendars as types: data modeling, constraint reasoning, and type checking with calendars.		2006	RDF
12	Majid Naeem, Chris J. Harrison	A Formal Description Of A Type Checking Algorithm.	J. Object Technol.	2005	DBLP DOI BibTeX RDF
12	Sebastian Maneth, Alexandru Berlea, Thomas Perst, Helmut Seidl	XML type checking with macro tree transducers.	PODS	2005	DBLP DOI BibTeX RDF
12	Sacha Berger, François Bry	Towards static type checking of Web query language.	Grundlagen von Datenbanken	2005	DBLP BibTeX RDF
12	Christopher Anderson, Paola Giannini	Type Checking for JavaScript.	WOOD	2004	DBLP DOI BibTeX RDF
12	Haiming Chen, Yunmei Dong	Practical Type Checking of Functions Defined on Context-Free Languages.	J. Comput. Sci. Technol.	2004	DBLP DOI BibTeX RDF
12	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery	CoRR	2004	DBLP BibTeX RDF
12	Jakob Henriksson, Jan Maluszynski	Static Type-Checking of Datalog with Ontologies.	PPSWR	2004	DBLP DOI BibTeX RDF	ontologies, Semantic Web, logic programs, rules
12	Stefan Schlobach, Marius Olsthoorn, Maarten de Rijke	Type Checking in Open-Domain Question Answering.	ECAI	2004	DBLP BibTeX RDF
12	Yorck Hunke	Semantics and type checking of dependently-typed functional programs.		2004	RDF
12	M. Randall Holmes	Polymorphic type checking for the ramified theory of types of Principia Mathematica.	Mathematics, Logic and Computation @ ICALP	2003	DBLP DOI BibTeX RDF
12	Martin Kempa, Volker Linnemann	Type Checking in XOBE.	BTW	2003	DBLP BibTeX RDF
12	Michael Burrows, Stephen N. Freund, Janet L. Wiener	Run-Time Type Checking for Binary Programs.	CC	2003	DBLP DOI BibTeX RDF
12	Frank Pfenning	Invited talk: Tri-Directional Type Checking.	ITRS	2002	DBLP BibTeX RDF
12	Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang	XML-Based Static Type Checking and Dynamic Visualization for TCOZ.	ICFEM	2002	DBLP DOI BibTeX RDF	TCOZ tool support, XML/XSL, UML/XMI
12	J. Gregory Morrisett	Type Checking Systems Code.	ESOP	2002	DBLP DOI BibTeX RDF
12	Bowen Alpern, Anthony Cocchi, David Grove	Dynamic Type Checking in Jalapeño.	Java Virtual Machine Research and Technology Symposium	2001	DBLP BibTeX RDF
12	Ping Gao, Robert Esser	Polymorphic CSP Type Checking.	ACSC	2001	DBLP DOI BibTeX RDF
12	Andy Schürr	New Type Checking Rules for OCL Expressions.	Modellierung	2001	DBLP BibTeX RDF
12	Akihiko Tozawa	Towards static type checking for XSLT.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	XML
12	Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps	Debugging via Run-Time Type Checking.	FASE	2001	DBLP DOI BibTeX RDF
12	Susan Horwitz	Debugging via run-time type checking.	ACM SIGSOFT Softw. Eng. Notes	2000	DBLP DOI BibTeX RDF
12	Yang Jung, Greg Michaelson	A visualisation of polymorphic type checking.	J. Funct. Program.	2000	DBLP DOI BibTeX RDF
12	Gustavo Betarte	Type checking dependent (record) types and subtyping.	J. Funct. Program.	2000	DBLP DOI BibTeX RDF
12	Paulo Sérgio Almeida	Type-checking Balloon Types.	MFPS	1999	DBLP DOI BibTeX RDF
12	Satish Chandra 0001, Thomas W. Reps	Physical type checking for C.	ACM SIGSOFT Softw. Eng. Notes	1999	DBLP DOI BibTeX RDF
12	J. B. Wells	Typability and Type Checking in System F are Equivalent and Undecidable.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
12	Raymond Turner	Sets, Types and Type-checking.	J. Log. Comput.	1999	DBLP DOI BibTeX RDF
12	Tony Clark 0001	Type Checking UML Static Diagrams.	UML	1999	DBLP DOI BibTeX RDF
12	Christoph Beierle, Gregor Meyer	Using Types as Approximations for Type Checking Prolog Programs.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
12	Jean-Claude Royer	Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
12	Ronald T. House	Attributes: Giving the Programmer Control Over Static Type Checking.	Aust. Comput. J.	1998	DBLP BibTeX RDF