Search results for "type system"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Serguei A. Mokhov, Joey Paquet, Xin Tong 0002	A type system for hybrid intensional-imperative programming support in GIPSY.	C3S2E	2009	DBLP DOI BibTeX RDF	context, type system, intensional programming, imperative programming, general intensional programming system (GIPSY)
3	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on Windows Vista.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
3	Futoshi Iwama, Naoki Kobayashi	A New Type System for JVM Lock Primitives.	New Generation Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
3	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on windows vista.	PLAS	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
3	Dag Hovland	A Type System for Usage of Software Components.	TYPES	2008	DBLP DOI BibTeX RDF	Component Usage, Process Model, Type System, Parallel Execution, Component Software
3	Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede	A type system for static typing of a domain-specific language.	FPGA	2008	DBLP DOI BibTeX RDF	static type checking, FPGA, type system
3	Tachio Terauchi	A Type System for Observational Determinism.	CSF	2008	DBLP DOI BibTeX RDF	Security, Linear Programming, Programming Language, Type System
3	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
3	Sven De Labey, Eric Steegmans	A type system extension for middleware interactions.	MAI	2007	DBLP DOI BibTeX RDF	group method invocation, fault tolerance, type system, type qualifier
3	Yutaka Matsuno, Atsushi Ohori	A type system equivalent to static single assignment.	PPDP	2006	DBLP DOI BibTeX RDF	type system, compiler optimization, static single assignment form
3	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	PLDI	2005	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
3	Corneliu Popeea, Wei-Ngan Chin	A type system for resource protocol verification and its correctness proof.	PEPM	2004	DBLP DOI BibTeX RDF	dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis
3	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
3	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ICFP	2003	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
3	Futoshi Iwama, Naoki Kobayashi	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
3	I. Guilfanov	A Simple Type System for Program Reengineering. (PDF / PS)	WCRE	2001	DBLP DOI BibTeX RDF	type system, decompilation, disassembly
2	Max Schäfer, Oege de Moor	Type inference for datalog with complex type hierarchies.	POPL	2010	DBLP DOI BibTeX RDF	type system, datalog, type inference
2	Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer	Implementing software product lines using traits.	SAC	2010	DBLP DOI BibTeX RDF	type system, software product line, feature model, trait, featherweight java
2	Norman Danner, James S. Royer	Two Algorithms in Search of a Type-System.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Higher-type computation, Higher-type complexity, Basic feasible functionals, Compositional semantics, Implicit computational complexity
2	Barbara Petit	A Polymorphic Type System for the Lambda-Calculus with Constructors.	TLCA	2009	DBLP DOI BibTeX RDF	strong normalisation, pattern matching, polymorphism, lambda-calculus
2	Gavin Keighren, David Aspinall, Graham Steel	Towards a Type System for Security APIs.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
2	Naoki Kobayashi, C.-H. Luke Ong	A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes.	LICS	2009	DBLP DOI BibTeX RDF
2	Niklas Broberg, David Sands	Flow-sensitive semantics for dynamic information flow policies.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
2	Avik Chaudhuri	Language-based security on Android.	PLAS	2009	DBLP DOI BibTeX RDF	data-flow security, hybrid type system, mobile code, certified compilation
2	Malgorzata Biernacka, Dariusz Biernacki	Context-based proofs of termination for typed delimited-control operators.	PPDP	2009	DBLP DOI BibTeX RDF	reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
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	Florian Kammüller, Henry Sudhof	Composing Safely - A Type System for Aspects.	Software Composition	2008	DBLP DOI BibTeX RDF
2	Manuel Montenegro, Ricardo Pena, Clara Segura	A type system for safe memory management and its proof of correctness.	PPDP	2008	DBLP DOI BibTeX RDF	safe memory deallocation, type systems
2	Lucia Acciai, Michele Boreale	A Type System for Client Progress in a Service-Oriented Calculus.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	type systems, service-oriented computing, pi-calculus, process calculi
2	Naoki Kobayashi, Davide Sangiorgi	A Hybrid Type System for Lock-Freedom of Mobile Processes.	CAV	2008	DBLP DOI BibTeX RDF
2	Gwenaël Delaval, Alain Girault, Marc Pouzet	A type system for the automatic distribution of higher-order synchronous dataflow programs.	LCTES	2008	DBLP DOI BibTeX RDF	distribution, functional programming, type systems, synchronous programming
2	Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani	Typing communicating component assemblages.	GPCE	2008	DBLP DOI BibTeX RDF	assemblage error, component types, process types, type interference, components, type system, communication systems
2	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
2	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
2	Brigitte Pientka	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.	POPL	2008	DBLP DOI BibTeX RDF	type system, logical frameworks
2	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
2	Doina Bucur, Mogens Nielsen	Secure Data Flow in a Calculus for Context Awareness.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	security, Ubiquitous Computing, context awareness, type system, Mobile Ambients
2	Viviana Bono, Ferruccio Damiani, Elena Giachino	On Traits and Types in a Java-like Setting.	IFIP TCS	2008	DBLP DOI BibTeX RDF	Composition, Type System, Inheritance, Flattening
2	Oleg Kiselyov, Chung-chieh Shan	A Substructural Type System for Delimited Continuations.	TLCA	2007	DBLP DOI BibTeX RDF
2	Robin Abraham, Martin Erwig, Scott Andrew	A Type System Based on End-User Vocabulary.	VL/HCC	2007	DBLP DOI BibTeX RDF
2	Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon	A very modal model of a modern, major, general type system.	POPL	2007	DBLP DOI BibTeX RDF	impredicative polymorphism, mutable references, recursive types, Kripke models
2	Tomoyuki Aotani, Hidehiko Masuhara	Towards a type system for detecting never-matching pointcut compositions.	FOAL	2007	DBLP DOI BibTeX RDF	AOP, compositions, records, pointcut
2	Derek Dreyer	A type system for recursive modules.	ICFP	2007	DBLP DOI BibTeX RDF	type systems, recursion, abstract data types, modules
2	Freek Wiedijk	Mizar's Soft Type System.	TPHOLs	2007	DBLP DOI BibTeX RDF
2	Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati	A type system for preventing data races and deadlocks in the java virtual machine language: 1.	LCTES	2007	DBLP DOI BibTeX RDF	SafeJava, deadlocks, data races, ownership types
2	Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst	Tools for enforcing and inferring reference immutability in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable
2	Rui Shi	Implementing reliable Linux device drivers in ATS.	PLPV	2007	DBLP DOI BibTeX RDF	applied type system, device driver programming, ATS
2	Martin Plümicke	Typeless programming in Java 5.0 with wildcards.	PPPJ	2007	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
2	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
2	Boris Köpf, Heiko Mantel	Transformational typing and unification for automatically correcting insecure programs.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Unification, Language-based security, Information flow control, Security type system
2	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
2	Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani	Dream types: a domain specific type system for component-based message-oriented middleware.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
2	Naoki Kobayashi	A New Type System for Deadlock-Free Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Artur Wilk, Wlodzimierz Drabent	A Prototype of a Descriptive Type System for Xcerpt.	PPSWR	2006	DBLP DOI BibTeX RDF
2	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi	A WSDL-Based Type System for WS-BPEL.	COORDINATION	2006	DBLP DOI BibTeX RDF
2	Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno	A polymorphic modal type system for lisp-like multi-staged languages.	POPL	2006	DBLP DOI BibTeX RDF	let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
2	Sylvain Salvati	Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear lambda-Calculus.	RTA	2006	DBLP DOI BibTeX RDF
2	Yosihiro Yuse, Atsushi Igarashi	A modal type system for multi-level generating extensions with persistent code.	PPDP	2006	DBLP DOI BibTeX RDF	time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
2	Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu	A Type System for the Relational Calculus of Object Systems.	ICECCS	2006	DBLP DOI BibTeX RDF
2	Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter	Integration of a Security Type System into a Program Logic.	TGC	2006	DBLP DOI BibTeX RDF
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	Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi	Resource usage analysis for a functional language with exceptions.	PEPM	2006	DBLP DOI BibTeX RDF	resource usage analysis, type system, type inference, exception, effect system
2	Martin Plümicke, Jörg Bäuerle	Typeless programming in Java 5.0.	PPPJ	2006	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
2	Martín Abadi, Cormac Flanagan, Stephen N. Freund	Types for safe locking: Static race detection for Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type system, Concurrent programs, type inference, race conditions
2	Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen	A Model Checking Tool Embedded into Services Composition Environment.	GCC	2006	DBLP DOI BibTeX RDF	Pi-calculus type system web services Composition verification tool compatibility
2	Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou	A type system for certified binaries.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	proof-preserving compilation, typed intermediate languages, Certified code
2	Marcel Kyas	An Extended Type System for OCL Supporting Templates and Transformations.	FMOODS	2005	DBLP DOI BibTeX RDF
2	Shan Guo Quan, Jeong-Jun Suh, Tae-Chul Hong, Young Yong Kim	A Novel Scheduler for 1xEV-DO Type System Supporting Diverse Multimedia Traffics.	PCM	2005	DBLP DOI BibTeX RDF
2	Elzbieta Kasperska, Damian Slota	Optimization Embedded in Simulation on Models Type System Dynamics - Some Case Study.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
2	Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl	Secure extensible type system for efficient embedded operating system by using metatypes.	ICPADS	2005	DBLP DOI BibTeX RDF
2	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	2005	DBLP DOI BibTeX RDF
2	Dirk Draheim, Christof Lutteroth, Gerald Weber	A Type System for Reflective Program Generators.	GPCE	2005	DBLP DOI BibTeX RDF
2	Peeter Laud, Varmo Vene	A Type System for Computationally Secure Information Flow.	FCT	2005	DBLP DOI BibTeX RDF
2	Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han	A Path Sensitive Type System for Resource Usage Verification of C Like Languages.	APLAS	2005	DBLP DOI BibTeX RDF
2	Yi Lu 0003, John Potter	A Type System for Reachability and Acyclicity.	ECOOP	2005	DBLP DOI BibTeX RDF
2	Peter Thiemann	Towards a Type System for Analyzing JavaScript Programs.	ESOP	2005	DBLP DOI BibTeX RDF
2	Mayur Naik, Jens Palsberg	A Type System Equivalent to a Model Checker.	ESOP	2005	DBLP DOI BibTeX RDF
2	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
2	Jie Liu, Elaine Cheong, Feng Zhao	Semantics-based optimization across uncoordinated tasks in networked embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	service-oriented runtime, sensor network, type system
2	Amal J. Ahmed, Matthew Fluet, Greg Morrisett	A step-indexed model of substructural state.	ICFP	2005	DBLP DOI BibTeX RDF	mutable references, stepindexed model, substructural type system
2	Chiyan Chen, Hongwei Xi	Combining programming with theorem proving.	ICFP	2005	DBLP DOI BibTeX RDF	applied type system, proof erasure, theorem proving, dependent types, ATS
2	Olha Shkaravska	Types with semantics: soundness proof assistant.	MERLIN	2005	DBLP DOI BibTeX RDF	type system, assertion, automated theorem proving, program logic
2	Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger	Automatic generation and maintenance of correct spreadsheets.	ICSE	2005	DBLP DOI BibTeX RDF	type system, template, spreadsheet, end-user software engineering, program generation, error prevention
2	Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller	Optimized run-time race detection and atomicity checking using partial discovered types.	ASE	2005	DBLP DOI BibTeX RDF	performance, type system, atomicity, data races
2	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
2	Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Automated type-based analysis of data races and atomicity.	PPOPP	2005	DBLP DOI BibTeX RDF	type system, type inference, atomicity, data races
2	Martin Erwig, Zhe Fu	Software reuse for scientific computing through program generation.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	ocean science, Fortran, Software reuse, type system, Haskell, program generator, inverse modeling
2	Edward A. Lee, Yuhong Xiong	A behavioral type system and its application in Ptolemy II.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping
2	François Bry, Stephanie Spranger	Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages.	PPSWR	2004	DBLP DOI BibTeX RDF
2	Derek Dreyer	A type system for well-founded recursion.	POPL	2004	DBLP DOI BibTeX RDF	yype systems, recursion, effect systems, recursive modules
2	Peter Møller Neergaard, Harry G. Mairson	Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.	ICFP	2004	DBLP DOI BibTeX RDF	proofnet, complexity, type inference, normalization, intersection types, idempotence
2	Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter	A Type System for Checking Applet Isolation in Java Card.	CASSIS	2004	DBLP DOI BibTeX RDF
2	M. Devi Prasad, Banshi Dhar Chaudhary	A Type System for an Aspect Oriented Programming Language.	ICDCIT	2004	DBLP DOI BibTeX RDF
2	Jonathan Edwards, Daniel Jackson, Emina Torlak	A type system for object models.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy
2	Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet	Towards a higher-order synchronous data-flow language.	EMSOFT	2004	DBLP DOI BibTeX RDF	Kahn processes, stream functions, synchronous data-flow programming language, functional programming, type system, dynamic reconfiguration
2	David Teller, Pascal Zimmer, Daniel Hirschkoff	Using ambients to control resources.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Type system, Process algebra, Resource control, Global computing
2	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
2	Philippe Bidinger, Jean-Bernard Stefani	The Kell Calculus: Operational Semantics and Type System.	FMOODS	2003	DBLP DOI BibTeX RDF
2	Derek Dreyer, Karl Crary, Robert Harper	A type system for higher-order modules.	POPL	2003	DBLP DOI BibTeX RDF	modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors
2	Frédéric Gava, Frédéric Loulergue	A Polymorphic Type System for Bulk Synchronous Parallel ML.	PaCT	2003	DBLP DOI BibTeX RDF