Search results for "type-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Richard B. Kieburtz	Taming Effects with Monadic Typing.	ICFP	1998	DBLP DOI BibTeX RDF	ML
15	Robert Harper 0001, J. Gregory Morrisett	Compiling Polymorphism Using Intensional Type Analysis.	POPL	1995	DBLP DOI BibTeX RDF	ML
14	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
14	Andreas Abel 0001, Thierry Coquand, Peter Dybjer	On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.	FLOPS	2008	DBLP DOI BibTeX RDF
14	Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine	Concepts: linguistic support for generic programming in C++.	OOPSLA	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, parametric polymorphism, C++0x, C++ templates
14	Lorenzo Bettini, Viviana Bono, Betti Venneri	O'Klaim: A Coordination Language with Mobile Mixins.	COORDINATION	2004	DBLP DOI BibTeX RDF
14	Kyung-Goo Doh, David A. Schmidt	Extraction of Strong Typing Laws from Action Semantics Definitions.	ESOP	1992	DBLP DOI BibTeX RDF
14	Margaret Stanley	Typing in an Object Management System (OMS).	SEE	1989	DBLP DOI BibTeX RDF
14	Fritz Henglein	Type Inference and Semi-Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
14	James H. Morris Jr.	Types are Not Sets.	POPL	1973	DBLP DOI BibTeX RDF
14	Shan Shan Huang, David Zook, Yannis Smaragdakis	Statically Safe Program Generation with SafeGen.	GPCE	2005	DBLP DOI BibTeX RDF
14	Witold Charatonik, Andreas Podelski, Jean-Marc Talbot	Paths vs. Trees in Set-Based Program Analysis.	POPL	2000	DBLP DOI BibTeX RDF
14	Hongwei Xi, Frank Pfenning	Eliminating Array Bound Checking Through Dependent Types.	PLDI	1998	DBLP DOI BibTeX RDF	Standard ML
14	Mitsuhisa Sato, Shuichi Ichikawa, Eiichi Goto	Run-Time Checking in Lisp by Integrating Memory Addressing and Range Checking.	ISCA	1989	DBLP DOI BibTeX RDF	LISP
13	Ryan Wisnesky, Mauricio A. Hernández, Lucian Popa 0001	Mapping polymorphism.	ICDT	2010	DBLP DOI BibTeX RDF	Clio, nested relational model, schema mapping
13	Maria João Frade, Ando Saabas, Tarmo Uustalu	Bidirectional data-flow analyses, type-systematically.	PEPM	2009	DBLP DOI BibTeX RDF	mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
13	Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian	A type and effect system for deterministic parallel Java.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic parallelism, determinism, effects, commutativity, effect systems
13	Ken-etsu Fujita, Aleksy Schubert	Existential Type Systems with No Types in Terms.	TLCA	2009	DBLP DOI BibTeX RDF
13	Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson	Verified programming in Guru.	PLPV	2009	DBLP DOI BibTeX RDF	dependently typed programming, language-based verification, operational type theory
13	Barry Jay, Simon L. Peyton Jones	Scrap Your Type Applications.	MPC	2008	DBLP DOI BibTeX RDF
13	Yuyu Yin, Jianwei Yin, Ying Li 0001, ShuiGuang Deng	Verifying Consistency of Web Services Behavior Using Type Theory.	APSCC	2008	DBLP DOI BibTeX RDF
13	Dong-Xi Liu	CSchema: A Downgrading Policy Language for XML Access Control.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	XML, access control, programming language, type system, security policy
13	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de bruijn
13	Gilles Barthe, Benjamin Grégoire, Fernando Pastawski	CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.	LPAR	2006	DBLP DOI BibTeX RDF
13	Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese	A Mobility Calculus with Local and Dependent Types.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
13	Peter Achten, Artem Alimarine, Marinus J. Plasmeijer	When Generic Functions Use Dynamic Values.	IFL	2002	DBLP DOI BibTeX RDF
13	Jens Palsberg, Tian Zhao 0002	Efficient Type Inference for Record Concatenation and Subtyping.	LICS	2002	DBLP DOI BibTeX RDF
13	Nikolaj S. Bjørner, César A. Muñoz	Absolute Explicit Unification.	RTA	2000	DBLP DOI BibTeX RDF
13	Ken-etsu Fujita, Aleksy Schubert	Partially Typed Terms between Church-Style and Curry-Style.	IFIP TCS	2000	DBLP DOI BibTeX RDF
13	Lennart Augustsson	Cayenne - a Language with Dependent Types.	ICFP	1998	DBLP DOI BibTeX RDF	type systems, language design, dependent types, module systems
13	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
13	Didier Rémy	Typing Record Concatenation for Free.	POPL	1992	DBLP DOI BibTeX RDF	ML
13	Roland Dietrich, Frank Hagl	A Polymorphic Type System with Subtypes for Prolog.	ESOP	1988	DBLP DOI BibTeX RDF
13	Mitchell Wand	Finding the Source of Type Errors.	POPL	1986	DBLP DOI BibTeX RDF
12	Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach	Static Analysis of XML Transformations in Java.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	markup languages, requirements/specifications, Language constructs and features
12	Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta 0001	Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated.	DATE	2003	DBLP DOI BibTeX RDF
12	Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi	Checking and inferring local non-aliasing.	PLDI	2003	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity
12	Judicaël Courant	Explicit Universes for the Calculus of Constructions.	TPHOLs	2002	DBLP DOI BibTeX RDF
12	Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc	Type-Safe Trading Proxies Using TORBA.	ISADS	2001	DBLP DOI BibTeX RDF
12	Andrew C. Myers	Security-Typed Languages and Distributed Computation.	SAS	2001	DBLP DOI BibTeX RDF
12	Didier Rémy	Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa.	APPSEM	2000	DBLP DOI BibTeX RDF
12	Hongwei Xi, Songtao Xia	Towards array bound check elimination in Java TM virtual machine language.	CASCON	1999	DBLP BibTeX RDF	Java
12	Brian D. Brunswick	LILK - Static Analysis of REDUCE Code.	DISCO	1992	DBLP DOI BibTeX RDF
12	George Zakhour, Pascal Weisenburger, Guido Salvaneschi	Type-Checking CRDT Convergence.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Jin Sano, Naoki Yamamoto, Kazunori Ueda	Type Checking Data Structures More Complex than Trees.	J. Inf. Process.	2023	DBLP DOI BibTeX RDF
12	Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez 0001	Session-based concurrency in Maude: Executable semantics and type checking.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
12	Arjan J. Mooij	Static type checking without downcast operator.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
12	Naoki Yamamoto, Kazunori Ueda	Engineering Grammar-Based Type Checking for Graph Rewriting Languages.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	YungYu Zhuang, Ming-Yang Lu	Enabling Type Checking on Columns in Data Frame Libraries by Abstract Interpretation.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	Yuquan Fu, Sam Tobin-Hochstadt	Type Checking Extracted Methods.	Art Sci. Eng. Program.	2022	DBLP DOI BibTeX RDF
12	Jin Sano, Naoki Yamamoto, Kazunori Ueda	Type checking data structures more complex than trees.	CoRR	2022	DBLP DOI BibTeX RDF
12	Vadim Piven, Sergey V. Zykov	Assessment of static type checking compliance of EOLANG.	KES	2022	DBLP DOI BibTeX RDF
12	Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001	Executable Semantics and Type Checking for Session-Based Concurrency in Maude.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
12	Sabrina Tseng, Erik Hemberg, Una-May O'Reilly	Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking.	EuroGP	2022	DBLP DOI BibTeX RDF
12	Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang 0001, Sebastian G. Elbaum	PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems.	CoRR	2021	DBLP BibTeX RDF
12	Andrej Dudenhefner	The Undecidability of System F Typability and Type Checking for Reductionists.	LICS	2021	DBLP DOI BibTeX RDF
12	Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang 0001, Sebastian G. Elbaum	PHYSFRAME: type checking physical frames of reference for robotic systems.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
12	Alexander S. Balyuk, Victoria A. Popova	Static type-checking for programs developed on the platform 1C: Enterprise.	ITAMS	2021	DBLP BibTeX RDF
12	Eduard Kamburjan, Egor V. Kostylev	Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes.	Description Logics	2021	DBLP BibTeX RDF
12	Matthieu Sozeau, Simon Boulier, Yannick Forster 0002, Nicolas Tabareau, Théo Winterhalter	Coq Coq correct! verification of type checking and erasure for Coq, in Coq.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
12	Yuquan Fu, Sam Tobin-Hochstadt	Type checking extracted methods.	CoRR	2020	DBLP BibTeX RDF
12	Víctor López Juan, Nils Anders Danielsson	Practical dependent type checking using twin types.	TyDe@ICFP	2020	DBLP DOI BibTeX RDF
12	Baltasar Trancón y Widemann, Markus Lepper 0001	Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015).	CoRR	2019	DBLP BibTeX RDF
12	Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab	Type Checking Program Code using SHACL (Extended Version).	CoRR	2019	DBLP BibTeX RDF
12	Shun Hinatsu, Koichi Shimizu, Takeshi Ueda, Benoît Boyer, David Mentré	Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code.	NBiS	2019	DBLP DOI BibTeX RDF
12	Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab	Type Checking Program Code Using SHACL.	ISWC (1)	2019	DBLP DOI BibTeX RDF
12	Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001	Bidirectional type checking for relational properties.	PLDI	2019	DBLP DOI BibTeX RDF
12	Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio	Type Checking for Protocol Role Enactments via Commitments.	AAMAS	2019	DBLP BibTeX RDF
12	Brianna M. Ren	Type Checking and Inference for Dynamic Languages.		2019	RDF
12	Neville Grech, Bernd Fischer 0002, Julian Rathke	Preemptive type checking.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
12	Luca Padovani	A type checking algorithm for concurrent object protocols.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
12	Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio	Type checking for protocol role enactments via commitments.	Auton. Agents Multi Agent Syst.	2018	DBLP DOI BibTeX RDF
12	Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001	Bidirectional Type Checking for Relational Properties.	CoRR	2018	DBLP BibTeX RDF
12	Georgios V. Pitsiladis, Petros S. Stefaneas	Implementation of Privacy Calculus and Its Type Checking in Maude.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
12	Marie Duzí, Michal Fait	Type Checking Algorithm for the TIL-Script Language.	EJC	2018	DBLP DOI BibTeX RDF
12	Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi	Fast and precise type checking for JavaScript.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
12	Bogdan Mingela, Nikolay Troshkov, Manuel Mazzara, Larisa Safina, Alexander Tchitchigin	Towards Static Type-checking for Jolie.	CoRR	2017	DBLP BibTeX RDF
12	Peng Fu 0001	A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types.	CoRR	2017	DBLP BibTeX RDF
12	Juan Edi, Andrés Viso, Eduardo Bonelli	Efficient Type Checking for Path Polymorphism.	CoRR	2017	DBLP BibTeX RDF
12	Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi	Fast and Precise Type Checking for JavaScript.	CoRR	2017	DBLP BibTeX RDF
12	Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer	An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.	IFM	2017	DBLP DOI BibTeX RDF
12	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	A Web Tool for Type Checking and Testing of SPARQL Queries.	ICWE	2017	DBLP DOI BibTeX RDF
12	Maria Kechagia, Diomidis Spinellis	Type Checking for Reliable APIs.	WAPI@ICSE	2017	DBLP DOI BibTeX RDF
12	Panagiotis Vekris	Precise Type Checking for JavaScript.		2017	RDF
12	Brianna M. Ren, Jeffrey S. Foster	Just-in-Time Static Type Checking for Dynamic Languages.	CoRR	2016	DBLP BibTeX RDF
12	Rodolphe Lepigre, Christophe Raffalli	Subtyping-Based Type-Checking for System F with Induction and Coinduction.	CoRR	2016	DBLP BibTeX RDF
12	Francesco Mazzoli, Andreas Abel 0001	Type checking through unification.	CoRR	2016	DBLP BibTeX RDF
12	Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida	Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
12	Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco	Relational type-checking for MELL proof-structures. Part 1: Multiplicatives.	CoRR	2016	DBLP BibTeX RDF
12	Avik Chaudhuri	Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond.	PLAS@CCS	2016	DBLP DOI BibTeX RDF
12	Ferruccio Damiani, Michael Lienhardt	Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking.	ISoLA (2)	2016	DBLP DOI BibTeX RDF
12	Peter Thiemann 0001	A Delta for Hybrid Type Checking.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
12	Lars Kroll, Jim Dowling, Seif Haridi	Static Type Checking for the Kompics Component Model: Kola - The Kompics Language.	PMLDC@ECOOP	2016	DBLP DOI BibTeX RDF
12	Brianna M. Ren, Jeffrey S. Foster	Just-in-time static type checking for dynamic languages.	PLDI	2016	DBLP DOI BibTeX RDF
12	Ferruccio Damiani, Michael Lienhardt	On Type Checking Delta-Oriented Product Lines.	IFM	2016	DBLP DOI BibTeX RDF
12	Jim E. Newton, Akim Demaille, Didier Verna	Type-Checking of Heterogeneous Sequences in Common Lisp.	ELS	2016	DBLP BibTeX RDF
12	Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt	Parallel type-checking with haskell using saturating LVars and stream generators.	PPoPP	2016	DBLP DOI BibTeX RDF
12	Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu	Really Natural Linear Indexed Type Checking.	CoRR	2015	DBLP BibTeX RDF
12	David M. Beazley	Thinking about Type Checking.	login Usenix Mag.	2015	DBLP BibTeX RDF
12	Qin Li, Jin Miao	可组合的描述符泄露类型检查 (Compositional Type Checking of Descriptor Leaking).	计算机科学	2015	DBLP BibTeX RDF