Search results for "syntax"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Slavisa Markovic, Thomas Baar	Refactoring OCL annotated UML class diagrams.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Imperative OCL, Syntax preserving refactoring rules, Source code verification, Refactoring, Graph-transformations, QVT
18	Peter M. Scharf	Modeling Paninian Grammar.	Sanskrit Computational Linguistics	2008	DBLP DOI BibTeX RDF	generative grammar, Panini, Patanjali, Astadhyayi, sandhi, morphophonemic, syntacticosemantic, mutual dependence, computational implementation, semantics, morphology, syntax, levels, circularity, inflection
18	Paul Kiparsky	On the Architecture of Panini's Grammar.	Sanskrit Computational Linguistics	2008	DBLP DOI BibTeX RDF	Sanskrit grammar, phonology, thematic roles, levels of representation, rule ordering, morphology, syntax, simplicity, P??ini
18	Murdoch James Gabbay, Martin Hofmann 0001	Nominal Renaming Sets.	LPAR	2008	DBLP DOI BibTeX RDF	Nominal renaming sets, nominal sets, abstract syntax with binding
18	Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang	Ontology Model-Based Static Analysis on Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning
18	Kami Vaniea, Clare-Marie Karat, Joshua B. Gross, John Karat, Carolyn Brodie	Evaluating assistance of natural language policy authoring.	SOUPS	2008	DBLP DOI BibTeX RDF	syntax highlighting, privacy, design process, privacy policies, natural language interfaces, social and legal issues
18	Michael Strommer, Manuel Wimmer	A Framework for Model Transformation By-Example: Concepts and Tool Support.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	mapping language, GMF, model transformation, concrete syntax
18	Martin Hirzel, Robert Grimm 0001	Jeannie: granting java native interface developers their wishes.	OOPSLA	2007	DBLP DOI BibTeX RDF	modular syntax, programming language composition, rats!, xtc, java, C, JNI, foreign function interface
18	Hiroaki Nakamura	Left-Peripheral and Sentence-Internal Topics in Japanese.	JSAI	2007	DBLP DOI BibTeX RDF	topic particle WA, topic-comment articulation, information pack- aging, syntax-semantics interface, categorial grammar
18	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de bruijn
18	Paul B. Mann	A translational BNF grammar notation (TBNF).	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	LALR, LL, LR, intermediate code, language recognition, grammar, syntax, parser, parser generator, compiler compiler, AST, BNF, grammarware, EBNF
18	Jane Huffman Hayes, Jeff Offutt	Input validation analysis and testing.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Specificationanalysis, Inputvalidation, Fault-based analysis, Fault-basedtesting, Empiricalresearch, Syntax-based, Interfaceverification, Systemtesting, Staticanalysis, Dynamictesting, Casestudy, Software testing
18	Jason Hickey, Aleksey Nogin	Formal compiler construction in a logical framework.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Formal compiler, Higher-order abstract syntax, Logical programming environment
18	Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov	Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.	ICFP	2006	DBLP DOI BibTeX RDF	languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax
18	Yuan Zhao, Ken Kennedy	Scalarization Using Loop Alignment and Loop Skewing.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	array syntax, loop alignment, loop skewing, Fortran 90/95, memory hierarchy performance, compiler optimization, stencil computation, scalarization
18	Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey	A computational approach to reflective meta-reasoning about languages with bindings.	MERLIN	2005	DBLP DOI BibTeX RDF	MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
18	Lukasz Blaszak, Marek Domanski	A simple technique for SNR-scalable video coding using macroblock spiral re-ordering.	ICME	2005	DBLP DOI BibTeX RDF	SNR-scalable video coding, scalable representation, spatial-temporal resolution, enhancement layer, stream partitioning, encoded macroblock, video quality perception, standard bitstream syntax
18	Vilém Novák	Intensional theory of granular computing.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Fuzzy logic in narrow sense, Evaluated syntax, Extension, Intension
18	Vilém Novák	On fuzzy equality and approximation in fuzzy logic.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Evaluated syntax, Fuzzy approximation, Fuzzy logic, Fuzzy equality
18	Hannes Leitgeb, Alexander Hieke	Circular Languages.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	non-well-founded sets, application, syntax, paradox, circularity
18	Jason Hickey, Aleksey Nogin, Adam Granicz	Compiler implementation in a formal logical framework.	MERLIN	2003	DBLP DOI BibTeX RDF	formal compiler, higher-order abstract syntax, logical programming environment
18	Chito Jovellanos	Semantic and syntactic interoperability: in transactional systems.	EC	2003	DBLP DOI BibTeX RDF	semantics, interoperability, integration, transformation, syntax
18	Marcelo P. Fiore	Semantic analysis of normalisation by evaluation for typed lambda calculus.	PPDP	2002	DBLP DOI BibTeX RDF	categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
18	Michael L. Collard, Jonathan I. Maletic, Andrian Marcus	Supporting document and data views of source code.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	XML, program analysis, source code, markup language, abstract syntax tree
18	Boualem Laichi, Yamina Sami	ATC : Actors with Temporal Constraints.	ISORC	2001	DBLP DOI BibTeX RDF	configurations class, real time systems, semantic, syntax, temporal constraints, Actor model
18	Guido Kaufmann, Horst Bunke	Detection and correction of recognition errors in check reading.	Int. J. Document Anal. Recognit.	2000	DBLP DOI BibTeX RDF	Reading systems, Check processing, Post-processing, Word recognition, Syntax-directed translation
18	Anthony Cox, Charles Clarke 0001	A comparative evaluation of techniques for syntactic level source code analysis.	APSEC	2000	DBLP DOI BibTeX RDF	syntactic level source code analysis, program maintenance tools, grep, hierarchical lexical analysis, source file, data structures, data structures, software maintenance, software tools, experiments, program compilers, parsing, abstract syntax
18	Richard C. Holt, Ahmed E. Hassan, Bruno Laguë, Sébastien Lapierre, Charles Leduc	E/R Schema for the Datrix C/C++/Java Exchange Format.	WCRE	2000	DBLP DOI BibTeX RDF	Software exchange format, SEF, data exchange, schema, abstract syntax tree, AST
18	Alfs T. Berztiss	Usage Anomalies and Internationalization.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	usage anomalies, successful communication, international setting, cultural backgrounds, linguistic background, syntax anomalies, cultural context, linguistic misinterpretation, linguistics, cultural differences, internationalization, context switch, spelling
18	John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi	Extending Java for Package based Access Control.	ACSAC	2000	DBLP DOI BibTeX RDF	package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation
18	Tim A. Wagner, Susan L. Graham	Efficient and Flexible Incremental Parsing.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	operator precedence, optimal reuse, ambiguity, abstract syntax, incremental parsing, balanced structure
18	Yuen-Wen Lee, Faouzi Kossentini, Rabab Kreidieh Ward	Efficient RD Optimized Macroblock Coding Mode Selection for MPEG-2 Video Encoding.	ICIP (2)	1997	DBLP DOI BibTeX RDF	MPEG-2 video encoding, MPEG-2 bitstream syntax, optimized macroblock coding mode selection, interlaced video encoder, rate-distortion criterion, computation-performance trade-offs, MPEG-2 TM5 encoder, motion compensated prediction, DCT based residual coding, video coding, statistical modeling, predictive modeling, computational analysis, compression performance
18	Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung	A visual programming environment for Z specifications.	APSEC	1997	DBLP DOI BibTeX RDF	syntax checking, VZ, Visual Z, specification validation, logic proving, software tools, visual programming, icons, editing, glyphs, Z specifications, visual programming environment
18	Xudong He, Weili Yao	Translating hierarchical predicate transition nets to CC++ program skeletons.	COMPSAC	1997	DBLP DOI BibTeX RDF	hierarchical predicate transition net translation, CC++ program skeletons, overall translation architecture, translation rules, transformational software development methodology, Petri nets, semantics, syntax, concurrent object-oriented programming
18	Jon A. Pastor, Suzanne Liebowitz Taylor, Donald P. McKay, Robin McEntire	An Architecture for Intelligent Resource Agents.	CoopIS	1997	DBLP DOI BibTeX RDF	intelligent resource agent architecture, mediating agents, cooperative interaction, timely Internet resource access, customized Internet resource access, shared object definitions, common message syntax, Knowledge Query Manipulation Language, standard agent communication language, remote resource utilization, WWW infrastructure, collaboration, software agents, distributed environment, classroom, message transmission, K-12 education
18	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part I): Modelling General N-ary, Logical CSPs.	ICTAI	1997	DBLP DOI BibTeX RDF	constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
18	Boris I. Cogan, Robin B. Hunter	Language-based approaches to software measurement.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	language-based approaches, programming language theory, semantics, software metrics, programming languages, software measurement, syntax, software documents
18	T. C. Nicholas Graham, Tore Urnes	Linguistic Support for the Evolutionary Design of Software Architectures.	ICSE	1996	DBLP BibTeX RDF	Clock-Works programming environment, architecture language, automatic message routing, constraint-based communication, multiuser applications, restricted scoping, visual syntax, software engineering, interactive, software architectures, programming environments, interactive systems, Clock, high level languages
18	Kingsum Chow, David Notkin	Semi-automatic update of applications in response to library changes.	ICSM	1996	DBLP DOI BibTeX RDF	semi-automatic application update, library changes, library syntax, library semantics, updated libraries, toolset, library maintainer, changed functions, rules, costs, software libraries, software libraries, programmers
18	Philip J. Morrow, Danny Crookes	Using Prolog to implement a compiler for a parallel image processing language.	ICIP	1995	DBLP DOI BibTeX RDF	parallel image processing language, BNF syntax definition, image processing, compiler, parallel architectures, parallel architectures, PROLOG, programming languages, program compilers, parallel languages, software portability, software portability, abstract model, implementation language
18	Wenbo Mao	An augmentation of BAN-like logics.	CSFW	1995	DBLP DOI BibTeX RDF	BAN-like logics augmentation, protocol idealization, rule-based technique, protocol syntax, protocols, formal logic, message authentication, authentication protocols, symbolic manipulation
18	Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov	Designing an asynchronous pipeline token ring interface.	ASYNC	1995	DBLP DOI BibTeX RDF	asynchronous pipeline token ring interface, speed-independent interface, reliable communication medium, on-board multicomputer, asynchronous buses, point-to-point interconnections, syntax-driven implementation, channel protocol controller, protocols, fairness, multiprocessor interconnection networks, local area networks, pipeline processing, deadlock-freedom, token networks
18	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program.	IPPS	1995	DBLP DOI BibTeX RDF	data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
18	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic.	VL	1995	DBLP DOI BibTeX RDF	branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
18	Arthur M. Geoffrion, Sergio Maturana	Generating optimization-based decision support systems.	HICSS (3)	1995	DBLP DOI BibTeX RDF	optimization-based decision support systems, programming effort, completely specified syntax, total structure/data independence, surface/deep structure distinction, software engineering, semantics, graphical user interfaces, GUI, graphical user interfaces, software tools, software tools, decision support systems, optimisation, database management systems, DBMS, business data processing, SML
18	Thomas Verghese, Ying Zhou	Domain translation using relational structure.	HICSS (4)	1995	DBLP DOI BibTeX RDF	domain description, domain translation, multiple effect system task, knowledge-based translation, constrained descriptive language, common descriptive language, translation procedures, language syntax, mathematical notion, decision support systems, expert systems, expert systems, translation, auditing, auditing, business data processing, formal logic, first order predicate logic, relational structure, organizational decision support system
18	Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha	A constraint function classification for complex systems development.	ICECCS	1995	DBLP DOI BibTeX RDF	knowledge verification, constraint function classification, constraint syntax, constraint management, implied constraints, distributed system, real-time systems, resource allocation, data integrity, distributed processing, knowledge based systems, requirements, systems analysis, consistency checking, large-scale systems, constraint handling, software modules, rule-based approach, resource allocation problem, REAL project, complex systems development
18	Shaoying Liu, Yong Sun	Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.	ICECCS	1995	DBLP DOI BibTeX RDF	structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology
18	Alexander C. Klaiber, Maya B. Gokhale	Parallel Evaluation of Attribute Grammars.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	shared-memory MIMD computers, processscheduling, list-productions, synchronization, programming theory, attribute grammars, attribute grammars, abstract syntax, parallelprogramming, coarse-grain parallelism, semantic rules, parallel evaluators, inherent parallelism
18	Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang	A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
18	James W. Stamos, David K. Gifford	Implementing Remote Evaluation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	remote evaluation implementation, compile time support, executable code, high-level programming language, remote procedure call implementation, performance evaluation, distributed systems, semantics, distributed processing, computer networks, performance measurements, distributed applications, communication network, heterogeneous systems, syntax, run-time support, homogeneous systems
18	Valeria De Antonellis, Bruna Zonta	A Disciplined Approach to Office Analysis.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	office requirements, disciplined language, conventionality, concrete concepts, minimum formalism, computer-based office support system, designer, formal specification, programming languages, formal languages, morphology, computational linguistics, syntax, office automation
18	Heinrich Niemann, Gerhard Sagerer, Stefan Schröder, Franz Kummert	ERNEST: A Semantic Network System for Pattern Understanding.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	semantic network system, pattern understanding, problem-independent control algorithms, knowledge representation, knowledge based systems, speech recognition, computerised pattern recognition, syntax, image understanding, speech understanding
18	Patrick M. Lenders	Distributed Computing with Single Read-Single Write Variables.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	single read-single write variables, free, wait state, SRSW variables, regular sequential language, SRSW data type, parallel programs, distributed computing, distributed processing, message passing, operational semantics, asynchronous communication, syntax, busy, synchronous communication
18	Herbert Göttler	Graph Grammars, A New Paradigma for Implementing Visual Languages.	RTA	1989	DBLP DOI BibTeX RDF	CR classification system (1987): D.1 Programming Techniques D.2.1 Requirements/Specification, D.2.2 Tools and Techniques, D.2.6 Programming Environments, E.1 Data Structures, F.4.2 Grammars and other Rewriting Systems - additional: Graph Grammars, Syntax-directed Editors, Diagram Languages
18	Takao Tenma, Hideaki Tsubotani, Minoru Tanaka, Tadao Ichikawa	A System for Generating Language-Oriented Editors.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	language dependent data representation, language-oriented editors, language-oriented tools, target language description, data structures, data structures, object-oriented, software tools, software tools, application generators, application generators, text editing, abstract syntax tree, description language
18	Werner Damm	A Microprogramming Logic.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	microprogramming logic, syntax-directed proof system, horizontal computer architectures, clocked microarchitectures, axiomatic definition, microoperations, low-level parallelism, dynamic conflicts, specification, computer architecture, theorem proving, specification languages, architecture description language, formal logic, microprogramming, AADL, timing behavior
18	Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne	Generic Lifecycle Support in the ALMA Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	ALMA, environment kernel, environment database, software objects, high-level tools, syntax-directed tools, software tools, programming environments, programming environments, database management systems, systems analysis, system documentation, system documentation, software lifecycle
18	Rangachar Kasturi, Juan Alemany	Information Extraction of Paper-Based Maps.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	paper-based maps, spatial features, image-analysis algorithms, closed contours, map images, query processor, information retrieval, user interfaces, Fortran, database management systems, query languages, shortest paths, Lisp, distances, syntax, cartography, geographic data
18	Thomas J. Sager	On the use of extended grammars.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	extended LALR(k) grammars, semantics, syntax, parser generators
18	Robert Balzer, David J. Farber	APAREL - A parse-request language.	Commun. ACM	1969	DBLP DOI BibTeX RDF	string processing, pattern matching, translator, syntax, symbol manipulation, text processing, parser, BNF, PL/I
16	Frank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak	Formalizing model consistency based on the abstract syntax.	EICS	2011	DBLP DOI BibTeX RDF
16	Vincenzo Manca, María Dolores Jiménez-López	Recombination Patterns for Natural Syntax.	IWINAC (1)	2009	DBLP DOI BibTeX RDF
16	Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral 0001	Composing Visual Syntax for Domain Specific Languages.	HCI (2)	2009	DBLP DOI BibTeX RDF
16	Michel Chilowicz, Étienne Duris, Gilles Roussel 0001	Syntax tree fingerprinting for source code similarity detection.	ICPC	2009	DBLP DOI BibTeX RDF
16	William G. J. Halfond, Alessandro Orso, Pete Manolios	WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Security and Protection, Protection mechanisms
16	Ralf Buschermöhle, Jörg Oelerink	Rich meta object facility formal integration platform: syntax, semantics and implementation.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF
16	Leonie Bosveld-de Smet, Mark de Vries	Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants.	Diagrams	2008	DBLP DOI BibTeX RDF	tree diagrams, non-subordination, multidominance, usability
16	Nikolay Malitsky	Processing heterogeneous abstract syntax trees with the mutable class pattern.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	heterogeneous trees, mutable class pattern, OOP, AOP, visitor pattern
16	Wenxin Liang, Haruo Yokota	Exploiting Path Information for Syntax-Based XML Subtree Matching in RDBs.	WAIM	2008	DBLP DOI BibTeX RDF
16	Patrick Düssel, Christian Gehl, Pavel Laskov, Konrad Rieck	Incorporation of Application Layer Protocol Syntax into Anomaly Detection.	ICISS	2008	DBLP DOI BibTeX RDF	Anomaly Detection, Web Security, Protocol Analysis
16	Serguei A. Mokhov	Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL.	COMPSAC	2008	DBLP DOI BibTeX RDF	MARFL, Modular Audio Recognition Framework (MARF), higher-order contexts, context hierarchies, pattern recognition, multimedia processing, context-oriented programming, General Intensional Programming System (GIPSY)
16	Weiguang Sheng, Liyi Xiao, Zhigang Mao	An Automated Fault Injection Technique Based on VHDL Syntax Analysis and Stratified Sampling.	DELTA	2008	DBLP DOI BibTeX RDF	simulated fault injection, reliability, VLSI, soft error, stratified sampling
16	Isabelle Perseil, Laurent Pautet	A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.	ICECCS	2008	DBLP DOI BibTeX RDF
16	Luca Bellotti	Formalization, Syntax and the Standard Model of Arithmetic.	Synth.	2007	DBLP DOI BibTeX RDF	MSC 2000 00A30, 03A05, 03B10, 03E30
16	Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, Tom Oinn	Taverna Workflows: Syntax and Semantics.	eScience	2007	DBLP DOI BibTeX RDF
16	Gregor Fischer, J. Lusiardi, Jürgen Wolff von Gudenberg	Abstract Syntax Trees - and their Role in Model Driven Software Development.	ICSEA	2007	DBLP DOI BibTeX RDF
16	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Syntax and Basic Parsing.	All About Maude	2007	DBLP DOI BibTeX RDF
16	Wenfei Fan, Gao Cong, Philip Bohannon	Querying xml with update syntax.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	query composition, transform queries, XML, updates
16	Yasuki Kakishita, Kazutoshi Sasahara, Tetsuro Nishino, Miki Takahasi, Kazuo Okanoya	Pattern Extraction Improves Automata-Based Syntax Analysis in Songbirds.	ACAL	2007	DBLP DOI BibTeX RDF
16	Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar	Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP
16	Davy De Schrijver, Chris Poppe, Sam Lerouge, Wesley De Neve, Rik Van de Walle	MPEG-21 bitstream syntax descriptions for scalable video codecs.	Multim. Syst.	2006	DBLP DOI BibTeX RDF	H.264/MPEG-4 AVC, MPEG-21 BSDL, Universal Multimedia Access, Scalable Video Coding, Content Adaptation
16	Marco Grangetto, Enrico Magli, Gabriella Olmo	A syntax-preserving error resilience tool for JPEG 2000 based on error correcting arithmetic coding.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
16	Chulmin Jun, Jay Hyoun Kwon, Yunsoo Choi, Impyeong Lee	An Alternative Measure of Public Transport Accessibility Based on Space Syntax.	ICHIT	2006	DBLP DOI BibTeX RDF
16	Kazutoshi Sasahara, Yasuki Kakishita, Tetsuro Nishino, Miki Takahasi, Kazuo Okanoya	Constructing Song Syntax by Automata Induction.	ICGI	2006	DBLP DOI BibTeX RDF
16	Menno van Zaanen, Jeroen Geertzen	Grammatical Inference for Syntax-Based Statistical Machine Translation.	ICGI	2006	DBLP DOI BibTeX RDF
16	Josefina Sierra-Santibáñez	Propositional Logic Syntax Acquisition.	EELC	2006	DBLP DOI BibTeX RDF
16	David Fisher, Olin Shivers	Static analysis for syntax objects.	ICFP	2006	DBLP DOI BibTeX RDF	extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros
16	William G. J. Halfond, Alessandro Orso, Panagiotis Manolios	Using positive tainting and syntax-aware evaluation to counter SQL injection attacks.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	runtime monitoring, SQL injection, dynamic tainting
16	Åsa Lindström	On the Syntax and Semantics of Architectural Principles.	HICSS	2006	DBLP DOI BibTeX RDF
16	David Tugwell	Language Modelling with Dynamic Syntax.	TSD	2006	DBLP DOI BibTeX RDF
16	O. G. Sharov, A. N. Afanas'ev	Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
16	Joerg Evermann, Yair Wand	Toward Formalizing Domain Modeling Semantics in Language Syntax.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	ontology, specification, methodologies, Analysis, CASE, design concepts, object-oriented design methods
16	Sylvain Devillers, Christian Timmerer, Jörg Heuer, Hermann Hellwagner	Bitstream syntax description-based adaptation in streaming and constrained environments.	IEEE Trans. Multim.	2005	DBLP DOI BibTeX RDF
16	Lucy Vanderwende, William B. Dolan	What Syntax Can Contribute in the Entailment Task.	MLCW	2005	DBLP DOI BibTeX RDF
16	Arwen Hutt, Jenn Riley	Semantics and syntax of dublin core usage in open archives initiative data providers of cultural heritage materials.	JCDL	2005	DBLP DOI BibTeX RDF	metadata quality, digital libraries, interoperability, dublin core, open archives initiative
16	Marinos G. Georgiades, Andreas S. Andreou, Constantinos S. Pattichis	A Requirements Engineering Methodology Based On Natural Language Syntax and Semantics.	RE	2005	DBLP DOI BibTeX RDF
16	Anita Wasilewska, Ernestina Menasalvas Ruiz	A Classification Model: Syntax and Semantics for Classification.	RSFDGrC (2)	2005	DBLP DOI BibTeX RDF
16	Yuling Liu, Xingming Sun, Yong Wu	A Natural Language Watermarking Based on Chinese Syntax.	ICNC (3)	2005	DBLP DOI BibTeX RDF
16	Vasco Amaral 0001, Sven Helmer, Guido Moerkotte	Formally Specifying the Syntax and Semantics of a Visual Query Language for the Domain of High Energy Physics Data Analysis.	VL/HCC	2005	DBLP DOI BibTeX RDF