Search results for "static-typing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Satish R. Thatte	Quasi-Static Typing.	POPL	1990	DBLP DOI BibTeX RDF
80	Dominic Duggan	Dynamic Typing for Distributed Programming in Polymorphic Languages.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parametric polmorphism, dynamic typing, static typing, marshalling
52	Giovanni Lagorio, Elena Zucca	Introducing safe unknown types in Java-like languages.	SAC	2006	DBLP DOI BibTeX RDF	java-like languages, type-systems, static typing
49	Michele Bugliesi, Damiano Macedonio, Sabina Rossi	Static vs Dynamic Typing for Access Control in Pi-Calculus.	ASIAN	2007	DBLP DOI BibTeX RDF
42	Warwick B. Mugridge, John Hamer, John G. Hosking	Multi-Methods in a Statically-Typed Programming Language.	ECOOP	1991	DBLP DOI BibTeX RDF	contravariance, object-oriented, polymorphism, static-typing, multi-methods
38	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster	Profile-guided static typing for dynamic scripting languages.	OOPSLA	2009	DBLP DOI BibTeX RDF	RIL, profile guided anlaysis, scripting languages, ruby
36	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
35	Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo	Tree Components Programming: An Application to XML.	ICTAC	2007	DBLP DOI BibTeX RDF	web programming language, tree components, XML, static typing
33	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
31	Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede	A type system for static typing of a domain-specific language.	FPGA	2008	DBLP DOI BibTeX RDF	static type checking, FPGA, type system
31	Neil M. Goldman	Ontology-Oriented Programming: Static Typing for the Inconsistent Programmer.	ISWC	2003	DBLP DOI BibTeX RDF
28	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
25	Saso Greiner, Damijan Rebernak, Janez Brest, Viljem Zumer	Z0 - a tiny experimental language.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	Java, object-orientation, language design
25	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
24	Jeremy G. Siek, Manish Vachharajani	Gradual typing with unification-based inference.	DLS	2008	DBLP DOI BibTeX RDF	gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing
24	Jean-Vincent Loddo, Luca Saiu	Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy".	ML	2007	DBLP DOI BibTeX RDF	GUI, virtual machine, emulation, OCaml, static typing, user mode linux
24	Philip Wadler	Faith, evolution, and programming languages: from Haskell to Java to links.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism
24	Arthur I. Baars, S. Doaitse Swierstra	Typing dynamic typing.	ICFP	2002	DBLP DOI BibTeX RDF	Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing
23	Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek	Integrating typed and untyped code in a scripting language.	POPL	2010	DBLP DOI BibTeX RDF	compilers, semantics, object-orientation, types
21	Avik Chaudhuri, Martín Abadi	Secrecy by Typing and File-Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
20	Erik Meijer 0001	Visual Basic.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF
20	Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan	Melange: creating a "functional" internet.	EuroSys	2007	DBLP DOI BibTeX RDF
20	João Costa Seco, Luís Caires	Types for Dynamic Reconfiguration.	ESOP	2006	DBLP DOI BibTeX RDF
20	Christopher Anderson, Paola Giannini, Sophia Drossopoulou	Towards Type Inference for JavaScript.	ECOOP	2005	DBLP DOI BibTeX RDF
20	Haruo Hosoya, Benjamin C. Pierce	XDuce: A Typed XML Processing Language (Preliminary Report).	WebDB (Selected Papers)	2000	DBLP DOI BibTeX RDF
20	Xavier Leroy	Introduction.	Types in Compilation	1998	DBLP DOI BibTeX RDF
20	David S. Wise, Joshua Walgenbach	Static and Dynamic Partitioning of Pointers as Links and Threads.	ICFP	1996	DBLP DOI BibTeX RDF	tags, garbage collection, storage management, reference counting
20	Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su 0001	API-Driven Program Synthesis for Testing Static Typing Implementations.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
20	Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su 0001	Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations.	CoRR	2023	DBLP DOI BibTeX RDF
20	Ilya G. Klyuchnikov	eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote).	Erlang Workshop	2022	DBLP DOI BibTeX RDF
20	Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter	Static Typing of Complex Presence Constraints in Interfaces (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
20	Nikita Gerasimov	Static typing and dependency management for SOA.	FedCSIS (Position Papers)	2018	DBLP DOI BibTeX RDF
20	Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter	Static Typing of Complex Presence Constraints in Interfaces.	ECOOP	2018	DBLP DOI BibTeX RDF
20	Rémy El Sibaïe	Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches. (Reactive Web Programming in a Static Typing Context for Rich Multimedias Content Orchestration).		2018	RDF
20	Miguel García, Francisco Ortin, José Quiroga	Design and implementation of an efficient hybrid dynamic and static typing language.	Softw. Pract. Exp.	2016	DBLP DOI BibTeX RDF
20	Pierre Genevès, Nils Gesbert	XQuery and static typing: tackling the problem of backward axes.	ICFP	2015	DBLP DOI BibTeX RDF
20	Jukka Antero Lehtosalo	Adapting dynamic object-oriented languages to mixed dynamic and static typing.		2015	RDF
20	Stefan Hanenberg, Sebastian Kleinschmager, Romain Robbes, Éric Tanter, Andreas Stefik	An empirical study on the impact of static typing on software maintainability.	Empir. Softw. Eng.	2014	DBLP DOI BibTeX RDF
20	Stefan Endrikat, Stefan Hanenberg, Romain Robbes, Andreas Stefik	How do API documentation and static typing affect API usability?	ICSE	2014	DBLP DOI BibTeX RDF
20	Etienne Millon	Analyse de sécurité de logiciels système par typage statique. (Security analysis of system code using static typing).		2014	RDF
20	Benjamin Canou, Emmanuel Chailloux, Vincent Botbol	Static typing & JavaScript libraries: towards a more considerate relationship.	WWW (Companion Volume)	2013	DBLP DOI BibTeX RDF
20	Francisco Ortin, Miguel García	Union and intersection types to support both dynamic and static typing.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
20	Dominic A. Orchard, Alan Mycroft	Efficient and Correct Stencil Computation via Pattern Matching and Static Typing	DSL	2011	DBLP DOI BibTeX RDF
20	Baojian Hua	Static typing for a substructural lambda calculus.	Frontiers Comput. Sci. China	2011	DBLP DOI BibTeX RDF
20	Alexander Paar, Stefan Gruner	Static typing with value space-based subtyping.	SAICSIT	2011	DBLP DOI BibTeX RDF
20	Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet	A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.	EMSOFT	2011	DBLP DOI BibTeX RDF
20	Saso Greiner, Janez Brest, Viljem Zumer	Zero - a blend of static typing and dynamic metaprogramming.	Comput. Lang. Syst. Struct.	2009	DBLP DOI BibTeX RDF
20	Roland Ducournau, Floréal Morandat, Jean Privat	Empirical assessment of object-oriented implementations with multiple inheritance and static typing.	OOPSLA	2009	DBLP DOI BibTeX RDF	binary tree dispatch, downcast, method tables, multiple subtyping, open-world assumption, single inheritance, subtype test, virtual function table, interfaces, coloring, multiple inheritance, perfect hashing, closed-world assumption, type analysis, late binding, dynamic loading
20	Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster	Static Typing for Ruby on Rails.	ASE	2009	DBLP DOI BibTeX RDF	type systems, scripting languages, Ruby, Ruby on Rails, web frameworks
20	David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August	Static typing for a faulty lambda calculus.	ICFP	2006	DBLP DOI BibTeX RDF	transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults
20	Susumu Nishimura	Static Typing for Dynamic Messages.	POPL	1998	DBLP DOI BibTeX RDF
20	Drew Dean	The Security of Static Typing with Dynamic Linking.	CCS	1997	DBLP DOI BibTeX RDF	Java, World Wide Web (WWW)
20	Gail C. Murphy, David Notkin	On the use of static typing to support operations on frameworks.	Object Oriented Syst.	1996	DBLP BibTeX RDF
20	Bertrand Meyer 0001	Static Typing.	ISOTAS	1996	DBLP DOI BibTeX RDF
20	Bertrand Meyer 0001	Static typing.	OOPSLA Addendum	1995	DBLP DOI BibTeX RDF
20	Jens Palsberg, Michael I. Schwartzbach	Static Typing for Object-Oriented Programming.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
20	Kim B. Bruce	A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics.	J. Funct. Program.	1994	DBLP DOI BibTeX RDF
20	David Bulman, S. Tucker Taft, Bertrand Meyer 0001, Greg Nelson, Mike Kilian	OOP in Languages Providing Strong, Static Typing (Panel).	OOPSLA	1992	DBLP DOI BibTeX RDF
18	Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen	Towards Typed Prolog.	ICLP	2008	DBLP DOI BibTeX RDF
18	Haruo Hosoya, Alain Frisch, Giuseppe Castagna	Parametric polymorphism for XML.	POPL	2005	DBLP DOI BibTeX RDF	XML, polymorphism, subtyping, tree automata
18	Lívia C. F. Araújo, Luiz H. R. Sucupira, Miguel Gustavo Lizárraga, Lee Luan Ling, João Baptista T. Yabu-uti	User Authentication through Typing Biometrics Features.	ICBA	2004	DBLP DOI BibTeX RDF
18	Yuhong Xiong, Edward A. Lee	An Extensible Type System for Component-Based Design.	TACAS	2000	DBLP DOI BibTeX RDF
18	Gerald Baumgartner, Vincent F. Russo	Implementing Signatures for C++.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	dispatch tables, opject interfaces, C++, C++, inheritance, polymorphism, subtyping
18	Philip S. Santas	Conditional Categories and Domains.	DISCO	1996	DBLP DOI BibTeX RDF
16	Florian Matthes, Atsushi Ohori, Joachim W. Schmidt	Typing Schemes for Objects with Locality.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
13	Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira	Modular session types for distributed object-oriented programming.	POPL	2010	DBLP DOI BibTeX RDF	non-uniform method availability, object-oriented calculus, typestates, session types
13	Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha	Implicitly Heterogeneous Multi-Stage Programming.	New Gener. Comput.	2007	DBLP DOI BibTeX RDF	Functional Programming, Multi-Stage Programming
13	Catherine Pugin, Rolf Ingold	Combination of transformation and schema languages described by a complete formal semantics.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	static type checking, XML, integration, transformation, schema
13	Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha	Implicitly Heterogeneous Multi-stage Programming.	GPCE	2005	DBLP DOI BibTeX RDF
13	Steven E. Ganz, Amr Sabry, Walid Taha	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.	ICFP	2001	DBLP DOI BibTeX RDF	ML
13	Franz Puntigam	Synchronization Expressed in Types of Communication Channels.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
10	Johannes Rudolph, Peter Thiemann 0001	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
10	Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki	Kenro: a virtual machine monitor mostly described in Haskell.	SAC	2009	DBLP DOI BibTeX RDF	functional languages, virtual machine monitors
10	Vincent Balat, Jérôme Vouillon, Boris Yakobowski	Experience report: ocsigen, a web programming framework.	ICFP	2009	DBLP DOI BibTeX RDF	ocsigen, networking, web, programming, implementation, services, ML, typing, XHTML, objective CAML
10	Lorenzo Bettini, Viviana Bono	Type safe dynamic object delegation in class-based languages.	PPPJ	2008	DBLP DOI BibTeX RDF	delegation, language extensions, object composition, featherweight Java
10	Viviana Bono, Ferruccio Damiani, Elena Giachino	On Traits and Types in a Java-like Setting.	IFIP TCS	2008	DBLP DOI BibTeX RDF	Composition, Type System, Inheritance, Flattening
10	Lorenzo Bettini, Viviana Bono, Betti Venneri	Object Incompleteness and Dynamic Composition in Java-Like Languages.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
10	Mads Torgersen	Querying in C#: how language integrated query (LINQ) works.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	language-integrated query, query comprehensions, query syntax, strongly typed querying, query language, impedance mismatch
10	Clifford Beshers, David Fox, Jeremy Shaw	Experience report: using functional programming to manage a linux distribution.	ICFP	2007	DBLP DOI BibTeX RDF
10	Nicola Onose, Jérôme Siméon	XQuery at your web service.	WWW	2004	DBLP DOI BibTeX RDF	web services, XML, interface, XQuery, modules, wsdl
10	Jakob Henriksson, Jan Maluszynski	Static Type-Checking of Datalog with Ontologies.	PPSWR	2004	DBLP DOI BibTeX RDF	ontologies, Semantic Web, logic programs, rules
10	Lorenzo Bettini, Viviana Bono, Betti Venneri	O'Klaim: A Coordination Language with Mobile Mixins.	COORDINATION	2004	DBLP DOI BibTeX RDF
10	Martin Elsman, Niels Hallenberg	Web Programming with SMLserver.	PADL	2003	DBLP DOI BibTeX RDF
10	Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney	Region-Based Memory Management in Cyclone.	PLDI	2002	DBLP DOI BibTeX RDF
10	Peter Sewell	Modules, abstract types, and distributed versioning.	POPL	2001	DBLP DOI BibTeX RDF
10	Gérard P. Huet	From an Informal Textual Lexicon to a Well-Structured Lexical Database: An Experiment in Data Reverse Engineering.	WCRE	2001	DBLP DOI BibTeX RDF
10	Carlos Puchol, Subramanian K. Iyer	The MacBeth Specification, Modeling and Programming Language.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
10	Uwe Nestmann, António Ravara	Semantics of Objects as Processes (SOAP).	ECOOP Workshops	1999	DBLP DOI BibTeX RDF
10	John Matthews, Byron Cook, John Launchbury	Microprocessor Specification in Hawk.	ICCL	1998	DBLP DOI BibTeX RDF	Microprocessor Verification, Domain-Specific Language, Functional Language, Hardware Verification
10	John H. Reppy, Jon G. Riecke	Simple Objects for Standard ML.	PLDI	1996	DBLP DOI BibTeX RDF	object-oriented programming, functional programming, standard ML, programming languages design
10	Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson	An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction.	ICALP	1994	DBLP DOI BibTeX RDF
10	Edoardo Biagioni, Robert Harper 0001, Peter Lee 0001, Brian Milnes	Signatures for a Network Protocol Stack: A Systems Application of Standard ML.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	TCP/IP, Standard ML
10	Benjamin C. Pierce, David N. Turner	Object-Oriented Programming without Recursive Types.	POPL	1993	DBLP DOI BibTeX RDF
10	Josef Grosch	Transformation of Attributed Trees Using Pattern Matching.	CC	1992	DBLP DOI BibTeX RDF	attributed trees, pattern matching, transformation