Search results for "type-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Martin Bever, Peter C. Lockemann	Database Hosting in Strongly-Typed Programming Languages.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
10	Robert E. Strom	Mechanisms for Compile-Time Enforcement of Security.	POPL	1983	DBLP DOI BibTeX RDF
9	Shan Shan Huang, Yannis Smaragdakis	Expressive and safe static reflection with MorphJ.	PLDI	2008	DBLP DOI BibTeX RDF	class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions
9	Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher	From Monomorphic to Polymorphic Well-Typings and Beyond.	LOPSTR	2008	DBLP DOI BibTeX RDF
9	Joseph Gil, Keren Lenz	Simple and safe SQL queries with c++ templates.	GPCE	2007	DBLP DOI BibTeX RDF	structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages
9	Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey	A Framework for Extended Algebraic Data Types.	FLOPS	2006	DBLP DOI BibTeX RDF
9	Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe	Type-Safe Runtime Class Upgrades in Creol.	FMOODS	2006	DBLP DOI BibTeX RDF
9	Mats Kindahl	Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002.	SIGACT News	2005	DBLP DOI BibTeX RDF
9	Kostas Saidis, George Pyrounakis, Mara Nikolaidou	On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach.	ECDL	2005	DBLP DOI BibTeX RDF
9	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	The open verifier framework for foundational verifiers.	TLDI	2005	DBLP DOI BibTeX RDF	language-based security, proof-carrying code, typed assembly language
9	Todd D. Millstein	Practical predicate dispatch.	OOPSLA	2004	DBLP DOI BibTeX RDF	dynamic dispatch, predicate dispatch, modular typechecking
9	Gregory Neverov, Paul Roe	Metaphor: A Multi-stage, Object-Oriented Programming Language.	GPCE	2004	DBLP DOI BibTeX RDF
9	Luigi Liquori, Bernard P. Serpette	iRho: an imperative rewriting calculus.	PPDP	2004	DBLP DOI BibTeX RDF	certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics
9	James Riely, Matthew Hennessy	Trust and Partial Typing in Open Systems of Mobile Agents.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	partial typing, trust, type safety
9	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
9	Walid Taha	A Gentle Introduction to Multi-stage Programming.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
9	Walid Taha, Michael Florentin Nielsen	Environment classifiers.	POPL	2003	DBLP DOI BibTeX RDF	type systems, modal logic, type safety, linear temporal logic, multi-stage programming
9	Janna Khegai, Bengt Nordström, Aarne Ranta	Multilingual Syntax Editing in GF.	CICLing	2003	DBLP DOI BibTeX RDF
9	Jana Dunfield, Frank Pfenning	Type Assignment for Intersections and Unions in Call-by-Value Languages.	FoSSaCS	2003	DBLP DOI BibTeX RDF
9	Walid Taha, Patricia Johann	Staged Notational Definitions.	GPCE	2003	DBLP DOI BibTeX RDF
9	Andres Löh, Dave Clarke 0001, Johan Jeuring	Dependency-style generic Haskell.	ICFP	2003	DBLP DOI BibTeX RDF	generic haskell, functional programming, type systems, generic programming
9	Toshiyuki Maeda, Akinori Yonezawa	Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.	ASIAN	2003	DBLP DOI BibTeX RDF
9	Libin Wang, Kefei Chen	A Typed Theory for Access Control and Information Flow Control in Mobile Systems.	ACISP	2003	DBLP DOI BibTeX RDF
9	Ahmet Mutlu, Mustafa Ege	Java-XCOM Component Integration on Linux Operating System.	EUROMICRO	2003	DBLP DOI BibTeX RDF	java-c++ integration, native component, xcom bridge, omniidl, IDL, jni
9	Jens P. Secher, Morten Heine Sørensen	From checking to inference via driving and dag grammars.	PEPM	2002	DBLP DOI BibTeX RDF	inference, supercompilation, program inversion
9	Andrew W. Appel, Amy P. Felty	A Semantic Model of Types and Machine Instructions for Proof-Carrying Code.	POPL	2000	DBLP DOI BibTeX RDF
9	R. Sekar 0001, Y. Guang, S. Verma, T. Shanbhag	A High-Performance Network Intrusion Detection System.	CCS	1999	DBLP DOI BibTeX RDF
9	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
9	Oukseh Lee, Kwangkeun Yi	Proofs about a Folklore Let-Polymorphic Type Inference Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	type inference algorithm, type error
9	Franz Puntigam	Synchronization Expressed in Types of Communication Channels.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
9	Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor	Using Object-Oriented Typing to Support Architectural Design in the C2 Style.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C++
9	Bernd Holzmüller	Extending the Object-Orientedness of Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF	flexible type concepts, tagged types, language evaluation, polymorphism, object-oriented languages, Ada 95, dispatching, multi-methods
9	Giuseppe Castagna	A Meta-Language for Typed Object-Oriented Languages.	FSTTCS	1993	DBLP DOI BibTeX RDF
9	Edward Wang, Paul N. Hilfinger	Analysis of Recursive Types in Lisp-Like Languages.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
9	Uday S. Reddy	A Typed Foundation for Directional Logic Programming.	ELP	1992	DBLP DOI BibTeX RDF	Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
9	J. Michael Spivey, Bernard Sufrin	Type Inference in Z.	VDM Europe	1990	DBLP DOI BibTeX RDF
9	Robert Harper 0001, John C. Mitchell, Eugenio Moggi	Higher-Order Modules and the Phase Distinction.	POPL	1990	DBLP DOI BibTeX RDF	ML
9	Michael I. Schwartzbach	Static Correctness of Hierarchical Procedures.	ICALP	1990	DBLP DOI BibTeX RDF
9	Carsten K. Gomard	Partial Type Inference for Untyped Functional Programs.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
9	Pierre-Louis Curien, Giorgio Ghelli	Coherence of Subsumption.	CAAP	1990	DBLP DOI BibTeX RDF
9	Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely	Do As I SaY! Programmatic Access Control with Explicit Identities.	CSF	2007	DBLP DOI BibTeX RDF
9	Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten	Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
9	Jin Song Dong, Ping Hao, Xian Zhang 0007, Shengchao Qin	HighSpec: a tool for building and checking OZTA models.	ICSE	2006	DBLP DOI BibTeX RDF	verification, timed automata, object-Z, structural design
9	Pierre Genevès, Nabil Layaïda	Comparing XML path expressions.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	analysis, experimentation, XPath
9	Hanna Bauerdick, Martin Gogolla, Fabian Gutsche	Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.	UML	2004	DBLP DOI BibTeX RDF
9	Giuseppe Del Castillo, Kirsten Winter	Model Checking Support for the ASM High-Level Language.	TACAS	2000	DBLP DOI BibTeX RDF
9	Johann Schumann	PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols.	CAV	1999	DBLP DOI BibTeX RDF
9	Ora Canada	Z/EVES Version 1.5: An Overview.	FM-Trends	1998	DBLP DOI BibTeX RDF
9	Didier Bert, Catherine Oriat	A Model Inference System for Generic Specification with Application to Code Sharing.	TAPSOFT	1995	DBLP DOI BibTeX RDF
9	Joshua E. Caplan, Mehdi T. Harandi	A Logical Framework for Software Proof Reuse.	SSR	1995	DBLP DOI BibTeX RDF
9	David Alex Lamb, Kevin A. Schneider	Formalization of information hiding design methods.	CASCON	1992	DBLP BibTeX RDF
7	Zachary Snow, David Baelde, Gopalan Nadathur	A meta-programming approach to realizing dependently typed logic programming.	PPDP	2010	DBLP DOI BibTeX RDF	dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks
7	Michael Benedikt	Analysis of declarative updates: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
7	Richard Dapoigny, Patrick Barlatier	Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.	ISMIS	2009	DBLP DOI BibTeX RDF
7	Lin Chen 0015, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou	A Constraint Based Bug Checking Approach for Python.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
7	Vasco Thudichum Vasconcelos	Fundamentals of Session Types.	SFM	2009	DBLP DOI BibTeX RDF
7	Zvonimir Rakamaric, Alan J. Hu	A Scalable Memory Model for Low-Level Code.	VMCAI	2009	DBLP DOI BibTeX RDF
7	Deepak Mathaikutty, Sandeep K. Shukla	MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
7	Andreas Gal, Christian W. Probst, Michael Franz	Java bytecode verification via static single assignment form.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java bytecode verification, dataflow analysis, static single assignment form
7	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Computing Stack Maps with Interfaces.	ECOOP	2008	DBLP DOI BibTeX RDF
7	Raymond Hu, Nobuko Yoshida, Kohei Honda 0001	Session-Based Distributed Programming in Java.	ECOOP	2008	DBLP DOI BibTeX RDF
7	Dirk Kleeblatt	Checking Dependent Types Using Compiled Code.	IFL	2007	DBLP DOI BibTeX RDF
7	James Sasitorn, Robert Cartwright	Deriving components from genericity.	SAC	2007	DBLP DOI BibTeX RDF	Java implementation, custom class loader, first-class generics, components, signatures, modules
7	Andreas Abel 0001, Thierry Coquand, Peter Dybjer	Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements.	LICS	2007	DBLP DOI BibTeX RDF
7	Rasmus Johansen, Peter Sestoft, Stephan Spangenberg	Zero-Overhead Composable Aspects for .NET.	Lipari Summer School	2007	DBLP DOI BibTeX RDF
7	Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo	Foundational Typed Assembly Language with Certified Garbage Collection.	TASE	2007	DBLP DOI BibTeX RDF
7	Frédéric Blanqui, Colin Riba	Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems.	LPAR	2006	DBLP DOI BibTeX RDF
7	Hei Ning Helen Ma, Lan Yang	Improvement of Object Serialization in Java Remote Method Invocation.	SNPD	2006	DBLP DOI BibTeX RDF
7	Jianting Zhang, Deana Pennington, William Michener	Validating Compositions of Geospatial Processing Web Services in a Scientific Workflow Environment.	ICWS	2005	DBLP DOI BibTeX RDF
7	Edwin M. Westbrook, Aaron Stump, Ian Wehrman	A language-based approach to functionally correct imperative programming.	ICFP	2005	DBLP DOI BibTeX RDF	RSP, RSP1, program verification, dependent types
7	Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen	Verifying safety policies with size properties and alias controls.	ICSE	2005	DBLP DOI BibTeX RDF	alias control, object-based programs, size properties, dependent types, safety verification
7	Wlodzimierz Drabent	Towards Types for Web Rule Languages.	Reasoning Web	2005	DBLP DOI BibTeX RDF
7	Stephen Neuendorffer, Edward A. Lee	Hierarchical reconfiguration of dataflow models.	MEMOCODE	2004	DBLP DOI BibTeX RDF
7	Thomas Schwentick	Trees, Automata and XML. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
7	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
7	Sanjeev Baskiyar	Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25
7	Steve Zdancewic, Andrew C. Myers	Secure Information Flow and CPS.	ESOP	2001	DBLP DOI BibTeX RDF
7	Yefim Shuf, Mauricio J. Serrano, Manish Gupta 0002, Jaswinder Pal Singh	Characterizing the memory behavior of Java workloads: a structured view and opportunities for optimizations.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
7	Silvano Dal-Zilio, Andrew D. Gordon 0001	Region Analysis and a pi-Calculus wiht Groups.	MFCS	2000	DBLP DOI BibTeX RDF
7	Thierry Coquand, Makoto Takeyama	An Implementation of Type: Type.	TYPES	2000	DBLP DOI BibTeX RDF
7	Joëlle Despeyroux	A Higher-Order Specification of the pi-Calculus.	IFIP TCS	2000	DBLP DOI BibTeX RDF
7	Blas C. Ruiz Jiménez	Condensing Lemmas for Pure Type Systems with Universes.	AMAST	1998	DBLP DOI BibTeX RDF
7	K. Rustan M. Leino	Recursive Object Types in a Logic of Object-Oriented Programs.	ESOP	1998	DBLP DOI BibTeX RDF
7	Bernhard K. Aichernig, Peter Gorm Larsen	A Proof Obligation Generator for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
7	E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull	Reverse Engineering Concurrent Programs using Formal Modelling and Analysis.	ICSM	1996	DBLP DOI BibTeX RDF	Formal methods, concurrency, reverse engineering, program transformations, type theory
7	Alexandra Poulovassilis, Mark Levene	A Nested-Graph Model for the Representation and Manipulation of Complex Objects.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	nested graph, object store, rule-based query and update language, types, complex object
7	Patricia M. Hill	The Completion of Typed Logic Programs and SLDNF-Resolution.	LPAR	1993	DBLP DOI BibTeX RDF
7	Chung-Shyan Liu	On the object-orientedness of C++.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C++
7	Hans Bruun, Bo Stig Hansen, Flemming M. Damm	An Approach to the Static Semantics of VDM-SL.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
7	Stephen C. Dewhurst	Object Representation of Scope During Translation.	ECOOP	1987	DBLP DOI BibTeX RDF
7	Hans-Juergen Boehm, Alan J. Demers	Implementing RUSSELL.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	RUSSELL
7	James E. Donahue, Alan J. Demers	Data Types Are Values.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF	RUSSELL
7	Burt M. Leavenworth	A Data Abstraction Approach to Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
5	Jeremy G. Siek	General purpose languages should be metalanguages.	PEPM	2010	DBLP DOI BibTeX RDF	domain-specific embedded languages, reflection, metaprogramming, multi-stage programming
5	David Lievens, William Harrison	Symmetric encapsulated multi-methods to abstract over application structure.	SAC	2009	DBLP DOI BibTeX RDF	symmetric methods, software evolution, type system, language design, multiple dispatch
5	Chengyun Chu	Introduction to Microsoft .NET Security.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
5	Arvind, Rishiyur S. Nikhil	Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).	MEMOCODE	2008	DBLP DOI BibTeX RDF
5	Nik Sultana, Simon J. Thompson	Mechanical verification of refactorings.	PEPM	2008	DBLP DOI BibTeX RDF	refactoring, Isabelle/HOL
5	Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie	Testudo: Heavyweight security analysis via statistical sampling.	MICRO	2008	DBLP DOI BibTeX RDF
5	Jean-François Raskin, Frédéric Servais	Visibly Pushdown Transducers.	ICALP (2)	2008	DBLP DOI BibTeX RDF