Search results for "Type systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Stephen Tse, Steve Zdancewic	Run-time principals in information-flow type systems.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
3	Haijian Zhou, Ping Luo, Daoshun Wang, Yiqi Dai	Cryptanalysis of General Lu-Lee Type Systems.	Inscrypt	2007	DBLP DOI BibTeX RDF	Lu-Lee type systems, cryptanalysis, lattice reduction
3	Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein	A framework for implementing pluggable type systems.	OOPSLA	2006	DBLP DOI BibTeX RDF	JavaCOP, pluggable type systems
3	Francisco Gutiérrez, Blas C. Ruiz	Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems.	ICALP	2003	DBLP DOI BibTeX RDF	pure type systems, expansion postponement, Track: B, cut elimination, sequent calculi
3	Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Pure patterns type systems.	POPL	2003	DBLP DOI BibTeX RDF	Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
3	Francisco Gutiérrez, Blas C. Ruiz	A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.	LOPSTR	2002	DBLP DOI BibTeX RDF	lambda calculus with types, pure type systems, cut elimination, sequent calculi
3	Suad Alagic	Type-Checking OQL Queries In the ODMG Type Systems.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	ODMG standard, Java, C++, type systems, parametric polymorphism, OQL
2	Vincent Siles, Hugo Herbelin	Equality Is Typable in Semi-full Pure Type Systems.	LICS	2010	DBLP DOI BibTeX RDF	Pure Type Systems, Judgmental Equality
2	Juan Chen, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
2	Stephanie Balzer, Thomas R. Gross	Modular reasoning about invariants over shared state with interposed data members.	PLPV	2010	DBLP DOI BibTeX RDF	ownership type systems, invariants
2	Davide Ancona, Giovanni Lagorio	Coinductive Type Systems for Object-Oriented Languages.	ECOOP	2009	DBLP DOI BibTeX RDF
2	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
2	Benoît Montagu, Didier Rémy	Modeling abstract types in modules with open existential types.	POPL	2009	DBLP DOI BibTeX RDF	linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
2	Tobias Gedell, Daniel Hedin	Abstract Interpretation Plugins for Type Systems.	AMAST	2008	DBLP DOI BibTeX RDF
2	Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese	From Flow Logic to Static Type Systems for Coordination Languages.	COORDINATION	2008	DBLP DOI BibTeX RDF
2	Ruth F. Curtain, Orest V. Iftime, Hans Zwart	System theoretic properties of platoon-type systems.	CDC	2008	DBLP DOI BibTeX RDF
2	Rabah Rabah, Grigory M. Sklyar	Exact controllability of linear neutral type systems by the moment problem approach.	CDC	2008	DBLP DOI BibTeX RDF
2	Naoki Kobayashi	Substructural Type Systems for Program Analysis.	FLOPS	2008	DBLP DOI BibTeX RDF
2	Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of soundness of type systems.	OOPSLA	2008	DBLP DOI BibTeX RDF	software model checking, type soundness
2	Marco Comini, Ferruccio Damiani, Samuel Vrech	On Polymorphic Recursion, Type Systems, and Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF	Type Inference Algorithm, Principal Typing
2	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF
2	Nathan Mishra-Linger, Tim Sheard	Erasure and Polymorphism in Pure Type Systems.	FoSSaCS	2008	DBLP DOI BibTeX RDF
2	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
2	Mayur Naik, Jens Palsberg	A type system equivalent to a model checker.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Model checking, type systems
2	Gilles Barthe, Salvador Cavadini, Tamara Rezk	Tractable Enforcement of Declassification Policies.	CSF	2008	DBLP DOI BibTeX RDF	type systems, declassification, information flow security
2	Lucia Acciai, Michele Boreale	Spatial and Behavioral Types in the Pi-Calculus.	CONCUR	2008	DBLP DOI BibTeX RDF	behavioural type systems, pi-calculus, spatial logic
2	Denis Cousineau 0002, Gilles Dowek	Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.	TLCA	2007	DBLP DOI BibTeX RDF
2	Naoki Kobayashi, Takashi Suto	Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the pi -Calculus.	ICALP	2007	DBLP DOI BibTeX RDF
2	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
2	George C. Necula	Using Dependent Types to Port Type Systems to Low-Level Languages.	CC	2006	DBLP DOI BibTeX RDF
2	Geoffrey Smith, Rafael Alpízar	Secure information flow with random assignment and encryption.	FMSE	2006	DBLP DOI BibTeX RDF	IND-CCA, IND-CPA, encryption, type systems, reductions, noninterference, secure information flow
2	Lingxiao Jiang, Zhendong Su	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
2	Cormac Flanagan	Hybrid type checking.	POPL	2006	DBLP DOI BibTeX RDF	dynamic checking, type systems, contracts, static checking
2	Sebastian Hunt, David Sands	On flow-sensitive security types.	POPL	2006	DBLP DOI BibTeX RDF	static analysis, type systems, information flow, non-interference, flow-sensitivity
2	Haruo Hosoya	Type Systems for XML.	APLAS	2005	DBLP DOI BibTeX RDF
2	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
2	Henning Makholm, J. B. Wells	Type inference, principal typings, and let-polymorphism for first-class mixin modules.	ICFP	2005	DBLP DOI BibTeX RDF	mixin modules, record concatenation, row unification, type systems, polymorphism
2	Aaron Tomb, Cormac Flanagan	Automatic type inference via partial evaluation.	PPDP	2005	DBLP DOI BibTeX RDF	applications of declarative programming, logic programming, program analysis, type systems
2	François Pottier, Christian Skalka, Scott F. Smith	A systematic approach to static access control.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	access control, Type systems, stack inspection
2	Alaaeddine Fellah, John Mullins	Admissible Interference by Typing for Cryptographic Protocols.	ICICS	2005	DBLP DOI BibTeX RDF	Admissible interference, Type systems, Process Algebra, Cryptographic Protocols, Security Properties
2	Stephen Tse, Steve Zdancewic	Run-time Principals in Information-flow Type Systems.	IEEE Symposium on Security and Privacy	2004	DBLP DOI BibTeX RDF
2	Nadeem Abdul Hamid, Zhong Shao	Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code.	TPHOLs	2004	DBLP DOI BibTeX RDF
2	Mark-Oliver Stehr, José Meseguer	Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
2	Gilles Barthe, Leonor Prensa Nieto	Formally verifying information flow type systems for concurrent and thread systems.	FMSE	2004	DBLP DOI BibTeX RDF	machine-checked proofs, concurrency, noninterference
2	Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo	Securing web application code by static analysis and runtime protection.	WWW	2004	DBLP DOI BibTeX RDF	program security, verification, type systems, information flow, noninterference, web application security, security vulnerabilities
2	Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta	Safe compositional specification of networking systems.	Computer Communication Review	2004	DBLP DOI BibTeX RDF	QoS theory, service composition, type systems, control theory
2	Andrei Sabelfeld, Andrew C. Myers	A Model for Delimited Information Release.	ISSS	2003	DBLP DOI BibTeX RDF	Computer security, information flow, security policies, confidentiality, noninterference, declassification, security-type systems
2	Peter Thiemann	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
2	Yuri Leontiev, M. Tamer Özsu, Duane Szafron	On type systems for object-oriented database programming languages.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	OODB, OODBPL, object-oriented database programming language, typing, type checking
2	Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt	Parameters in Pure Type Systems.	LATIN	2002	DBLP DOI BibTeX RDF
2	Naoki Kobayashi	Type Systems for Concurrent Programs.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
2	Arnon Avron, Iddo Lev	Canonical Propositional Gentzen-Type Systems.	IJCAR	2001	DBLP DOI BibTeX RDF
2	Simon J. Gay	A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL.	TPHOLs	2001	DBLP DOI BibTeX RDF	semantics, Types, pi calculus, automatic theorem proving
2	David G. Clarke, James Noble, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
2	Marc Joye, Jean-Jacques Quisquater	On Rabin-Type Signatures.	IMA Int. Conf.	2001	DBLP DOI BibTeX RDF	Rabin-type systems, signature forgeries, digital signatures, factorization
2	Ben Liblit, Alexander Aiken	Type Systems for Distributed Data Structures.	POPL	2000	DBLP DOI BibTeX RDF
2	Naoki Kobayashi	Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness.	IFIP TCS	2000	DBLP DOI BibTeX RDF
2	Alexandre Miquel	A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF
2	Jan Zwanenburg	Pure Type Systems with Subtyping.	TLCA	1999	DBLP DOI BibTeX RDF
2	Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells	Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).	ICFP	1999	DBLP DOI BibTeX RDF
2	A. J. Kfoury, Santiago M. Pericás-Geertsen	Type Inference for Recursive Definitions.	LICS	1999	DBLP DOI BibTeX RDF	type systems, type inference, lambda calculus, unification, software specification
2	Flemming Nielson, Hanne Riis Nielson	Type and Effect Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF	Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
2	Franz Puntigam	Non-regular Process Types.	Euro-Par	1999	DBLP DOI BibTeX RDF	type systems, subtyping, active objects
2	Benjamin C. Pierce	Type Systems for Concurrent Calculi (Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
2	Gilles Barthe	The Semi-Full Closure of Pure Type Systems.	MFCS	1998	DBLP DOI BibTeX RDF
2	Blas C. Ruiz Jiménez	Condensing Lemmas for Pure Type Systems with Universes.	AMAST	1998	DBLP DOI BibTeX RDF
2	Gilles Barthe	Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion.	CSL	1998	DBLP DOI BibTeX RDF
2	Luigi Liquori	An Extended Theory of Primitive Objects: FIrst Order System.	ECOOP	1997	DBLP DOI BibTeX RDF	design and semantics of object-oriented languages, Type systems
2	Gilles Barthe, Paul-André Melliès	On the Subject Reduction Property for Algebraic Type Systems.	CSL	1996	DBLP DOI BibTeX RDF
2	Søren Brandt, Jørgen Lindskov Knudsen	Generalising the BETA Type System.	ECOOP	1996	DBLP DOI BibTeX RDF	constraints, type systems, object-oriented modelling, language design, BETA
2	Gilles Barthe	Implicit Coercions in Type Systems.	TYPES	1995	DBLP DOI BibTeX RDF
2	Kim B. Bruce, Angela Schuett, Robert van Gent	PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language.	ECOOP	1995	DBLP DOI BibTeX RDF	design and semantics of object-oriented languages, Type systems
2	Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai	Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.	ECOOP	1994	DBLP DOI BibTeX RDF	semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
2	Katherine A. Yelick, Joseph L. Zachary	Moded Type Systems for Logic Programming.	POPL	1989	DBLP DOI BibTeX RDF
1	Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems	MSFP	2012	DBLP DOI BibTeX RDF
1	Quan Quan, Kai-Yuan Cai	A stability theorem of the direct Lyapunov's method for neutral-type systems in a critical case.	Int. J. Systems Science	2012	DBLP DOI BibTeX RDF
1	Jaime Niño	Type systems directed programming language evolution: overview and research trends.	ACM Southeast Regional Conference	2012	DBLP DOI BibTeX RDF
1	Andrea Asperti, Ferruccio Guidi	Type systems for dummies.	TLDI	2012	DBLP DOI BibTeX RDF
1	Yuriy Solodkyy, Jaakko Järvi	Extending type systems in a library: Type-safe XML processing in C++.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Davide Ancona, Giovanni Lagorio	Idealized coinductive type systems for imperative object-oriented programs.	RAIRO - Theor. Inf. and Applic.	2011	DBLP DOI BibTeX RDF
1	Stéphane Lengrand, Roy Dyckhoff, James McKinna	A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Andreas Stuchlik, Stefan Hanenberg	Static vs. dynamic type systems: an empirical study about the relationship between type casts and development time.	DLS	2011	DBLP DOI BibTeX RDF
1	Lorenzo Bettini	A DSL for writing type systems for Xtext languages.	PPPJ	2011	DBLP DOI BibTeX RDF
1	Jean-Philippe Bernardy, Marc Lasson	Realizability and Parametricity in Pure Type Systems.	FOSSACS	2011	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese	From Flow Logic to static type systems for coordination languages.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1	Simin Yu, Wallace Kit-Sang Tang, Jinhu Lü, Guanrong Chen	Design and Implementation of Multi-Wing Butterfly Chaotic attractors via Lorenz-Type Systems.	I. J. Bifurcation and Chaos	2010	DBLP DOI BibTeX RDF
1	Marc Lasson	Internalized realizability in pure type systems	CoRR	2010	DBLP BibTeX RDF
1	Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk	Pure Type Systems without Explicit Contexts	LFMTP	2010	DBLP DOI BibTeX RDF
1	Manuel Gámez, Inmaculada López, I. Szabó, Zoltán Varga	Verticum-type systems applied to ecological monitoring.	Applied Mathematics and Computation	2010	DBLP DOI BibTeX RDF
1	Holger Boche, Ullrich J. Mönich	On the realization of band-pass type systems for bounded bandlimited signals.	ICASSP	2010	DBLP DOI BibTeX RDF
1	Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine	Intersection Type Systems and Explicit Substitutions Calculi.	WoLLIC	2010	DBLP DOI BibTeX RDF
1	Lennart Beringer, Robert Grabowski, Martin Hofmann	Verifying Pointer and String Analyses with Region Type Systems.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
1	Christian A. Larsson, Håkan Hjalmarsson, Cristian R. Rojas	On optimal input design for nonlinear FIR-type systems.	CDC	2010	DBLP DOI BibTeX RDF
1	Stefan Hanenberg	An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Konrad Anton, Peter Thiemann	Towards Deriving Type Systems and Implementations for Coroutines.	APLAS	2010	DBLP DOI BibTeX RDF
1	Stefan Hanenberg	Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study.	ECOOP	2010	DBLP DOI BibTeX RDF
1	Michael D. Ernst, Mahmood Ali	Building and using pluggable type systems.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha	Mint: Java multi-stage programming using weak separability.	PLDI	2010	DBLP DOI BibTeX RDF	multi-staged languages, java, type systems, multi-stage programming
1	Matthias Felleisen	Adding types to untyped languages.	TLDI	2010	DBLP DOI BibTeX RDF	software contracts, type systems, scheme
1	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic