Search results for "declarations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Charles Bownstein	Durango Declarations Forum Commentaries.	Inf. Soc.	1996	DBLP DOI BibTeX RDF
23	Francis Harvey, Ben Gross, Philip E. Agre, Ben Shneiderman	The Durango Declarations Forum.	Inf. Soc.	1996	DBLP DOI BibTeX RDF
23	Marsha Woodbury	Durango Declarations Forum Commentaries.	Inf. Soc.	1996	DBLP DOI BibTeX RDF
23	Langdon Winner	Durango Declarations Forum Commentaries.	Inf. Soc.	1996	DBLP DOI BibTeX RDF
23	Elena Marchiori, Frank Teusink	Proving Termination of Logic Programs with Delay Declarations.	ILPS	1995	DBLP BibTeX RDF
23	Krzysztof R. Apt, Ingrid Luitjes	Verification of Logic Programs with Delay Declarations.	AMAST	1995	DBLP DOI BibTeX RDF
23	Mark R. Headington	Removing implementation details from C++ class declarations.	SIGCSE	1995	DBLP DOI BibTeX RDF	C++
23	Eric Vétillard	Vérification de déclarations en programmation logique avec contraintes.	JFPLC	1995	DBLP BibTeX RDF
23	Jun Shen, Gordon V. Cormack	Access Control for Private Declarations in Ada.	Comput. Lang.	1994	DBLP DOI BibTeX RDF
23	Michael Kohlhase	Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts.	KI	1994	DBLP DOI BibTeX RDF
23	Eric Vétillard	Constraint Logic Programs with Declarations: Theory and Implementation.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	1994	DBLP BibTeX RDF
23	Lan Nguyen-Phuong	Déclarations de Types en Prolog III.	JFPLC	1994	DBLP BibTeX RDF
23	Eric Vétillard	Utilisation de Déclarations en Programmation Logique avec Contraintes.	JFPLC	1994	DBLP BibTeX RDF
23	R. W. Matzen, K. M. George, George E. Hedrick	A Model for Studying Ambiguity in SGML Element Declarations.	SAC	1993	DBLP DOI BibTeX RDF	Standard Generalized Markup Language, SGML, text processing, electronic publishing
23	R. P. Mody	On understanding type declarations in C.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	C
23	Elsa L. Gunter	Why we can't have SML-style datatype Declarations in HOL.	TPHOLs	1992	DBLP BibTeX RDF
23	Patrik Floréen, Petri Myllymäki, Pekka Orponen, Henry Tirri	Compiling Object Declarations into Connectionist Networks.	AI Commun.	1990	DBLP DOI BibTeX RDF
23	Manfred Schmidt-Schauß	Computational Aspects of an Order-Sorted Logic with Term Declarations		1989	DOI RDF
23	Manfred Schmidt-Schauß	Computational aspects of an order-sorted logic with term declarations.		1988	RDF
23	Eric G. Wagner	On Declarations.	Categorial Methods in Computer Science	1988	DBLP DOI BibTeX RDF
23	Antony J. T. Davie	Conditional Declarations and Pattern Matching.	Data Types and Persistence (Appin), Informal Proceedings	1985	DBLP BibTeX RDF
23	Manfred Schmidt-Schauß	Unification in a Many-sorted Calculus with Declarations.	GWAI	1985	DBLP DOI BibTeX RDF
23	Martin Gogolla, Hans-Dieter Ehrich	Algebraic Specification with subsorts using declarations.	Bull. EATCS	1983	DBLP BibTeX RDF
23	Eduardo Kellerman	Processing structure declarations with APL.	ACM SIGAPL APL Quote Quad	1983	DBLP DOI BibTeX RDF
23	Krishna M. Kavi, U. B. Jackson	Effect of Declarations on Software Metrics: An Experiment in Software Science.	SCORE (1)	1982	DBLP DOI BibTeX RDF
23	Michael T. Garrett, James D. Foley	Graphics Programming Using a Database System with Dependency Declarations.	ACM Trans. Graph.	1982	DBLP DOI BibTeX RDF	nonprocedural programming, dependencies, production rules
23	Jon L. White	Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
23	Ronald M. Kaplan, B. A. Sheil	Adding Type Declarations to Interlisp.	IFIP Congress	1980	DBLP BibTeX RDF
23	Mauro Bert	A Formalization of the Transformation of Nested Declarations.	J. Inf. Process. Cybern.	1977	DBLP BibTeX RDF
23	Maarten M. Fokkinga	Axiomatization of Declarations and the Formal Treatment of an Escape Construct.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
23	Gordon Whitney	An extended BNF for specifying the syntax of declarations.	AFIPS Spring Joint Computing Conference	1969	DBLP DOI BibTeX RDF
23	Melvin E. Conway, Joseph Speroni	Arithmetizing declarations: an application to COBOL.	Commun. ACM	1963	DBLP DOI BibTeX RDF
23	Peter Zilahy Ingerman	Dynamic declarations.	Commun. ACM	1961	DBLP DOI BibTeX RDF
23	Peter Zilahy Ingerman	Thunks: a way of compiling procedure statements with some comments on procedure declarations.	Commun. ACM	1961	DBLP DOI BibTeX RDF
23	Bruce W. Arden, Bernard A. Galler, Robert M. Graham	An algorithm for equivalence declarations.	Commun. ACM	1961	DBLP DOI BibTeX RDF
21	Samir Genaim, Andy King	Inferring non-suspension conditions for logic programs with dynamic scheduling.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	concurrency, logic programming, debugging, Abstract interpretation
21	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A compositional Petri net translation of general pi -calculus terms.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus
21	Max Schäfer, Torbjörn Ekman 0001, Oege de Moor	Sound and extensible renaming for java.	OOPSLA	2008	DBLP DOI BibTeX RDF	name analysis, refactoring, renaming, extensible compilers
21	Andruid Kerne, Phoebe O. Toups Dugas, Blake Dworaczyk, Madhur Khandelwal	A concise XML binding framework facilitates practical object-oriented document engineering.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	binding framework, Java, XML, object-oriented programming, translation, metalanguage
21	Jan Van den Bussche, Stijn Vansummeren	Polymorphic type inference for the named nested relational calculus.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	named nested relational calculus, typability, complexity, Type inference
21	Ponciano Jorge Escamilla-Ambrosio, Nick Lieven	Fuzzy Logic Obstacle Identity Declaration and Fusion in the Autotaxi System.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
21	Patrice Chalin, Perry R. James	Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.	ECOOP	2007	DBLP DOI BibTeX RDF
21	Jun Shirako, Hironori Kasahara, Vivek Sarkar	Language Extensions in Support of Compiler Parallelization.	LCPC	2007	DBLP DOI BibTeX RDF
21	Oliver Ray, Katsumi Inoue	Mode-Directed Inverse Entailment for Full Clausal Theories.	ILP	2007	DBLP DOI BibTeX RDF
21	Joachim Biskup, Joerg Parthe	Optimistic Anonymous Participation in Inter-organizational Workflow Instances.	ICISS	2006	DBLP DOI BibTeX RDF
21	Yong Mao, Yunhong Gu, Jia Chen, Robert L. Grossman	SDCS: Simplified Data Communications in Parallel/Distributed Applications.	CCGRID	2006	DBLP DOI BibTeX RDF
21	Markus Lumpe, Jean-Guy Schneider	On the Integration of Classboxes into C#.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
21	Tom Schrijvers, Maurice Bruynooghe	Polymorphic algebraic data type reconstruction.	PPDP	2006	DBLP DOI BibTeX RDF	polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type
21	Thi Viet Nga Nguyen, François Irigoin	Efficient and effective array bound checking.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	interprocedural analysis, Array bound checking
21	Ittai Balaban, Frank Tip, Robert M. Fuhrer	Refactoring support for class library migration.	OOPSLA	2005	DBLP DOI BibTeX RDF
21	Robert M. Fuhrer, Frank Tip, Adam Kiezun	Advanced refactorings in eclipse.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	parametric types, software engineering, refactoring, type systems
21	D. A. van Beek, Victor Bos, Jacobus E. Rooda	Declaration of unknowns in DAE-based hybrid system specification.	ACM Trans. Model. Comput. Simul.	2003	DBLP DOI BibTeX RDF	Consistent initial conditions, semantics, hybrid systems, initial value problem
21	Margaret Miró-Julià	The Zero Array: A Twilight Zone.	EUROCAST	2003	DBLP DOI BibTeX RDF
21	William M. Evanco, June M. Verner	Some Architectural Features of Ada Systems Affecting Defects.	Ada-Europe	2003	DBLP DOI BibTeX RDF
21	Anne-Françoise Le Meur, Charles Consel, Benoît Escrig	An Environment for Building Customizable Software Components.	Component Deployment	2002	DBLP DOI BibTeX RDF
21	Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.	ESOP	2001	DBLP DOI BibTeX RDF
21	Victor B. Lortz, Kang G. Shin, Jinho Kim	MDARTS: A Multiprocessor Database Architecture for Hard Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	exemplar-based programming, atomic data types, concurrency control, shared memory, object-oriented systems, Real-time databases, semantic constraints
21	Azzedine Boukerche, Terry Tuck	T3C: A Temporally Correct Concurrency Control Algorithm for Distributed Databases.	MASCOTS	2000	DBLP DOI BibTeX RDF
21	Annalisa Bossi, Sandro Etalle, Sabina Rossi	Semantics of Input-Consuming Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF	semantics, logic programming, dynamic scheduling
21	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
21	Walling R. Cyre	Conceptual Modeling and Simulation.	ICCD	1999	DBLP DOI BibTeX RDF	Simulation, Modeling, Semantics, Conceptual Modeling, Rapid Prototyping
21	J. Philip Benkard	Functions and data can dance as equal partners.	APL	1999	DBLP DOI BibTeX RDF	APL
21	Tyng-Ruey Chuang, Chuan-Chieh Jung, Wen-Min Kuan, Yue-Sun Kuo	ObjectStream: Generating Stream-Based Object I/O for C++.	TOOLS (24)	1997	DBLP DOI BibTeX RDF	Object Input/Output, C++, Code Generation, Software Development Tool
21	Jeff Richey	Condition Handling in SQL Persistent Stored Modules.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF	SQL
21	Patricia Johann, Michael Kohlhase	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.	CADE	1994	DBLP DOI BibTeX RDF
21	Robert Bernecky	Array Morphology.	APL	1993	DBLP DOI BibTeX RDF	APL
21	John C. Mitchell, Gordon D. Plotkin	Abstract Types Have Existential Type.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
21	Jules Desharnais, Nazim H. Madhavji	Relation Level Semantics.	FSTTCS	1988	DBLP DOI BibTeX RDF	CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
21	Stephen D. Brookes	Semantically Based Axiomatics.	MFPS	1987	DBLP DOI BibTeX RDF
21	Lee Naish	Specification = Program + Types.	FSTTCS	1987	DBLP DOI BibTeX RDF
21	John C. Mitchell	Representation Independence and Data Abstraction.	POPL	1986	DBLP DOI BibTeX RDF
21	Norman Hardy	Nested Scopes in Pascal and Algol 68.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
21	Edmond Schonberg, Jacob T. Schwartz, Micha Sharir	Automatic Data Structure Selection in SETL.	POPL	1979	DBLP DOI BibTeX RDF
21	Carlo Zaniolo	Design of Relational Views over Network Schemas.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
21	Bernard A. Galler, Michael J. Fischer	An improved equivalence algorithm.	Commun. ACM	1964	DBLP DOI BibTeX RDF
11	Mehran Sahami, Alex Aiken, Julie Zelenski	Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field.	SIGCSE	2010	DBLP DOI BibTeX RDF	tracks, curriculum, concentrations, multi-disciplinary
11	Toheed Aslam, Jesse Doherty, Anton Dubrau, Laurie J. Hendren	AspectMatlab: an aspect-oriented scientific programming language.	AOSD	2010	DBLP DOI BibTeX RDF	AspectMatlab compiler, scientific aspect-oriented language
11	Brian Demsky, Patrick Lam 0001	Views: object-inspired concurrency control.	ICSE (1)	2010	DBLP DOI BibTeX RDF	concurrency, language design, static verification
11	Fabiano Cutigi Ferrari, Rachel Burrows, Otávio Augusto Lazzarini Lemos, Alessandro Garcia 0001, Eduardo Figueiredo 0001, Nélio Cacho, Frederico Lopes, Nathalia Temudo, Liana Silva, Sérgio Soares, Awais Rashid, Paulo César Masiero, Thaís Vasconcelos Batista, José Carlos Maldonado	An exploratory study of fault-proneness in evolving aspect-oriented programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	software testing, aspect-oriented programming, fault-proneness
11	William S. Evans, Christopher W. Fraser, Fei Ma	Clone detection via structural abstraction.	Softw. Qual. J.	2009	DBLP DOI BibTeX RDF	Refactoring, Clone detection, Procedural abstraction
11	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust, concurrent, extensible scripting on the JVM.	OOPSLA	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
11	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust concurrent scripting on the JVM.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
11	Roland Gecse	Towards Automatic Generation of a Coherent TTCN-3 Template Framework.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
11	Per Larsen, Sven Karlsson, Jan Madsen	Identifying Inter-task Communication in Shared Memory Programming Models.	IWOMP	2009	DBLP DOI BibTeX RDF
11	Takeshi Tsukada, Atsushi Igarashi	A Logical Foundation for Environment Classifiers.	TLCA	2009	DBLP DOI BibTeX RDF
11	Irene Tedjo-Palczynski, Bernd Hentschel 0001, Marc Wolter, Thomas Beer, Torsten W. Kuhlen	Toolkit-independent interaction specification for VR-based visualization.	VRST	2009	DBLP DOI BibTeX RDF	virtual reality, scientific visualization, 3D interaction
11	Robert Colvin, Ian J. Hayes	CSP with Hierarchical State.	IFM	2009	DBLP DOI BibTeX RDF
11	Özgür Kabak, Da Ruan 0001	Solving nuclear safeguards evaluation problem with fuzzy multiple attribute decision making methods.	iiWAS	2009	DBLP DOI BibTeX RDF	fuzzy multiple attribute decision making, linguistic evaluation, nuclear safeguards
11	Jie Chen 0007, Baoquan Chen	Architectural Modeling from Sparsely Scanned Range Data.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Geometry reconstruction, Range image, 3D scanning
11	Macneil Shonle, William G. Griswold, Sorin Lerner	Addressing common crosscutting problems with Arcum.	PASTE	2008	DBLP DOI BibTeX RDF	design patterns, aspect-oriented programming, refactoring
11	Jonathan Frye, Björn Franke	PDP: pen driven programming.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	pen driven programming, tablet PC, RSI
11	Daniel Smith 0003, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
11	Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001	Virtual machines and intermediate languages for emerging modularization mechanisms.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	optimization, compilation, virtual machine, interpretation, separation of concerns, dynamic dispatch, intermediate language
11	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPGA	2008	DBLP DOI BibTeX RDF	simulation, FPGA, design, verification
11	J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.	Integrating coercion with subtyping and multiple dispatch.	SAC	2008	DBLP DOI BibTeX RDF
11	Zhifeng Gu, Juanzi Li, Bin Xu 0001	Automatic Service Composition Based on Enhanced Service Dependency Graph.	ICWS	2008	DBLP DOI BibTeX RDF
11	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPL	2008	DBLP DOI BibTeX RDF
11	Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey	Cadmium: An Implementation of ACD Term Rewriting.	ICLP	2008	DBLP DOI BibTeX RDF
11	Glen Hart, Martina Johnson, Catherine Dolbear	Rabbit: Developing a Control Natural Language for Authoring Ontologies.	ESWC	2008	DBLP DOI BibTeX RDF
11	Narjess Touzani-Chebaane, Maha Khemaja, Rafik Braham	Pedagogical Scenarios Generation within LD Frameworks.	ICALT	2008	DBLP DOI BibTeX RDF