Search results for "type-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Bruno Barras, Bruno Bernardo	The Implicit Calculus of Constructions as a Programming Language with Dependent Types.	FoSSaCS	2008	DBLP DOI BibTeX RDF
5	Peter Gottschling, Andrew Lumsdaine	Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries.	GPCE	2008	DBLP DOI BibTeX RDF	semantic verification, optimization, c++, concepts, loop unrolling, semantic properties
5	Sara Forghanizadeh, Eric Wohlstadter	Interface Composition for Web Service Intermediaries.	SC@ETAPS	2008	DBLP DOI BibTeX RDF
5	Pierre Kelsen, Qin Ma 0002	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.	MoDELS	2008	DBLP DOI BibTeX RDF
5	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Expressive Declassification Policies and Modular Static Enforcement.	SP	2008	DBLP DOI BibTeX RDF	verification, information flow, declassification, downgrading
5	Clifford E. Cummings	SystemVerilog implicit port enhancements accelerate system design & verification.	DAC	2008	DBLP DOI BibTeX RDF	*, .name, Verilog EMACS mode, implicit ports, Verilog, instantiation, SystemVerilog
5	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble 0001, Jan Vitek, Tian Zhao	Scoped types and aspects for real-time Java memory management.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Real-time systems, Memory management, Java virtual machine, Ownership types
5	Luc Segoufin	Static analysis of XML processing with data values.	SIGMOD Rec.	2007	DBLP DOI BibTeX RDF	XML
5	Torbjörn Ekman 0001, Görel Hedin	The JastAdd extensible Java compiler.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	declarative frameworks, Java, compilers, OOP, modularity, extensibility
5	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001	Visibly pushdown automata for streaming XML.	WWW	2007	DBLP DOI BibTeX RDF	XML, query, typing, schema, streaming algorithms, pushdown automata
5	Ralf Lämmel	Scrap your boilerplate with XPath-like combinators.	POPL	2007	DBLP DOI BibTeX RDF	XML programming, generic functional programming
5	Jorge Coelho 0001, Mário Florido	Type-Based Static and Dynamic Website Verification.	ICIW	2007	DBLP DOI BibTeX RDF
5	Robert Hoehndorf, Kay Prüfer, Michael Backhaus, Heinrich Herre, Janet Kelso, Frank Loebe, Johann Visagie	A Proposal for a Gene Functions Wiki.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
5	Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus	Deconstructing process isolation.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity
5	Matthieu Sozeau	Subset Coercions in Coq.	TYPES	2006	DBLP DOI BibTeX RDF
5	Jerker Bengtsson, Bertil Svensson	A configurable framework for stream programming exploration in baseband applications.	IPDPS	2006	DBLP DOI BibTeX RDF
5	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble 0001, Jan Vitek, Tian Zhao	Scoped Types and Aspects for Real-Time Java.	ECOOP	2006	DBLP DOI BibTeX RDF
5	Franz Puntigam	Internal and External Token-Based Synchronization in Object-Oriented Languages.	JMLC	2006	DBLP DOI BibTeX RDF
5	Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz	Consistency and Completeness of Rewriting in the Calculus of Constructions.	IJCAR	2006	DBLP DOI BibTeX RDF
5	Suan Hsi Yong, Susan Horwitz	Using Static Analysis to Reduce Dynamic Analysis Overhead.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	dynamic debugging, runtime types, static analysis
5	Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang 0007	The Semantics and Tool Support of OZTA.	ICFEM	2005	DBLP DOI BibTeX RDF	Timed Patterns, Tool and Verification, Semantics
5	Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel	Weaving Executability into Object-Oriented Meta-languages.	MoDELS	2005	DBLP DOI BibTeX RDF
5	Elaine Cheong, Jie Liu 0001	galsC: A Language for Event-Driven Embedded Systems.	DATE	2005	DBLP DOI BibTeX RDF
5	Richard Cardone, Danny Soroker, Alpana Tiwari	Using XForms to simplify Web programming.	WWW	2005	DBLP DOI BibTeX RDF	XMLBeans, visual builder, Web application, eclipse, J2EE, MVC, XForms
5	François Bry, Frank-André Rieß, Stephanie Spranger	CaTTS: calendar types and constraints for Web applications.	WWW	2005	DBLP DOI BibTeX RDF	Web reasoning, time, types, calendars
5	Tom Schrijvers	Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.	ICLP	2005	DBLP DOI BibTeX RDF
5	Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso 0002	A DLP System with Object-Oriented Features.	LPNMR	2005	DBLP DOI BibTeX RDF
5	Brigitte Pientka	Tabling for Higher-Order Logic Programming.	CADE	2005	DBLP DOI BibTeX RDF
5	Johann Oberleitner, Michael Fischer 0001	Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models.	SC@ETAPS	2005	DBLP DOI BibTeX RDF
5	Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Programming with TOY(FD).	CP	2005	DBLP DOI BibTeX RDF
5	Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne	A Method for Specifying Contract Mediated Interactions.	EDOC	2005	DBLP DOI BibTeX RDF
5	Fairouz Kamareddine, Manuel Maarek, J. B. Wells	Toward an Object-Oriented Structure for Mathematical Text.	MKM	2005	DBLP DOI BibTeX RDF
5	Tom Fitzpatric	System Verilog for VHDL Users.	DATE	2004	DBLP DOI BibTeX RDF
5	Barry Norton, Matt Fairtlough	Reactive Types for Dataflow-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
5	Sarah Monisha Pulimood, Boumediene Belkhouche	A Mobile Computational model for Internet programming.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	Internet programming, mobile computational model, mobile computation
5	Daqing Hou, H. James Hoover, Piotr Rudnicki	Specifying framework constraints with FCL.	CASCON	2004	DBLP BibTeX RDF
5	Joost Engelfriet, Sebastian Maneth	A comparison of pebble tree transducers with macro tree transducers.	Acta Informatica	2003	DBLP DOI BibTeX RDF
5	Stefan Kahrs	Well-Going Programs Can Be Typed.	TLCA	2003	DBLP DOI BibTeX RDF
5	Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson	The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia.	APSEC	2003	DBLP DOI BibTeX RDF
5	Ben Liblit, Alexander Aiken, Katherine A. Yelick	Type Systems for Distributed Data Sharing.	SAS	2003	DBLP DOI BibTeX RDF
5	Peter Lee 0001	What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.	TACAS	2003	DBLP DOI BibTeX RDF
5	Dean Herington, P. David Stotts	DeCo: A Declarative Coordination Framework for Scientific Model Federations.	ASE	2003	DBLP DOI BibTeX RDF
5	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	jcc: Integrating Timed Default Concurrent Constraint Programming into Java.	EPIA	2003	DBLP DOI BibTeX RDF
5	Sudhakar Govindavajhala, Andrew W. Appel	Using Memory Errors to Attack a Virtual Machine.	S&P	2003	DBLP DOI BibTeX RDF
5	Christoph Grein, Dmitry A. Kazakov, Fraser Wilson	A Survey of Physical Unit Handling Techniques in Ada.	Ada-Europe	2003	DBLP DOI BibTeX RDF
5	Daqing Hou, H. James Hoover	Towards Specifying Constraints for Object-Oriented Frameworks.	Inf. Syst. Frontiers	2002	DBLP DOI BibTeX RDF	framework constraints, FCL checker, object-oriented frameworks, FCL
5	John P. Gallagher, Germán Puebla	Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs.	PADL	2002	DBLP DOI BibTeX RDF
5	Chuck C. Liang	Compiler Construction in Higher Order Logic Programming.	PADL	2002	DBLP DOI BibTeX RDF
5	David Notkin	Longitudinal program analysis.	PASTE	2002	DBLP DOI BibTeX RDF
5	Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu	From a B Specification to UML StateChart Diagrams.	ICFEM	2002	DBLP DOI BibTeX RDF
5	Peter D. Mosses	The Varieties of Programming Language Semantics.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
5	Huub van de Wetering	Javra: A Simple, Extensible Java Package for VRML.	Computer Graphics International	2001	DBLP DOI BibTeX RDF	3D interactive graphics, Java, prototype, VRML, EAI, scene graph
5	Giuseppe Del Castillo	The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.	TACAS	2001	DBLP DOI BibTeX RDF
5	Liwu Li 0001	On ODMG Data Types.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
5	Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese	MetaKlaim: Meta-programming for Global Computing.	SAIG	2001	DBLP DOI BibTeX RDF
5	Iliano Cervesato	Typed MSR: Syntax and Examples.	MMM-ACNS	2001	DBLP DOI BibTeX RDF
5	Daqing Hou, H. James Hoover	Towards specifying constraints for object-oriented frameworks.	CASCON	2001	DBLP BibTeX RDF	FCL
5	Nancy A. Day, Jeffrey J. Joyce	A Framework for Multi-Notation Requirements Specification and Analysis.	ICRE	2000	DBLP DOI BibTeX RDF
5	Gilles Barthe, Thierry Coquand	An Introduction to Dependent Type Theory.	APPSEM	2000	DBLP DOI BibTeX RDF
5	Gerald Brose	A Typed Access Control Model for CORBA.	ESORICS	2000	DBLP DOI BibTeX RDF	Access control, CORBA, types, roles
5	Simon A. Dobson, Paddy Nixon, Vincent P. Wade, Sotirios Terzis, John Fuller	Vanilla: An Open Language Framework.	GCSE	1999	DBLP DOI BibTeX RDF
5	Seikoh Mikami, Yohji Akama	A Study of Abramsky's Linear Chemical Abstract Machine.	TLCA	1999	DBLP DOI BibTeX RDF
5	Stéphane Coulondre, Thérèse Libourel	Viewpoints Handling in an Object Model with Criterium-Based Classes.	DEXA	1999	DBLP DOI BibTeX RDF
5	Ralf Hartmut Güting, Stefan Dieker, Claudia Freundorfer, Ludger Becker, Holger Schenk	SECONDO/QP: Implementation of a Generic Query Processor.	DEXA	1999	DBLP DOI BibTeX RDF
5	Thomas Ledoux	OpenCorba: A Reflektive Open Broker.	Reflection	1999	DBLP DOI BibTeX RDF
5	Fabrice Kordon	MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Meta-data description, Semantic transformation, Code generation
5	Laurent Pautet, Samuel Tardieu	Inside the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
5	Robert Allen, David Garlan	A Formal Basis for Architectural Connection.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	WRIGHT, module interconnection, model-checking, formal models, software analysis
5	Walid Taha, Tim Sheard	Multi-Stage Programming with Explicit Annotations.	PEPM	1997	DBLP DOI BibTeX RDF
5	Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas	Lazy Narrowing with Parametric Order Sorted Types.	ALP/HOA	1997	DBLP DOI BibTeX RDF
5	Reinhold Plösch	Design by Contract for Python.	APSEC	1997	DBLP DOI BibTeX RDF
5	Penny Anderson	Representing Proof Transformations for Program Optimizations.	CADE	1994	DBLP DOI BibTeX RDF
5	Anthony C. Hearn, Eberhard Schrüfer	An Order-Sorted Approach to Algebraic Computation.	DISCO	1993	DBLP DOI BibTeX RDF
5	Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall	Distributed Run-Time Systems, a Protocol for Ada.	Ada-Europe	1993	DBLP DOI BibTeX RDF
5	Eshrat Arjomandi, Ivan Kalas, William G. O'Farrell	Concurrency abstractions in a C++ class library.	CASCON	1993	DBLP BibTeX RDF
5	Simone Cabasino, Pier Stanislao Paolucci, Gian Marco Todesco	Dynamic parsers and evolving grammars.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
5	Charles Farnum	Pattern-Based Tree Attribution.	POPL	1992	DBLP DOI BibTeX RDF
5	Robert A. MacLachlan	The Python Compiler for CMU Common Lisp.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	DEBUG, Common Lisp
5	Jens Palsberg	A Provably Correct Compiler Generator.	ESOP	1992	DBLP DOI BibTeX RDF
5	Spiro Michaylov, Frank Pfenning	Natural Semantics and Some of Its Meta-Theory in Elf.	ELP	1991	DBLP DOI BibTeX RDF
5	Paul Keller, Thomas Maas	An OPTRAN-generated Front-End for Ada.	WAGA	1990	DBLP DOI BibTeX RDF
5	Gail E. Kaiser	Incremental Dynamic Semantics for Language-Based Programming Environments.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
5	Gary Lindstrom	Static Analysis Of Functional Programs With Logic Variables.	PLILP	1988	DBLP DOI BibTeX RDF
5	Peter Wegner, Stanley B. Zdonik	Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like.	ECOOP	1988	DBLP DOI BibTeX RDF
5	Andrew Cheese	Multi-Moded Relations in Parlog.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	PARLOG, PARLOG
5	G. Nani	Implementing Separate Compilations in Pascal.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Pascal
5	Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley	Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF	TAXIS
5	Chris Horn	Conformance, Genericity, Inheritance and Enhancement.	ECOOP	1987	DBLP DOI BibTeX RDF
5	Gary Lindstrom	Static evaluation of functional programs.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
5	Butler W. Lampson, Eric E. Schmidt	Practical Use of a Polymorphic Applicative Language.	POPL	1983	DBLP DOI BibTeX RDF
5	Arra Avakian, Sam Haradhvala, Julian Horn, Bruce Knobe	The Design of an Integrated Support Software System.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
5	Robert Piloty, Mario Barbacci, Dominique Borrione, Donald L. Dietmeyer, Fredrick J. Hill, Patrick Skelly	CONLAN: a formal construction method for hardware description languages: language derivation.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
5	Patrick Cousot, Radhia Cousot	Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.	POPL	1977	DBLP DOI BibTeX RDF