Search results for "declarations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Rolf Socher-Ambrosius	Unification in Order-Sorted Logic With Term Declarations.	LPAR	1993	DBLP DOI BibTeX RDF
85	Yoshida Atsushi, Fukuyasu Naoki	A Virtual File System for Source Program Editing.	APSEC	2002	DBLP DOI BibTeX RDF
85	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
65	Marko van Dooren, Eric Steegmans	Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations.	OOPSLA	2005	DBLP DOI BibTeX RDF	Cappuccino, anchored exception declaration, exception handling
59	Gregory Knapen, Bruno Laguë, Michel R. Dagenais, Ettore Merlo	Parsing C++ Despite Missing Declarations.	IWPC	1999	DBLP DOI BibTeX RDF	missing declarations, missing header files, C++, Parsing, ambiguities
54	Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara	The Effect of False-name Declarations in Mechanism Design: Towards Collective Decision Making on the Internet.	ICDCS	2000	DBLP DOI BibTeX RDF
54	Isambo Karali, Constantin Halatsis	A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics.	TAPSOFT	1995	DBLP DOI BibTeX RDF
45	Paul van der Walt	A language-independent methodology for compiling declarations into open platform frameworks. (Compilation de déclarations dans des cadriciels : une méthodologie indépendante du langage).		2015	RDF
44	Joshua S. Auerbach, Charles Barton, Mark Chu-Carroll, Mukund Raghavachari	Mockingbird: Flexible Stub Compilation from Pairs of Declarations.	ICDCS	1999	DBLP DOI BibTeX RDF
44	Jan-Georg Smaus, Patricia M. Hill, Andy King	Termination of Logic Programs with block Declarations Running in Several Modes.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
44	Jan-Georg Smaus, Patricia M. Hill, Andy King	Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations.	LOPSTR	1998	DBLP DOI BibTeX RDF
37	Clas Thorén	The procurement of usable and accessible software.	Univers. Access Inf. Soc.	2004	DBLP DOI BibTeX RDF	Suppliers declarations, Accessibility, E-government, Procurement, Application software
37	Michael D. Rice, Stephen B. Seidman	A Formal Model for Module Interconnection Languages.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	module interconnection languages, hierarchical module structure design, Z schema type definitions, generic parameters, application-specific declarations, STILE, graphical design environment, formal specification, constraints, programming environments, specification languages, specification language, systems analysis, formal model, development environment, Conic, configuration language
37	William W. Agresti, William M. Evanco	Projecting Software Defects From Analyzing Ada Designs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software defects projection, context coupling, Ada designs, process characteristics, import-export of declarations, reuse level, regression analyses, Ada, static analysis, software quality, software quality, software metrics, software reliability, statistical analysis, visibility, defect density
37	Qian Cui, John D. Gannon	Data-Oriented Exception Handling.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	normal algorithmic processing, error processing, control features, source text, data-oriented exception handling, data structures, Ada, programming, programming languages, declarations, data objects, Ada programs
33	Ana Luísa Duboc, Aline Paes, Gerson Zaverucha	Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.	ILP	2008	DBLP DOI BibTeX RDF
33	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
33	Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi	Reexecution-Based Analysis of Logic Programs with Delay Declarations.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
33	Pedro J. Martín, Antonio Gavilanes, Javier Leach	Free Variable Tableaux for a Logic with Term Declarations.	TABLEAUX	1998	DBLP DOI BibTeX RDF
33	David F. Bacon, Jyh-Herng Chow, Dz-Ching Ju, Kalyan Muthukumar, Vivek Sarkar	A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness.	CASCON	1994	DBLP BibTeX RDF
33	Dan Sahlin	Finding the Least Fixed Point Using Wait-Declarations in Prolog.	PLILP	1990	DBLP DOI BibTeX RDF
33	Dean Jacobs	Type Declarations as Subtype Constraints in Logic Programming.	PLDI	1990	DBLP DOI BibTeX RDF
33	Michel Bidoit	Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations.	ICALP	1984	DBLP DOI BibTeX RDF
32	Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu	Graph transformations for object-oriented refinement.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph
32	Patrice Chalin, Frédéric Rioux	Non-null references by default in the Java modeling language.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	non-null references, reference types, contracts, JML, java modeling language
32	Steffen Wettig, Eberhard Zehender	A legal analysis of human and electronic agents.	Artif. Intell. Law	2004	DBLP DOI BibTeX RDF	declaration of intention, electronic agent, electronic person, German law, law of agency, legal personality, agents, mobile agent, software agent, mobile code, representative
32	Laks V. S. Lakshmanan, Fereidoon Sadri	Interoperability on XML Data.	ISWC	2003	DBLP DOI BibTeX RDF
32	William M. Evanco, June M. Verner	Some Optimal Object-Based Architectural Features for Corrective Maintenance.	CSMR	2003	DBLP DOI BibTeX RDF
32	María Victoria Cengarle, Alexander Knapp	A Formal Semantics for OCL 1.4.	UML	2001	DBLP DOI BibTeX RDF
32	Vadim Engelson, Dag Fritzson, Peter Fritzson	Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models.	ECOOP	1996	DBLP DOI BibTeX RDF
32	Stefan Kahrs	First-Class Polymorphism for ML.	ESOP	1994	DBLP DOI BibTeX RDF
32	Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson	Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.	ELP	1992	DBLP DOI BibTeX RDF
26	Hu Liu	A Cooperation Logic for Declaration Structures.	LORI	2009	DBLP DOI BibTeX RDF	cooperation logics, propositional control, declarations
26	Kurt Svensson	Faster XML data validation in a programming language with XML datatypes.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	XML data declarations, XSD schema, XSD schema facets, XML, XML, B2B, data validation, WebServices, format conversion
26	Yaohan Chu	Architecture of a Hardware Data Interpreter.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	data declarations, direct-execution computer, hardware interpreter, high-level language computer, Computer architecture, memory structure
23	Ding Han, Jian Zhang 0080, Zhenlong Wan, Mengjie Liao	Dynamic Weights Based Risk Rule Generation Algorithm for Incremental Data of Customs Declarations.	Inf.	2023	DBLP DOI BibTeX RDF
23	Andrea Serpi, James Rombi, Francesca Maltinti, Mauro Coni	Impact Indexes Comparison Study Using Environmental Product Declarations (EPDs) on Innovative Cement Bound Granular Material Pavement Layers.	ICCSA (Workshops 8)	2023	DBLP DOI BibTeX RDF
23	Susanna S. Lee, Benjamin T. Vollmer, Cen April Yue, Benjamin K. Johnson	Impartial endorsements: Influencer and celebrity declarations of non-sponsorship and honesty.	Comput. Hum. Behav.	2021	DBLP DOI BibTeX RDF
23	Hao Chen, Ben van Rijnsoever, Marcel Molenhuis, Dennis van Dijk, Yao-Hua Tan, Boriana Rukanova	The use of machine learning to identify the correctness of HS Code for the customs import declarations.	DSAA	2021	DBLP DOI BibTeX RDF
23	Kris V. Parag, Christl A. Donnelly, Rahul Jha, Robin N. Thompson	An exact method for quantifying the reliability of end-of-epidemic declarations in real time.	PLoS Comput. Biol.	2020	DBLP DOI BibTeX RDF
23	Ludovic Henrio, Christoph W. Kessler, Lu Li 0001	Leveraging access mode declarations in a model for memory consistency in heterogeneous systems.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
23	Maryam Alsadat Hashemipour, Sepehr Pourmonajemzadeh, Shahrzad Zoghitavana, Nader Navabi	Relationship Between Declarations of Conflict of Interests and Reporting Positive Outcomes in Iranian Dental Journals.	Sci. Eng. Ethics	2019	DBLP DOI BibTeX RDF
23	Matthew Arnold, Rachel K. E. Bellamy, Michael Hind, Stephanie Houde, Sameep Mehta, Aleksandra Mojsilovic, Ravi Nair, Karthikeyan Natesan Ramamurthy, Alexandra Olteanu, David Piorkowski, Darrell Reimer, John T. Richards, Jason Tsay, Kush R. Varshney	FactSheets: Increasing trust in AI services through supplier's declarations of conformity.	IBM J. Res. Dev.	2019	DBLP DOI BibTeX RDF
23	Ludovic Henrio, Christoph W. Kessler, Lu Li 0001	Leveraging access mode declarations in a model for memory consistency in heterogeneous systems.	CoRR	2019	DBLP BibTeX RDF
23	Thomas Hoffmann 0005	Smart Contracts and Void Declarations of Intent.	CAiSE Workshops	2019	DBLP DOI BibTeX RDF
23	Henry Covey	Disaster documentation: the impact of Oregon's evolving damage assessment methodology for emergency declarations.	SIGDOC	2019	DBLP DOI BibTeX RDF
23	Jonathan Eyolfson, Patrick Lam 0001	How C++ developers use immutability declarations: an empirical study.	ICSE	2019	DBLP DOI BibTeX RDF
23	Jason Lin, Xing Wang 0010, Zelun Wang, Donald J. Beyette, Jyh-Charn Liu	Prediction of Mathematical Expression Declarations based on Spatial, Semantic, and Syntactic Analysis.	DocEng	2019	DBLP DOI BibTeX RDF
23	Moanes H. Tibi, Asmaa Ganayem, Khaled Asad	The privacy paradox in using Facebook among Arab teens: between declarations and behaviour.	Int. J. Inf. Priv. Secur. Integr.	2018	DBLP DOI BibTeX RDF
23	Paul Beynon-Davies	Declarations of significance: Exploring the pragmatic nature of information models.	Inf. Syst. J.	2018	DBLP DOI BibTeX RDF
23	Michael Hind, Sameep Mehta, Aleksandra Mojsilovic, Ravi Nair, Karthikeyan Natesan Ramamurthy, Alexandra Olteanu, Kush R. Varshney	Increasing Trust in AI Services through Supplier's Declarations of Conformity.	CoRR	2018	DBLP BibTeX RDF
23	Sébastien Philippe, Alexander Glaser, Edward W. Felten	A Cryptographic Escrow for Treaty Declarations and Step-by-Step Verification.	CoRR	2018	DBLP BibTeX RDF
23	Daniel de Roux, Boris Perez, Andrés Moreno, María-Del-Pilar Villamil, César Figueroa	Tax Fraud Detection for Under-Reporting Declarations Using an Unsupervised Machine Learning Approach.	KDD	2018	DBLP DOI BibTeX RDF
23	Ludovic Henrio, Christoph W. Kessler, Lu Li 0001	Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations.	HPCS	2018	DBLP DOI BibTeX RDF
23	Branden Fitelson, Alan Hájek	Declarations of independence.	Synth.	2017	DBLP DOI BibTeX RDF
23	Paul van der Walt, Charles Consel, Emilie Balland	Frameworks compiled from declarations: a language-independent approach.	Softw. Pract. Exp.	2017	DBLP DOI BibTeX RDF
23	Mehmet Kaya, James W. Fawcett	Identification of Extract Method Refactoring Opportunities through Analysis of Variable Declarations and Uses.	Int. J. Softw. Eng. Knowl. Eng.	2017	DBLP DOI BibTeX RDF
23	Ronald Loui, Lucinda Caughey	Digital flight plans for server access control: Restricting anomalous activity with path-based declarations of intentions.	ICCST	2016	DBLP DOI BibTeX RDF
23	Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey	Symmetry declarations for MiniZinc.	ACSW	2016	DBLP DOI BibTeX RDF
23	Paola Giannini, Marco Servetto, Elena Zucca	Coupling catch clauses with local declarations.	FTfJP@ECOOP	2016	DBLP BibTeX RDF
23	Milan Kabác, Charles Consel, Nic Volanschi	Leveraging Declarations over the Lifecycle of Large-Scale Sensor Applications.	UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld	2016	DBLP DOI BibTeX RDF
23	Fu-Hau Hsu, Min-Hao Wu, Cheng-Hsing Yang, Shiuh-Jeng Wang	Visible watermarking with reversibility of multimedia images for ownership declarations.	J. Supercomput.	2014	DBLP DOI BibTeX RDF
23	Sayyed Mahdi Taheri, Nadjla Hariri, Sayyed Ramatollah Fattahi	Does discarding XML declarations and changing file extensions improve the indexability and visibility of metadata tag names in web search engines?	J. Inf. Sci.	2014	DBLP DOI BibTeX RDF
23	Marko van Dooren, Bart Jacobs 0002, Wouter Joosen	Modular type checking of anchored exception declarations.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
23	Ahmed Samet, Eric Lefèvre, Sadok Ben Yahia	Response to "Addendum for the TBM global distance measure for the association of uncertain combat ID declarations" by B. Ristic, M.C. Florea and E. Boissé.	Inf. Fusion	2014	DBLP DOI BibTeX RDF
23	Branko Ristic 0001, Mihai Cristian Florea, Éloi Bossé	Addendum for "The TBM global distance measure for the association of uncertain combat ID declarations".	Inf. Fusion	2014	DBLP DOI BibTeX RDF
23	Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine	Considering Productivity Effects of Explicit Type Declarations.	PLATEAU	2014	DBLP DOI BibTeX RDF
23	Fausto Barbero	On Existential Declarations of Independence in if Logic.	Rev. Symb. Log.	2013	DBLP DOI BibTeX RDF
23	Paul Beynon-Davies	Declarations Of Significance.	ECIS	2013	DBLP BibTeX RDF
23	Yutaka Watanobe, Nikolay N. Mirenkov	∗AIDA declarations supporting program compactness.	iCAST/UMEDIA	2013	DBLP DOI BibTeX RDF
23	Oliver Kusche, Clemens Düpmeier, Anna Braune, Tanja Brockmann, Stephan Rössig	Extending the ILCD Format to Support Environmental Product Declarations of Construction Products.	EnviroInfo	2013	DBLP BibTeX RDF
23	Fausto Barbero	On existential declarations of independence in IF Logic	CoRR	2012	DBLP BibTeX RDF
23	Tom Castle, Colin G. Johnson	Evolving program trees with limited scope variable declarations.	IEEE Congress on Evolutionary Computation	2012	DBLP DOI BibTeX RDF
23	William Harrison, Tim Walsh, Paul Biggar	Some Measurements of Nullable and Non-Nullable Parameter Declarations in Relation to Software Malleability	CoRR	2011	DBLP BibTeX RDF
23	Vincenzo Lombardo, Fabrizio Nunnari, Rossana Damiano	The AnimaTricks System: Animating Intelligent Agents from High-Level Goal Declarations.	INTETAIN	2011	DBLP DOI BibTeX RDF
23	Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè	Automatically repairing test cases for evolving method declarations.	ICSM	2010	DBLP DOI BibTeX RDF
23	Ana Luísa Duboc, Aline Paes, Gerson Zaverucha	Using the bottom clause and mode declarations in FOL theory revision from examples.	Mach. Learn.	2009	DBLP DOI BibTeX RDF
23	Göran Goldkuhl	Socio-instrumental Service Modelling: An Inquiry on e-Services for Tax Declarations.	PoEM	2009	DBLP DOI BibTeX RDF
23	Trevor I. Laine, Kenneth W. Bauer Jr.	A mathematical framework to optimize ATR systems with non-declarations and sensor fusion.	Comput. Oper. Res.	2008	DBLP DOI BibTeX RDF
23	David Booth	Why URI Declarations? A Comparison of Architectural Approaches.	IRSW	2008	DBLP BibTeX RDF
23	Daniel J. Velleman	Variable declarations in natural deduction.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
23	Branko Ristic 0001, Philippe Smets	The TBM global distance measure for the association of uncertain combat ID declarations.	Inf. Fusion	2006	DBLP DOI BibTeX RDF
23	Tanja Bieker	Comparison of Fusion Methods for Successive Declarations of Radar Range Pro les.	FUSION	2006	DBLP DOI BibTeX RDF
23	Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle	A Verified Compiler for Synchronous Programs with Local Declarations.	SLAP@ETAPS	2004	DBLP DOI BibTeX RDF
23	Valerie See	A Template for IETF Patent Disclosures and Licensing Declarations.	RFC	2004	DBLP DOI BibTeX RDF
23	Jens B. Schmitt	Translation of specification units between IP and ATM quality of service declarations.	Int. J. Commun. Syst.	2003	DBLP DOI BibTeX RDF
23	Simon L. Peyton Jones	Haskell 98: Declarations and Bindings.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
23	Ole-Johan Dahl, Kristen Nygaard	Class and Subclass Declarations (Reprint).	Software Pioneers	2002	DBLP DOI BibTeX RDF
23	Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier	Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.	APPIA-GULP-PRODE	2001	DBLP DOI BibTeX RDF
23	Glen McCluskey	Declarations in C9X.	login Usenix Mag.	2001	DBLP BibTeX RDF
23	Jan-Georg Smaus, Patricia M. Hill, Andy King	Verifying Termination and Error-Freedom of Logic Programs with block Declarations.	Theory Pract. Log. Program.	2001	DBLP DOI BibTeX RDF
23	Jan-Georg Smaus, Patricia M. Hill, Andy King	Verifying Termination and Error-Freedom of Logic Programs with block Declarations	CoRR	2000	DBLP BibTeX RDF
23	Pedro J. Martín, Antonio Gavilanes, Javier Leach	Tableau Methods for a Logic with Term Declarations.	J. Symb. Comput.	2000	DBLP DOI BibTeX RDF
23	Elena Marchiori, Frank Teusink	Termination of Logic Programs with Delay Declarations.	J. Log. Program.	1999	DBLP DOI BibTeX RDF
23	Richard J. Cox	Declarations, Independence, and Text in the Information Age.	First Monday	1999	DBLP DOI BibTeX RDF
23	Carlos Camarão 0001, Lucília Figueiredo	Type Inference for Overloading without Restrictions, Declarations or Annotations.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
23	Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal	Live-Structure Analysis for Logic Programming Languages with Declarations.	ICLP	1997	DBLP BibTeX RDF
23	Ben Shneiderman	Durango Declarations Forum Commentaries.	Inf. Soc.	1996	DBLP DOI BibTeX RDF
23		The Student Fellows' Durango Declarations.	Inf. Soc.	1996	DBLP DOI BibTeX RDF
23		Durango Declarations. (Discussed in Final Plenum Meeting).	Inf. Soc.	1996	DBLP DOI BibTeX RDF