Search results for "Declaration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Davide Ancona, Giovanni Lagorio, Elena Zucca	True separate compilation of Java classes.	PPDP	2002	DBLP DOI BibTeX RDF	object-oriented programming, types, separate compilation
11	David Overton, Zoltan Somogyi, Peter J. Stuckey	Constraint-based mode analysis of mercury.	PPDP	2002	DBLP DOI BibTeX RDF	Boolean constraints, mode analysis, modes
11	Raymond R.-F. Liao, Rita H. Wouhaybi, Andrew T. Campbell	Incentive Engineering in Wireless LAN Based Access Networks.	ICNP	2002	DBLP DOI BibTeX RDF
11	Lerina Aversano, Massimiliano Di Penta, Ira D. Baxter	Handling Preprocessor-Conditioned Declarations.	SCAM	2002	DBLP DOI BibTeX RDF	Preprocessor code analysis, multi-platform software, type-checking, symbol table
11	Dongwook Shin	XML Indexing and Retrieval with a Hybrid Storage Model.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Hybrid storage model, XML, Information retrieval, Database system
11	Babak Sadighi Firozabadi, Marek J. Sergot, Olav L. Bandmann	Using Authority Certificates to Create Management Structures.	Security Protocols Workshop	2001	DBLP DOI BibTeX RDF
11	Azzedine Boukerche, Terry Tuck	Improving Concurrency Control in Distributed Databases with Predeclared Tables.	Euro-Par	2001	DBLP DOI BibTeX RDF
11	Parke Godfrey, Jarek Gryz, Calisto Zuzarte	Exploiting Constraint-Like Data Characterizations in Query Optimization.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
11	Richard Sharp, Alan Mycroft	A Higher-Level Language for Hardware Synthesis.	CHARME	2001	DBLP DOI BibTeX RDF
11	Pramod G. Joisha, Prithviraj Banerjee	Correctly detecting intrinsic type errors in typeless languages such as MATLAB.	APL	2001	DBLP DOI BibTeX RDF	APL, MATLAB
11	Sankhayan Choudhury, Nabendu Chaki, Swapan Bhattacharya	Graph Object Oriented Model and Query Language: A Semi-Structured Approach.	ITCC	2001	DBLP DOI BibTeX RDF
11	Katalin Tarnay	Self-adaptive Protocols.	IWSAS	2001	DBLP DOI BibTeX RDF
11	Paolo Tonella, Alessandra Potrich	Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers.	ICSM	2001	DBLP DOI BibTeX RDF	UML, reverse engineering, software maintenance, flow analysis
11	Hiranmay Ghosh, Santanu Chaudhury, Chetan Arora 0001, Paramjeet Nirankari	ImAge: An Extensible Agent-based Architecture for Image Retrieval.	Int. J. Digit. Libr.	2000	DBLP DOI BibTeX RDF	Conceptual query interpretation, Multi-agent system, Digital library, Content-based image retrieval, Distributed architecture
11	Massimo Fasciano, Guy Lapalme	Intentions in the Coordinated Generation of Graphics and Text from Tabular Data.	Knowl. Inf. Syst.	2000	DBLP DOI BibTeX RDF	Automatic graphics generation, User intentions, Text generation
11	Raphael B. Yehezkael, Yair Wiseman, H. G. Mendelbaum, I. L. Gordin	Experiments in Separating Computational Algorithm from Program Distribution and Communication.	PARA	2000	DBLP DOI BibTeX RDF
11	Mengchi Liu	Extending Datalog with Deductive Databases.	DEXA	2000	DBLP DOI BibTeX RDF
11	Laurent Guéguen	Segmentation by Maximal Predictive Partitioning According to Composition Biases.	JOBIM	2000	DBLP DOI BibTeX RDF
11	Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott	Model Checking in HAL.	Computational Logic	2000	DBLP DOI BibTeX RDF
11	Krzysztof R. Apt	A Denotational Semantics for First-Order Logic.	Computational Logic	2000	DBLP DOI BibTeX RDF
11	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods
11	Holger Giese	Contract-Based Component System Design.	HICSS	2000	DBLP DOI BibTeX RDF
11	Dan Hirsch, Paola Inverardi, Ugo Montanari	Reconfiguration of Software Architecture Styles with Name Mobility.	COORDINATION	2000	DBLP DOI BibTeX RDF
11	Naijun Zhan	Completeness of Higher-Order Duration Calculus.	CSL	2000	DBLP DOI BibTeX RDF	duration calculus higher-order logic interval temporal logic completeness
11	Stanislaw Deniziak, Krzysztof Sapiecha	High Level Testbench Generation for VHDL Models.	ECBS	1999	DBLP DOI BibTeX RDF	simulation, VHDL, testbench
11	Irene Weber	A Declarative Language Bias for Levelwise Search of First-Order Regularities.	ISMIS	1999	DBLP DOI BibTeX RDF
11	David Konopnicki, Oded Shmueli	A Comprehensive Framework for Querying and Integrating WWW Data and Services.	CoopIS	1999	DBLP DOI BibTeX RDF
11	J. Philip Benkard	Functions and data can dance as equal partners.	APL	1999	DBLP DOI BibTeX RDF	APL
11	Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios	AC++ Data Model Supporting Reachability Analysis and Dead Code Detection.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	dead code detection, program database, reverse engineering, C++, static analysis, conceptual modeling, reachability analysis, software repository
11	Richard S. Bird, Lambert G. L. T. Meertens	Nested Datatypes.	MPC	1998	DBLP DOI BibTeX RDF
11	Jürgen Dingel	A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.	AMAST	1998	DBLP DOI BibTeX RDF
11	Rolf Hennicker, Michel Bidoit	Observational Logic.	AMAST	1998	DBLP DOI BibTeX RDF
11	Jens Knoop	Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis.	ICCL	1998	DBLP DOI BibTeX RDF	Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis
11	Milton Corrêa, Helder Coelho	From Mental States and Architectures to Agents' Programming.	IBERAMIA	1998	DBLP DOI BibTeX RDF
11	Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes	Specification of Required Non-determinism.	FME	1997	DBLP DOI BibTeX RDF
11	Simon Marlow, Philip Wadler	A Practical Subtyping System For Erlang.	ICFP	1997	DBLP DOI BibTeX RDF	ERLANG
11	Chun-Chia Wang, Wen C. Pai, Timothy K. Shih	An Automated Object-Oriented Testing for C++ Inheritance Hierarchy.	ASE	1997	DBLP DOI BibTeX RDF	C++ inheritance hierarchy, unit repeated inheritance, intralevel first, interlevel first, windowing tool, C++ programs, programming environment, inheritance, inheritance, object-oriented testing, URI
11	Farn Wang, Chia-Tien Dan Lo	Procedure-Level Verification of Real-time Concurrent Systems.	FME	1996	DBLP DOI BibTeX RDF
11	Panos Constantopoulos, Yannis Tzitzikas	Context-Driven Information Base Update.	CAiSE	1996	DBLP DOI BibTeX RDF
11	Jeff Richey	Condition Handling in SQL Persistent Stored Modules.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF	SQL
11	Daniel Jackson 0001	Aspect: Detecting Bugs with Abstract Dependences.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	dataflow dependences, partial verification, partial specification
11	Boris Pasternak	The role of taxonomy in drawing interpretation.	ICDAR	1995	DBLP DOI BibTeX RDF	drawing interpretation, taxonomic structures, object taxonomy, object partonomy, part-of relations, knowledge readability, knowledge maintainability, declarative approach, dual taxonomies, scanned drawings, knowledge representation, knowledge representation, image recognition, image recognition, taxonomy, reasoning, document image processing, spatial reasoning
11	Anastasia Analyti, Sakti Pramanik	Declarative Semantics for Contradictory Modular Logic Programs.	ISMIS	1994	DBLP DOI BibTeX RDF
11	Stefan Kahrs	First-Class Polymorphism for ML.	ESOP	1994	DBLP DOI BibTeX RDF
11	Jan Kazimierczak	Acquisition and Representation of Knowledge on the Level of Programming Language for Automatic Programming.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	Pascal
11	Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki	Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning.	DISCO	1993	DBLP DOI BibTeX RDF
11	Olivier Danvy, Julia L. Lawall	Back to Direct Style II: First-Class Continuations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
11	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
11	Marco A. Casanova, Andrea S. Hemerly, António L. Furtado 0001	A Declarative Conceptual Modelling Language: Description and Example Applications.	CAiSE	1992	DBLP DOI BibTeX RDF
11	Laurie J. Hendren, Joseph Hummel, Alexandru Nicolau	Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs.	PLDI	1992	DBLP DOI BibTeX RDF
11	Gordon Lyon, Robert Snelick	Workloads, Observables, Benchmarks and Instrumentation.	CONPAR	1990	DBLP DOI BibTeX RDF
11	Ryszard Janicki, Tomasz Müldner	Complete Sequential Specification Allows for Concurrent Execution.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
11	Michael Hanus	Horn Clause Programs with Polymorphic Types: Semantics and Resolution.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
11	Paris C. Kanellakis, John C. Mitchell	Polymorphic Unification and ML Typing.	POPL	1989	DBLP DOI BibTeX RDF	ML
11	Peter B. Henderson, Francisco J. Romero	Teaching recursion as a problem-solving tool using standard ML.	SIGCSE	1989	DBLP DOI BibTeX RDF	ML
11	Craig Chambers, David M. Ungar	Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language.	PLDI	1989	DBLP DOI BibTeX RDF
11	John C. Mitchell, Gordon D. Plotkin	Abstract Types Have Existential Type.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
11	Niklaus Wirth	Type Extensions.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
11	Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu	Verification of VHDL Designs Using VAL.	DAC	1988	DBLP BibTeX RDF
11	Robert Harper 0001, Robin Milner, Mads Tofte	A Type Discipline for Program Modules.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
11	Martin Bever, Peter C. Lockemann	Database Hosting in Strongly-Typed Programming Languages.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
11	Kuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun'ichi Toyoda	Extended Prolog and Ints Application to an Integrated Parser for Text Understanding.	LP	1985	DBLP DOI BibTeX RDF
11	Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa	Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System.	LP	1985	DBLP DOI BibTeX RDF
11	Mitsuhiro Kishimoto, Tsuyoshi Shinogi, Yasunori Kimura, Akira Hattori	Design and Evaluation of a Prolog Compiler.	LP	1985	DBLP DOI BibTeX RDF
11	M. I. Blower	An efficient implementation of visibility in Ada.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
11	Steven P. Reiss	Graphical Program Development with PECAN Program Development Systems.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	PECAN
11	P. I. Pettitt	A design framework for the ALVEY/ICL/DHSS demonstrator process.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
11	Christian Lengauer, Chua-Huang Huang	The Static Derivation of Concurrency and its Mechanzed Certification.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
11	Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein	An Attribute Grammar for Ada.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Ada compiler, Attribute grammer, Ordered attribute grammer, Ada, Static semantics, Compiler compiler
11	Wolfgang Polak	Program Verification Based on Denotational Semantics.	POPL	1981	DBLP DOI BibTeX RDF
11	Christian Lengauer, Eric C. R. Hehner	A methodolgy for programming with concurrency.	CONPAR	1981	DBLP DOI BibTeX RDF
11	Hartmut Ehrig	Algebraic Theory of Parameterized Specifications with Requirements.	CAAP	1981	DBLP DOI BibTeX RDF
11	Paul W. Abrahams	The CIMS PL/I compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	PL/I
11	Andrzej Salwicki	On Algorithmic Theory of Stacks.	MFCS	1978	DBLP DOI BibTeX RDF
11	Claude Deheneffe, Henri Hennebert	NUL: A Navigational User's Language for a Network Structured Data Base.	SIGMOD Conference	1976	DBLP DOI BibTeX RDF	casual user, navigation, query language, network model, entity-relationship model, data manipulation language, data base management systems
11	Robert P. Larsen	Data filtering applied to information storage and retrieval applications.	Commun. ACM	1966	DBLP DOI BibTeX RDF